gmane.comp.lang.lambda-prolog archive
813 archived articles, newest first (page 1 of 9). Latest articles →
PADL'24: Last Call for Papers
Mon, 2 Oct 2023 18:55:17 +0800PADL 2024: Call for Papers
Thu, 24 Aug 2023 19:57:45 +0800UNIF 2023 Call for Papers
Fri, 13 Jan 2023 13:38:37 +0100ICFP 2023 Call for Papers
Wed, 11 Jan 2023 22:48:41 +0800ICFP 2023: Call for Workshop and Co-Located Event
Thu, 1 Dec 2022 16:31:44 +0800CfP Software Verification and Testing Track at SAC 2023
Fri, 2 Sep 2022 23:55:17 +0200[LICS] Call for Nominations: Church Award 2022
Sun, 9 Jan 2022 23:28:34 +0000* CONFEST 2022 * -- Call for Workshop Proposals
Fri, 26 Nov 2021 12:25:29 +0100CONCUR 2022: first call for papers
Thu, 25 Nov 2021 08:46:58 +01002021 Alonzo Church Award
Thu, 04 Mar 2021 14:59:08 +0100Special 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)2021 Alonzo Church Award - Call for Nominations
Sat, 09 Jan 2021 17:19:20 +0100Announcing the release of PVS 7.1.
Wed, 18 Nov 2020 14:21:03 -0800Deadline extension |CFP CRiSIS 2019 |Hammamet Tunisia
Mon, 10 Jun 2019 18:26:38 +0100LSFA 2019 - Final Call for Papers and Extended Deadline
Thu, 18 Apr 2019 22:22:47 +0000LSFA 2019 - Second Call for papers
Tue, 12 Mar 2019 17:47:30 +0000Ackermann Award 2019: Call for Nominations
Sun, 6 Jan 2019 17:57:56 +0100[] Call for Papers Software Verification and Testing Track @ ACM SAC 2019
Tue, 31 Jul 2018 08:17:59 +0200NASSLLI 2018: Final Call for Registration
Fri, 4 May 2018 12:19:17 -0400Second round call for papers: LOPSTR 2018
Wed, 2 May 2018 00:57:03 +0000Fwd: FOCLASA 2018 - last CFP, deadlines extended
Thu, 19 Apr 2018 19:18:19 +0200NASSLLI 2018: Registration, Scholarships, and Student Session
Tue, 27 Feb 2018 08:32:53 -0500LOPSTR 2018: First Call for Papers
Fri, 22 Dec 2017 14:41:09 +0400LFMTP'18 First Call for Papers
Tue, 14 Nov 2017 09:42:42 +000015 PhD positions and 1 postdoc in FORA ETN
Mon, 6 Nov 2017 09:58:50 +0100Postdoc Opportunity
Thu, 26 Oct 2017 23:42:07 +0200Postdoc/PhD Opportunity at the University of California, Irvine
Wed, 25 Oct 2017 11:47:11 +0200RV 2017 - 2nd Call for Participation
Tue, 8 Aug 2017 17:23:33 +0200RV 2017 - 1st Call for Participation
Wed, 19 Jul 2017 17:15:02 +0200Post-Doc position within the ANR-FWF project "TICAMORE"
Fri, 30 Jun 2017 18:19:32 +0200SEMANTiCS 2017, Amsterdam, Sep 11-14, 2nd Call for Research & Innovation Papers
Wed, 18 Jan 2017 09:49:03 +0100AFM 2017 call for registration
Sun, 07 May 2017 17:04:15 -0700RV and RV-CuBES 2017 - Call for papers and tutorials
Sat, 15 Apr 2017 20:39:09 +0200Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton
Sat, 08 Apr 2017 12:02:17 -0700[Mycolleagues] FGCT 2017
Mon, 27 Mar 2017 15:33:34 +0530[2nd CfP] VECoS 2017 || August 24 - 25, 2017 - Montreal, Canada
Tue, 21 Mar 2017 11:02:33 +0100AFM deadline extension: Automated Formal Methods 2017 Final Call for papers
Sun, 19 Mar 2017 22:45:52 -0700Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton
Fri, 10 Mar 2017 23:06:27 -0800Automated Formal Methods (AFM) 2017 Final Call for papers
Thu, 09 Mar 2017 13:01:56 -0800RV 2017 - 2nd Call for papers and tutorials
Sun, 26 Feb 2017 15:45:43 -0800SEMANTiCS 2017, Amsterdam, Sep 11-14, Open Calls
Wed, 22 Feb 2017 18:30:54 +0100NFM 2017 - Call For Participation
Tue, 21 Feb 2017 13:54:00 -0800Final Call for Papers: ICFP 2017
Wed, 15 Feb 2017 20:43:34 -08001st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
Wed, 15 Feb 2017 16:19:36 +01002nd call RV2017: Runtime Verification, September 13 - 16 2017, Seattle USA
Wed, 15 Feb 2017 13:10:29 +0100Metafinite 2017 - Call for Presentations
Sun, 12 Feb 2017 09:17:15 +0000TABLEAUX/FroCoS/ITP 2017 -- Call for posters
Fri, 10 Feb 2017 09:47:47 -0300[spin2017] SPIN 2017 - deadline extended to Feb 17
Tue, 7 Feb 2017 11:30:22 +0100WiL 2017: Women in Logic Workshop Second Call for Papers (new dates)
Mon, 6 Feb 2017 13:46:54 -0500CFP: Special Issue of TPLP - Parallel and Distributed Logic Programming [EXTENDED DEADLINE]
Wed, 01 Feb 2017 07:46:11 -0700Second Call for Papers: ICFP 2017
Tue, 31 Jan 2017 16:18:50 -0800Automated Formal Methods (AFM) 2017 Call for papers
Mon, 30 Jan 2017 14:32:40 -0800SPIN 2017 - final call for papers, deadline Feb 10
Fri, 27 Jan 2017 05:14:46 -0800FroCoS 2017 - Second Call for Papers
Thu, 26 Jan 2017 11:27:38 -0200ICLP 2017 - Call for Workshop
Thu, 19 Jan 2017 20:34:44 -0700CSL 2017: 2nd Call for papers
Thu, 19 Jan 2017 11:50:54 +0100[rv2017] RV2017: Runtime Verification, September 13 - 16 2017, Seattle USA
Tue, 17 Jan 2017 10:22:13 +0100RV'17 - First call for papers and tutorials
Sat, 14 Jan 2017 20:41:27 -0800ACM SIGPLAN Awards deadline extended to 30 January
Tue, 10 Jan 2017 08:30:26 -08002017 Alonzo Church Award: Call for nominations
Mon, 9 Jan 2017 18:45:54 +0100Ackermann Award 2017
Mon, 9 Jan 2017 11:04:30 +0000Call for Papers: ICFP 2017
Fri, 23 Dec 2016 18:58:42 -0800SEMANTiCS 2017, Amsterdam, Sep 11-14, Call for Research & Innovation Papers
Thu, 22 Dec 2016 20:04:09 +0100WiL 2017: Women in Logic Workshop Call for Papers
Sun, 4 Dec 2016 15:47:14 -0500TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming
Wed, 30 Nov 2016 08:08:54 -0700SAC-SVT 2017: Call for Participation
Tue, 29 Nov 2016 13:59:01 +0100PhD opportunities at the Univ. of Minnesota
Tue, 22 Nov 2016 14:00:07 -0600SPIN 2017 - Call for papers
Thu, 3 Nov 2016 16:34:22 -0700Call for Workshop Proposals: ICFP 2017
Mon, 31 Oct 2016 18:59:39 -0700[CFP] RAMiCS 2017
Thu, 27 Oct 2016 14:48:12 +0200TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming
Wed, 26 Oct 2016 07:52:54 -0600NFM 2017 - Call For Workshops
Wed, 19 Oct 2016 13:39:17 -0700SAC-SVT 2017 - Deadline extended to October 7, 2016
Tue, 4 Oct 2016 13:00:57 +0200SAC-SVT 2017 - Deadline extended to September 29, 2016
Thu, 15 Sep 2016 11:14:09 +0200Deadline extension for ICLA 2017
Sun, 4 Sep 2016 10:56:03 -0500SAC-SVT 2017 - final Call for Papers - 2 weeks until the deadline
Thu, 1 Sep 2016 16:58:49 +0200TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming
Tue, 30 Aug 2016 07:59:39 -0600RV 2016 (September 23-30 2016, Madrid, Spain) - Call for Participation
Thu, 18 Aug 2016 10:14:25 +0200SAC-SVT 2017 - second Call for Papers - Deadline September 15, 2016
Wed, 17 Aug 2016 16:46:43 +0200Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation
Mon, 15 Aug 2016 09:07:29 +0200Call For Participation: 32nd International Conference on Logic Programming (ICLP)
Thu, 11 Aug 2016 23:17:02 -0400Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation
Tue, 09 Aug 2016 21:07:37 +0200Contribute to the SEMANTiCS Workshops and the DBpedia Day
Tue, 9 Aug 2016 15:25:34 +0200Call for Participation: WLP 2016 and co-located events
Fri, 5 Aug 2016 16:49:46 +0200Call for Papers --- ICLA 2017
Sun, 31 Jul 2016 21:52:48 -0500Call for Participation: ICFP 2016
Mon, 18 Jul 2016 22:44:20 -07002nd CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)
Tue, 05 Jul 2016 10:17:09 +0000WLP 2016 - Final Call for Papers and deadline extension
Thu, 16 Jun 2016 15:40:52 +0200SEMANTiCS 2016, Leipzig, Sep 12-15, Extended Submission Deadline July 1, 2016
Thu, 16 Jun 2016 08:36:23 +0200LOPSTR'16: Final Call for Papers and *Deadline Extension*
Wed, 15 Jun 2016 07:24:14 +0200only 5 days left - WLP 2016
Fri, 10 Jun 2016 14:38:03 +0200CiE 2016: Call for Participation - Paris, 27/6-1/7/2016
Tue, 7 Jun 2016 22:46:50 +0100 (BST)SIGPLAN Programming Languages Mentoring Workshop @ ICFP
Tue, 31 May 2016 15:02:37 -07002nd CfP: WLP 2016
Tue, 31 May 2016 20:15:44 +0200SEMANTiCS 2016, Leipzig, Sep 12-15, Call for Posters & Demos
Tue, 31 May 2016 08:44:44 +0200IJCAR 2016 - CALL FOR PARTICIPATION
Tue, 31 May 2016 12:15:07 +0100[Springer JISA journal] CfP - Thematic Series on Verification and Composition for the Internet of Services and Things
Mon, 30 May 2016 12:21:44 +0200 (CEST)1st CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)
Tue, 24 May 2016 19:13:57 +0000RR 2016 Final call for papers - abstract submission: 23 May
Fri, 20 May 2016 19:23:04 +0200IJCAR 2016: WORKSHOPS
Tue, 17 May 2016 19:09:19 +0100
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.