gmane.comp.gnu.prolog.general archive
922 archived articles, newest first (page 3 of 10). Latest articles →
Re: Is GNU Prolog still maintained?
Thu, 12 Nov 2020 13:04:39 +0100Re: Is GNU Prolog still maintained?
Wed, 28 Oct 2020 21:25:52 +0000Is GNU Prolog still maintained?
Wed, 28 Oct 2020 19:04:12 +0100CADE-28 Call for Papers, Workshops, Tutorials, Competitions
Tue, 20 Oct 2020 10:15:43 -0400 (EDT)CILC 2020 - Participation is FREE - Call For Participation
Thu, 8 Oct 2020 12:22:53 +0200CADE-28 Call for Papers, Workshops, Tutorials, and Competitions
Thu, 13 Aug 2020 16:28:19 -0400 (EDT)Re: Porting to arm/aarch64
Fri, 26 Jun 2020 19:38:15 +0100CILC 2020 - Call For Papers - Deadline for Abstract Submission Extended
Sat, 1 Aug 2020 16:42:28 +0200CILC 2020 - Third Call For Papers - ABSTRACT SUBMISSION DEADLINE APPROACHING
Mon, 27 Jul 2020 19:34:06 +0200CICM 2020 - Call for (free) Participation
Thu, 9 Jul 2020 09:42:37 -0400 (EDT)Re: Porting to arm/aarch64
Mon, 29 Jun 2020 10:49:45 +0100Re: Porting to arm/aarch64
Sat, 27 Jun 2020 10:21:25 +0200CILC 2020 - Second Call For Papers
Tue, 16 Jun 2020 16:50:06 +0200Re: Porting to arm/aarch64
Mon, 15 Jun 2020 10:51:23 +0100Re: Porting to arm/aarch64
Fri, 12 Jun 2020 14:35:42 +0200Porting to arm/aarch64
Sat, 30 May 2020 15:39:23 +0100Logtalk 3.38.0 released
Tue, 28 Apr 2020 14:56:06 +0100CASC-J10 - The CADE ATP System Competition
Mon, 27 Apr 2020 16:02:03 -0400 (EDT)Property-based testing
Fri, 24 Apr 2020 15:39:47 +0100Logtalk 3.37.0 released
Thu, 2 Apr 2020 15:17:31 +0100Alonzo Church Award - Call for Nominations
Mon, 16 Mar 2020 14:15:33 -0400 (EDT)PAAR 2020 CFP - 7th Workshop on Practical Aspects of Automated Reasoning
Fri, 6 Mar 2020 08:39:31 -0500 (EST)CILC 2020 - Preliminary Call For Papers
Thu, 5 Mar 2020 13:18:17 +0100CILC 2020 - Preliminary Call For Papers
Thu, 5 Mar 2020 13:18:15 +0100Satisfiability Checking and Symbolic Computation - Call for Papers
Tue, 3 Mar 2020 09:51:09 -0500 (EST)IWIL-14 at LPAR-23 - Call for Papers
Tue, 25 Feb 2020 11:54:14 -0500 (EST)UNIF 2020 - Call for Papers
Fri, 21 Feb 2020 08:44:40 -0500 (EST)LPAR-23 - Call for Workshops and Tutorials
Tue, 18 Feb 2020 09:51:00 -0500 (EST)CICM 2020 - Call for Papers
Thu, 13 Feb 2020 10:33:48 -0500 (EST)LPAR-23 - Extended deadlines
Tue, 11 Feb 2020 10:12:08 -0500 (EST)Re: is there a Raspberry PI port
Thu, 6 Feb 2020 21:57:10 +0000is there a Raspberry PI port
Fri, 07 Feb 2020 06:08:57 +11002020 Alonzo Church Award - Call for Nominations
Sat, 25 Jan 2020 09:54:47 -0500 (EST)Logtalk 3.34.0 released
Tue, 7 Jan 2020 15:09:20 +0000LPAR-23 Call for Papers
Mon, 30 Dec 2019 08:45:22 -0500 (EST)IJCAR 2020 - Call for Papers
Thu, 19 Dec 2019 09:55:59 -0500 (EST)Logtalk 3.33.0 released
Tue, 3 Dec 2019 14:48:57 +0000Artificial Intelligence and Theorem Proving 2020 - Second Call for Papers
Mon, 25 Nov 2019 11:57:46 -0500 (EST)International Symposium on Artificial Intelligence and Mathematics 2020
Thu, 14 Nov 2019 08:58:35 -0500 (EST)[] DLT 2020
Wed, 6 Nov 2019 08:27:34 +0000GCAI 2020 Conference and Doctoral Symposium - Calls for Papers and Participation
Tue, 5 Nov 2019 13:14:17 -0500 (EST)Logtalk 3.32.0 released
Tue, 5 Nov 2019 15:36:23 +0000GitHub Actions and Workflows for Logtalk and Prolog repos
Fri, 1 Nov 2019 11:29:31 +0000Fyi: this list, users-prolog, just had it's subject [tag] and footer removed
Thu, 24 Oct 2019 16:20:13 -0400Artificial Intelligence and Theorem Proving 2020 - Call for Papers
Wed, 16 Oct 2019 14:25:15 -0400 (EDT)Logtalk 3.31.0 released
Tue, 15 Oct 2019 12:39:43 +0100IJCAR 2020 - Call for Papers
Mon, 14 Oct 2019 16:55:06 -0400 (EDT)TPTP v7.3.0 released
Tue, 27 Aug 2019 11:20:25 -0400 (EDT)GCAI 2020, Hangzhou, China - Call for Papers
Mon, 26 Aug 2019 10:25:16 -0400 (EDT)FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21)
Mon, 19 Aug 2019 13:08:59 -0400 (EDT)Re: thread safty
Tue, 30 Jul 2019 10:54:16 +0100thread safty
Tue, 30 Jul 2019 11:37:24 +0300Fwd: possible memory leak in v1.4.5
Mon, 29 Jul 2019 19:19:26 +0300FroCoS-12 and TABLEAUX-28
Tue, 23 Jul 2019 23:58:44 -0400 (EDT)ARCADE 2019 - submission deadline extension
Thu, 6 Jun 2019 10:52:10 -0400 (EDT)The 6th Vampire Workshop - CFP
Tue, 28 May 2019 08:42:46 -0400 (EDT)6th International Workshop on Proof eXchange for Theorem Proving (PxTP)
Mon, 6 May 2019 13:22:54 -0400 (EDT)CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE
Sat, 27 Apr 2019 15:18:01 +0200Verification Mentoring Workshop 2019: Scholarships
Fri, 26 Apr 2019 09:43:48 -0400 (EDT)ARCADE 2019 CFP
Thu, 18 Apr 2019 12:05:11 -0400 (EDT)6th Workshop on Proof eXchange for Theorem Proving (PxTP) - CFP
Tue, 2 Apr 2019 12:02:54 -0400 (EDT)Logtalk 3.25.0 released
Tue, 2 Apr 2019 12:16:51 +0100CfP: RV2019 - Runtime Verification
Thu, 21 Mar 2019 19:55:49 +0100iFM 2019: Call for Workshops and Tutorials
Sun, 17 Mar 2019 14:58:28 +01005th Workshop on Bridging the Gap between Human and Automated Reasoning
Thu, 7 Mar 2019 09:00:36 -0500 (EST)iFM 2019: Call for Workshops and Tutorials
Mon, 18 Feb 2019 17:34:29 +0100CADE-27: Second Call for Papers
Mon, 18 Feb 2019 08:53:01 -0500 (EST)Re: [] [tag] DATALOG 2.0 Call for Papers ** DEADLINE EXTENSION **
Thu, 14 Feb 2019 08:36:53 +0100iFM 2019 - Call for Workshops and Tutorials
Tue, 12 Feb 2019 17:36:40 +0100ICTAC 2020 - 2nd Call for Organizers - Deadline approaching
Wed, 9 Jan 2019 09:17:33 +0100Artificial Intelligence and Theorem Proving, CFP
Tue, 20 Nov 2018 02:01:07 -0500 (EST)ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019
Mon, 5 Nov 2018 14:02:45 -0500 (EST)CADE-27: Call for Papers, Workshops, Tutorials and System Competitions
Fri, 19 Oct 2018 08:36:49 -0400 (EDT)Artificial Intelligence and Theorem Proving, AITP 2019
Tue, 9 Oct 2018 16:46:17 -0400 (EDT)A Second Opportunity to Submit - 13th International Workshop on the Implementation of Logics
Tue, 2 Oct 2018 13:21:31 -0400 (EDT)LPAR-22 in Ethiopia - Call for Short Papers
Tue, 18 Sep 2018 15:07:15 -0400 (EDT)13th International Workshop on the Implementation of Logics
Mon, 10 Sep 2018 11:52:46 -0400 (EDT)Call for Papers Software Verification and Testing Track @ ACM SAC 2019
Tue, 31 Jul 2018 08:20:47 +0200Re: Pass parameters to the binary file
Sun, 22 Jul 2018 10:39:14 +0100Pass parameters to the binary file
Sat, 21 Jul 2018 19:41:24 -0300LPAR-22 Ethiopia - Call for Papers
Sun, 15 Jul 2018 08:14:52 -0400 (EDT)[] FGCT 2018
Fri, 13 Jul 2018 04:13:01 -0600Logtalk 3.18.0 released
Tue, 26 Jun 2018 17:54:48 +010023rd International Conference on Engineering Complex Systems - Call for Papers
Thu, 7 Jun 2018 20:39:31 -0400 (EDT)LPAR-22 in Ethiopia - Call for Papers and Workshops
Thu, 31 May 2018 15:46:51 -0400 (EDT)CASC-J9 - the ATP System Competition
Wed, 23 May 2018 10:29:57 -0400 (EDT)ASPOCP deadline extended
Thu, 19 Apr 2018 20:46:32 +0200[] FOCLASA 2018 - last CFP, deadlines extended
Thu, 19 Apr 2018 19:22:28 +0200CASC-J9 - the ATP System Competition - Call for Systems
Thu, 19 Apr 2018 14:20:24 -0400 (EDT)cube(s) path program
Tue, 17 Apr 2018 16:03:49 +0100IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications
Tue, 17 Apr 2018 09:09:54 -0400 (EDT)RE: installed gprolog 1.4.4 on debian 9 (stretch) with gcc 6.3 in a kind of hackey way, please lmk of a better way if possible
Thu, 12 Apr 2018 22:36:03 +0000ARQNL 2018 Final Call for Papers
Mon, 9 Apr 2018 14:06:04 -0400 (EDT)CICM 2018 - Call for Papers
Mon, 2 Apr 2018 14:54:29 -0400 (EDT)Bridging the Gap between Human and Automated Reasoning
Thu, 29 Mar 2018 10:28:51 -0400 (EDT)Re: Users-prolog Digest, Vol 163, Issue 4
Tue, 20 Mar 2018 12:57:30 -0600installed gprolog 1.4.4 on debian 9 (stretch) with gcc 6.3 in a kind of hackey way, please lmk of a better way if possible
Mon, 19 Mar 2018 20:56:39 -0700Verification and Deduction Mentoring Workshop 2018
Mon, 19 Mar 2018 10:13:33 -0400 (EDT)PAAR 2018 - Call for Papers
Thu, 8 Mar 2018 09:26:01 -0500 (EST)ARQNL 2018 - Call for Papers
Sat, 3 Mar 2018 09:05:46 -0500 (EST)
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.