gmane.comp.lang.lambda-prolog

3339 articles on record, showing the most recent 50.

PADL'24: Last Call for Papers
Mon, 2 Oct 2023 18:55:17 +0800
ICFP Publicity <[email protected]> • #3420
PADL 2024: Call for Papers
Thu, 24 Aug 2023 19:57:45 +0800
ICFP Publicity <[email protected]> • #3419
UNIF 2023 Call for Papers
Fri, 13 Jan 2023 13:38:37 +0100
Christophe Ringeissen <christophe.ringeissen-/[email protected]> • #3418
ICFP 2023 Call for Papers
Wed, 11 Jan 2023 22:48:41 +0800
ICFP Publicity <[email protected]> • #3417
ICFP 2023: Call for Workshop and Co-Located Event
Thu, 1 Dec 2022 16:31:44 +0800
ICFP Publicity <[email protected]> • #3416
CfP Software Verification and Testing Track at SAC 2023
Fri, 2 Sep 2022 23:55:17 +0200
Georgiana Caltais <[email protected]> • #3415
[LICS] Call for Nominations: Church Award 2022
Sun, 9 Jan 2022 23:28:34 +0000
"Jagadeesan, Radha" <[email protected]> • #3414
* CONFEST 2022 * -- Call for Workshop Proposals
Fri, 26 Nov 2021 12:25:29 +0100
Lorenzo Clemente <[email protected]> • #3413
CONCUR 2022: first call for papers
Thu, 25 Nov 2021 08:46:58 +0100
Javier Esparza <[email protected]> • #3412
2021 Alonzo Church Award
Thu, 04 Mar 2021 14:59:08 +0100
Javier Esparza <[email protected]> • #3411
Special Issue of International Journal of Parallel, Emergent and Distributed Systems: Petri/Sleptsov Net Based Technology of Programming for Parallel, Emergent and Distributed Systems
Sat, 23 Jan 2021 11:32:19 +0000 (UTC)
Dmitry Zaitsev <zsoftua-/[email protected]> • #3410
2021 Alonzo Church Award - Call for Nominations
Sat, 09 Jan 2021 17:19:20 +0100
Javier Esparza <[email protected]> • #3409
Announcing the release of PVS 7.1.
Wed, 18 Nov 2020 14:21:03 -0800
Sam Owre <[email protected]> • #3408
Deadline extension |CFP CRiSIS 2019 |Hammamet Tunisia
Mon, 10 Jun 2019 18:26:38 +0100
SAOUSSEN CHEIKHROUHOU <[email protected]> • #3407
LSFA 2019 - Final Call for Papers and Extended Deadline
Thu, 18 Apr 2019 22:22:47 +0000
Amy Felty <[email protected]> • #3406
LSFA 2019 - Second Call for papers
Tue, 12 Mar 2019 17:47:30 +0000
Amy Felty <[email protected]> • #3405
Ackermann Award 2019: Call for Nominations
Sun, 6 Jan 2019 17:57:56 +0100
Thomas Schwentick <[email protected]> • #3404
[] Call for Papers Software Verification and Testing Track @ ACM SAC 2019
Tue, 31 Jul 2018 08:17:59 +0200
Matthias Güdemann <[email protected]> • #3403
NASSLLI 2018: Final Call for Registration
Fri, 4 May 2018 12:19:17 -0400
NASSLLI 2018 <[email protected]> • #3402
Second round call for papers: LOPSTR 2018
Wed, 2 May 2018 00:57:03 +0000
Peter James Stuckey <[email protected]> • #3401
Fwd: FOCLASA 2018 - last CFP, deadlines extended
Thu, 19 Apr 2018 19:18:19 +0200
Jacopo <[email protected]> • #3400
NASSLLI 2018: Registration, Scholarships, and Student Session
Tue, 27 Feb 2018 08:32:53 -0500
Will Nalls <will.nalls-gM/[email protected]> • #3399
LOPSTR 2018: First Call for Papers
Fri, 22 Dec 2017 14:41:09 +0400
Fred Mesnard <[email protected]> • #3398
LFMTP'18 First Call for Papers
Tue, 14 Nov 2017 09:42:42 +0000
Giselle Reis <[email protected]> • #3397
15 PhD positions and 1 postdoc in FORA ETN
Mon, 6 Nov 2017 09:58:50 +0100
Ayoub Nouri <[email protected]> • #3396
Postdoc Opportunity
Thu, 26 Oct 2017 23:42:07 +0200
SMAIL NIAR <smail.niar-uXtqY6lGdSDBlfn6S3fvzW/[email protected]> • #3395
Postdoc/PhD Opportunity at the University of California, Irvine
Wed, 25 Oct 2017 11:47:11 +0200
Ayoub Nouri <[email protected]> • #3394
RV 2017 - 2nd Call for Participation
Tue, 8 Aug 2017 17:23:33 +0200
Ayoub Nouri <[email protected]> • #3393
RV 2017 - 1st Call for Participation
Wed, 19 Jul 2017 17:15:02 +0200
Ayoub Nouri <[email protected]> • #3392
Post-Doc position within the ANR-FWF project "TICAMORE"
Fri, 30 Jun 2017 18:19:32 +0200
Dominique Larchey-Wendling <[email protected]> • #3391
SEMANTiCS 2017, Amsterdam, Sep 11-14, 2nd Call for Research & Innovation Papers
Wed, 18 Jan 2017 09:49:03 +0100
Sebastian Hellmann <[email protected]> • #3390
AFM 2017 call for registration
Sun, 07 May 2017 17:04:15 -0700
Sam Owre <[email protected]> • #3389
RV and RV-CuBES 2017 - Call for papers and tutorials
Sat, 15 Apr 2017 20:39:09 +0200
Ayoub Nouri <[email protected]> • #3388
Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton
Sat, 08 Apr 2017 12:02:17 -0700
Sam Owre <[email protected]> • #3387
[Mycolleagues] FGCT 2017
Mon, 27 Mar 2017 15:33:34 +0530
[email protected] • #3386
[2nd CfP] VECoS 2017 || August 24 - 25, 2017 - Montreal, Canada
Tue, 21 Mar 2017 11:02:33 +0100
Ayoub Nouri <[email protected]> • #3385
AFM deadline extension: Automated Formal Methods 2017 Final Call for papers
Sun, 19 Mar 2017 22:45:52 -0700
Sam Owre <[email protected]> • #3384
Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton
Fri, 10 Mar 2017 23:06:27 -0800
Sam Owre <[email protected]> • #3383
Automated Formal Methods (AFM) 2017 Final Call for papers
Thu, 09 Mar 2017 13:01:56 -0800
Sam Owre <[email protected]> • #3382
RV 2017 - 2nd Call for papers and tutorials
Sun, 26 Feb 2017 15:45:43 -0800
Klaus Havelund <[email protected]> • #3381
SEMANTiCS 2017, Amsterdam, Sep 11-14, Open Calls
Wed, 22 Feb 2017 18:30:54 +0100
Sebastian Hellmann <[email protected]> • #3380
NFM 2017 - Call For Participation
Tue, 21 Feb 2017 13:54:00 -0800
Rody Kersten <[email protected]> • #3379
Final Call for Papers: ICFP 2017
Wed, 15 Feb 2017 20:43:34 -0800
Lindsey Kuper <[email protected]> • #3378
1st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
Wed, 15 Feb 2017 16:19:36 +0100
Peter Achten <[email protected]> • #3377
2nd call RV2017: Runtime Verification, September 13 - 16 2017, Seattle USA
Wed, 15 Feb 2017 13:10:29 +0100
Ayoub Nouri <[email protected]> • #3376
Metafinite 2017 - Call for Presentations
Sun, 12 Feb 2017 09:17:15 +0000
European Association of Computer Science Logic <[email protected]> • #3375
TABLEAUX/FroCoS/ITP 2017 -- Call for posters
Fri, 10 Feb 2017 09:47:47 -0300
Elaine Pimentel <[email protected]> • #3374
[spin2017] SPIN 2017 - deadline extended to Feb 17
Tue, 7 Feb 2017 11:30:22 +0100
Yliès Falcone <[email protected]> • #3373
WiL 2017: Women in Logic Workshop Second Call for Papers (new dates)
Mon, 6 Feb 2017 13:46:54 -0500
Amy Felty <[email protected]> • #3372
CFP: Special Issue of TPLP - Parallel and Distributed Logic Programming [EXTENDED DEADLINE]
Wed, 01 Feb 2017 07:46:11 -0700
epontell <[email protected]> • #3371