gmane.comp.gnu.prolog.general archive
922 archived articles, newest first (page 1 of 10). Latest articles →
Call for Papers: ReacTS 2026
Sat, 8 Aug 2026 21:50:48 +0000Logtalk 3.101.0 released
Thu, 23 Jul 2026 22:46:10 +0100Logtalk 3.100.0 reelased
Thu, 14 May 2026 11:34:47 +0100KR 2026 Call for Videos Deadline Extension
Fri, 24 Apr 2026 16:05:58 +0000Deadline Extension XLoKR & ExCoS 2026 to May 7
Tue, 21 Apr 2026 07:55:00 +0000KR and FLoC Early Registration open until May 15
Thu, 16 Apr 2026 15:49:50 +0000Logtalk 3.99.0 released
Thu, 9 Apr 2026 21:55:24 +0100[CfP] The Sixth International Workshop on Logics and Argumentation for New-Generation Artificial Intelligence (LNGAI 2026)
Wed, 25 Mar 2026 12:52:20 +0000Final Call for Hosting KR 2027 or KR 2028 (Deadline March 15)
Tue, 10 Mar 2026 09:38:48 +0000Logtalk 3.98.0 released
Fri, 27 Feb 2026 13:58:34 +0000CfP: FLoC 2026 Joint Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) and Explanations with Constraints and Satisfiability (ExCoS)
Tue, 24 Feb 2026 09:34:57 +0000Second Call for Nominations for KR 2026 Awards (Deadline February 28 AoE)
Mon, 23 Feb 2026 09:54:57 +0000Second Call for Hosting KR 2027 or KR 2028
Mon, 23 Feb 2026 09:42:22 +0000Call for Hosting KR 2027 or KR 2028
Tue, 27 Jan 2026 09:12:45 +0000KR 2026: Call for Nominations
Tue, 13 Jan 2026 14:06:00 +0000[CfP] FLoC 2026
Mon, 5 Jan 2026 10:03:20 +0000Logtalk 3.97.0 and Logtalk for VSCode 0.80.0 released
Mon, 22 Dec 2025 14:25:06 +0000[CfP] KR 2026 Doctoral Consortium
Fri, 19 Dec 2025 08:05:08 +0000[CfP] KR 2026 Recently Published Research Track
Fri, 19 Dec 2025 08:07:18 +0000[CfP] KR 2026 Video Track
Fri, 19 Dec 2025 08:06:16 +0000[CfP] KR 2026 Special track: KR in the wild
Wed, 17 Dec 2025 11:23:55 +0000[CfP] KR 2026 Special track: KR meets Machine Learning and Explanation
Tue, 16 Dec 2025 10:03:29 +0000Logtalk 3.96.0 and Logtalk for VSCode 0.75.0 released
Tue, 18 Nov 2025 22:30:39 +0000Logtalk 3.95.0 and Logtalk for VSCode 0.64.0 released
Thu, 30 Oct 2025 14:26:27 +0000PRIMA 2025 – PhD Day: Call for Submissions – Extended Abstracts
Tue, 21 Oct 2025 09:38:36 +0200 (CEST)[CfP]: KR 2026 Second Call for Papers
Mon, 20 Oct 2025 06:32:46 +0000Logtalk 3.94.0 and Logtalk for VSCode 0.53.0 released
Tue, 30 Sep 2025 15:30:29 +0100Logtalk 3.93.0, Logtalk for VSCode 0.52.0, Jupyter Kernel for Logtalk 0.46.0, JupyterLab extension 1.3.0, and portable Docker image releases
Thu, 28 Aug 2025 21:13:11 +0100CfP: REACTS'25 - Deadline extension
Thu, 21 Aug 2025 07:14:34 +0000how to create a new directive
Thu, 7 Aug 2025 15:56:57 +0000Re: attributed variables in GNU Prolog
Thu, 7 Aug 2025 15:31:59 +0000DEADLINE EXTENDED: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)
Wed, 16 Jul 2025 09:57:23 +0200 (CEST)Logtalk 3.92.0 released
Thu, 29 May 2025 11:55:19 +0100Counting backtracks with several calls to fd_labeling
Tue, 27 May 2025 16:54:51 +0200Re: attributed variables in GNU Prolog
Thu, 15 May 2025 08:48:20 +0200attributed variables in GNU Prolog
Wed, 14 May 2025 17:21:52 +00002nd call for papers DaLí 2025
Sun, 6 Apr 2025 10:05:02 +0000Logtalk 3.90.0, Logtalk for VSCode 0.39.0, Jupyter Kernel for Logtalk 0.29.0, and portable Docker image releases
Fri, 28 Mar 2025 11:26:11 +0000Re: 2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI
Wed, 19 Mar 2025 19:49:04 +0900DaLí 2025, 1st call for papers
Thu, 20 Feb 2025 08:14:53 +0000Logtalk 3.89.0, Logtalk for VSCode 0.33.0, Jupyter Kernel for Logtalk 0.16.0, and portable Docker image releases
Fri, 14 Feb 2025 15:21:45 +0000Logtalk 3.87.0 and Logtalk for VSCode 0.32.0 released
Wed, 8 Jan 2025 14:44:53 +0000[Vardi-list] World Logic Day Lecture: Homo Ratiocinator (Reckoning Human)- 1/14/25
Tue, 7 Jan 2025 14:43:10 -0600 (CST)Logtalk 3.86.0 and Logtalk for VSCode 0.29.0 releases
Wed, 18 Dec 2024 18:45:09 +0000[Vardi-list] Appeal to support SIGLOG, the LICS sponsor
Sun, 17 Nov 2024 13:58:38 -0600 (CST)Logtalk 3.85.0 released
Tue, 12 Nov 2024 19:37:44 +0000Logtalk 3.84.0 released
Tue, 22 Oct 2024 15:06:01 +0100Logtalk 3.83.0 released [CORRECTED]
Tue, 24 Sep 2024 12:47:04 +0100Logtalk 3.83.0 released
Tue, 24 Sep 2024 12:08:11 +0100[Vardi-list] ICLA 2025
Fri, 23 Aug 2024 12:13:41 -0500 (CDT)Logtalk 3.82.0 released
Tue, 20 Aug 2024 15:29:32 +0100ASPOCP 2024@ICLP- EXTENDED DEADLINE
Wed, 31 Jul 2024 12:26:28 +0200ASPOCP 2024 @ ICLP- Second Call for Paper
Fri, 26 Jul 2024 14:52:41 +0200Logtalk 3.81.0, Logtalk for VSCode 0.23.0, and Docker image releases
Tue, 16 Jul 2024 14:37:02 +0100ASPOCP 2024 @ ICLP- First Call for Paper
Wed, 3 Jul 2024 12:29:02 +0200[Vardi-list] OSSyM Workshop@CAV 2024
Tue, 11 Jun 2024 20:37:26 -0500 (CDT)Logtalk 3.80.0 and Logtalk for VSCode 0.22.0 released
Tue, 4 Jun 2024 15:14:52 +0100Logtalk 3.79.0 and Logtalk for VSCode 0.21.0 released
Wed, 15 May 2024 16:52:34 +0100Re: Logtalk 3.78.0 and Logtalk for VScode 0.20.0 released
Tue, 7 May 2024 09:35:12 +0100Logtalk 3.78.0 and Logtalk for VScode 0.20.0 released
Mon, 6 May 2024 14:39:14 +0100Logtalk 3.74.0 released
Wed, 31 Jan 2024 23:33:25 +0000Logtalk 3.73.0 released
Tue, 12 Dec 2023 14:41:36 +0000[Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First, Math or Computing?
Sat, 2 Dec 2023 16:34:55 -0600 (CST)Logtalk 3.66.0 released
Tue, 30 May 2023 14:11:14 +0100CADE-29 CALL FOR PARTICIPATION
Sat, 13 May 2023 18:36:10 -0400 (EDT)FroCoS 2023 deadline extension
Fri, 12 May 2023 15:18:11 -0400 (EDT)ASPOCP 2023 @ ICLP- EXTENDED DEADLINE
Fri, 12 May 2023 10:50:05 +020014th IWIL workshop, FINAL CALL FOR PAPERS: 2nd Round Deadline May 15th AoE 2023
Thu, 11 May 2023 13:23:10 -0400 (EDT)LPAR-24 (June 2023) - Call for Short Papers
Wed, 10 May 2023 09:20:56 -0400 (EDT)7th Vampire workshop - Call for Papers
Tue, 9 May 2023 13:05:04 -0400 (EDT)Logtalk 3.65.0 released
Thu, 27 Apr 2023 15:59:13 +0100ASPOCP 2023 @ ICLP- First Call for Paper
Wed, 26 Apr 2023 12:13:53 +0200Re: Prolog: GNU: Command line compiling seems not possible out of the box
Mon, 27 Mar 2023 14:28:52 +0200CFP: 14th International Workshop on the Implementation of Logics
Mon, 27 Mar 2023 08:16:33 -0400 (EDT)LPAR 2023 Deadline extension
Tue, 14 Mar 2023 15:23:39 -0400 (EDT)Re: logic/dynamic programming communities?
Tue, 14 Mar 2023 01:06:39 +0000Re: logic/dynamic programming communities?
Mon, 13 Mar 2023 13:40:13 -0700LPAR 2023 Call for Workshops and Tutorials
Tue, 7 Mar 2023 10:00:42 -0500 (EST)Prolog: GNU: Command line compiling seems not possible out of the box
Mon, 6 Mar 2023 01:33:07 +0000 (UTC)CADE-29 second Call for Papers
Wed, 22 Feb 2023 11:22:05 -0500 (EST)FroCoS 2023 Call for Papers
Mon, 6 Feb 2023 12:55:11 -0500 (EST)Bill McCune PhD Award in Automated Reasoning 2023 Call for Nominations
Mon, 6 Feb 2023 11:16:20 -0500 (EST)Call for Papers: DaLí - Special Issue of the J. of Logical and Algebraic Methods in Program ming
Mon, 30 Jan 2023 15:56:16 -0300LPAR-24, June 2023, Call for Papers
Mon, 23 Jan 2023 15:41:41 -0500 (EST)CADE-29 Call for Papers
Thu, 12 Jan 2023 11:10:07 -0500 (EST)Logtalk 3.61.0 released
Tue, 20 Dec 2022 16:34:43 +0000Dov Gabbay Prize for Logic and Foundations
Wed, 30 Nov 2022 05:50:12 -0500 (EST)Proposals for Sites for IJCAR 2024
Mon, 21 Nov 2022 11:29:57 -0500 (EST)Logtalk 3.60.0 released
Tue, 15 Nov 2022 23:11:21 +0000[Vardi-list] The 5th Advanced School in Computer Science and Engineering: AI for Better Medicine - Sun, 15/01/2023 to Thu, 19/01/2023
Thu, 10 Nov 2022 07:10:56 -0600 (CST)[Vardi-list] Job Opportunity: Postdoctoral Fellow in Tech-Culture-Society
Tue, 1 Nov 2022 17:09:15 -0500 (CDT)Logtalk 3.59.0 released
Tue, 18 Oct 2022 14:56:57 +0100[Vardi-list] A Special Seminar in Honor's of Dana Scott's 90th Birthday
Thu, 6 Oct 2022 21:16:56 -0500 (CDT)Re: (PN) 2nd CfP - Software Verification and Testing Track at SAC 2023
Fri, 30 Sep 2022 09:18:13 +0200Logtalk 3.58.0 released
Tue, 27 Sep 2022 10:22:13 +0100Re: can gprolog set a signal handler?
Mon, 19 Sep 2022 11:17:06 +02002nd CfP - Software Verification and Testing Track at SAC 2023
Fri, 16 Sep 2022 23:01:49 +0200can gprolog set a signal handler?
Fri, 16 Sep 2022 18:01:18 +0000Call for Participation -- Mathematics of Program Construction 2022
Tue, 26 Jul 2022 15:38:14 +0000Logtalk 3.57.0 released
Tue, 26 Jul 2022 16:09:34 +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.