gmane.science.mathematics.prooftheory

1160 articles on record, showing the most recent 50.

Last days to register to Proof Society 2026 (7-11 September)
Wed, 29 Jul 2026 17:04:39 +0200
Alexis Saurin <[email protected]> • #1850
FSCD 2026: Free online participation, 20 - 23 July 2026
Thu, 16 Jul 2026 20:12:37 +0200
Carsten Fuhs <[email protected]> • #1849
Proof Society 2026: Call for Participation and registration (7-11 September, Aussois, FRANCE)
Mon, 06 Jul 2026 22:41:51 +0200
Alexis Saurin <[email protected]> • #1848
LIQCS 2026 - Last call for participation: Registration deadline June 8
Fri, 5 Jun 2026 10:13:24 +0200
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1847
CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2026
Fri, 5 Jun 2026 10:42:29 +0100
Carsten Fuhs <[email protected]> • #1846
Proof Society 2026: Deadline extension for contributions
Sat, 30 May 2026 10:18:14 +0200
Alexis Saurin <[email protected]> • #1845
WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation
Fri, 29 May 2026 22:10:34 +0100
Carsten Fuhs <[email protected]> • #1844
Call for participation - FLoC'26 workshop Tribute to Gilles Dowek - July 18
Fri, 29 May 2026 12:05:48 +0200
Frederic Blanqui <[email protected]> • #1843
Proof Society 2026: 2nd Call for Abstracts (7-11 September, Aussois, FRANCE)
Tue, 19 May 2026 12:40:58 +0200
Alexis Saurin <[email protected]> • #1842
LIQCS 2026 - Call for participation
Wed, 6 May 2026 14:18:51 +0200
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1841
2nd cfp: 10th International Workshop on Trends in Linear Logic and Applications
Mon, 27 Apr 2026 18:10:57 +0200
"federico.olimpieri" <[email protected]> • #1840
ETAPS 2027 CfP: ESOP
Fri, 24 Apr 2026 12:18:56 +0100
Azalea Raad <[email protected]> • #1839
Call for Abstracts: Proof Society 2026 (7-11 September, Aussois, FRANCE)
Tue, 21 Apr 2026 18:28:08 +0200
Alexis Saurin <[email protected]> • #1838
WPTE 2026: Second Call for Papers
Wed, 22 Apr 2026 16:19:23 +0100
Carsten Fuhs <[email protected]> • #1837
2nd CfC: DIALOCO Workshop, Lisbon, 19 July
Fri, 17 Apr 2026 14:00:45 +0200 (CEST)
[email protected] • #1836
JLAMP Special Issue for QPL 2024 & 2025 – Deadline April 12
Wed, 8 Apr 2026 10:14:00 -0300
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1835
FLoC'26 workshop - Tribute to Gilles Dowek - Call for talks
Tue, 7 Apr 2026 07:22:20 +0200
Frédéric Blanqui <[email protected]> • #1834
FLoC 2026 Mentoring Workshop: Last Call for Scholarship Applications
Thu, 02 Apr 2026 13:53:58 +0900
Marie Kerjean <[email protected]> • #1833
FSCD 2028: Call for Location
Mon, 30 Mar 2026 16:49:55 +0100
Carsten Fuhs <[email protected]> • #1832
1st cfp: 10th International Workshop on Trends in Linear Logic and Applications
Tue, 24 Mar 2026 18:09:35 +0100
"federico.olimpieri" <[email protected]> • #1831
WPTE 2026: Call for Papers
Sun, 15 Mar 2026 21:50:23 +0000
Carsten Fuhs <[email protected]> • #1830
Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba)
Sun, 22 Feb 2026 17:54:37 +0100
Michael Sperber <[email protected]> • #1829
CiE 2026: 2nd round of submissions CfP
Sat, 21 Feb 2026 18:20:01 +0100
[email protected] • #1828
PhD on the Verification of Statistical Model Checking Algorithms
Thu, 19 Feb 2026 14:29:42 +0000
Mohammad Abdulaziz <[email protected]> • #1827
Automating Mathematical Reasoning: Interactions Between Proof Assistants, Computer Algebra Systems and Generative AI, at ICMS 2026
Sat, 14 Feb 2026 15:14:27 +0000
Mohammad Abdulaziz <[email protected]> • #1826
JLAMP Special Issue for QPL 2024 & 2025 - Deadline extension: April 12th
Thu, 12 Feb 2026 09:13:29 +0100
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1825
JLAMP Special Issue for QPL 2024 & 2025 – LAST CALL FOR PAPERS
Sat, 7 Feb 2026 14:58:34 +0100
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1824
Computability in Europe CiE 2026: 2nd Call for Papers
Tue, 13 Jan 2026 08:38:31 +0100
[email protected] • #1823
FSCD 2026: Second Call for Papers
Fri, 9 Jan 2026 15:40:40 +0000
Carsten Fuhs <[email protected]> • #1822
2nd CFP: JLAMP Special Issue for QPL 2024 & 2025
Tue, 2 Dec 2025 09:23:25 -0300
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1821
Final CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8)
Mon, 01 Dec 2025 18:14:02 +0100
Michael Sperber <[email protected]> • #1820
TYPES 2025: Post-proceedings Final Call for Papers
Mon, 17 Nov 2025 12:17:06 +0000
Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> • #1819
TYPES 2025: Post-proceedings 2nd Call for Papers
Fri, 7 Nov 2025 10:21:34 +0000
Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> • #1818
FSCD 2026: First Call for Papers
Thu, 6 Nov 2025 17:39:35 +0000
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1817
Proof Society Seminar: Juliette Kennedy, 17 November 2025
Wed, 5 Nov 2025 09:21:38 +0000
Anupam das <[email protected]> • #1816
2nd CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8)
Wed, 22 Oct 2025 15:18:52 +0200
Michael Sperber <[email protected]> • #1815
Last call for registration, deadline 9 October: QCOMICAL School 2025
Mon, 6 Oct 2025 11:14:45 +0200
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1814
TYPES 2025: Post-proceedings Call for Papers
Mon, 6 Oct 2025 10:53:39 +0100
Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> • #1813
Last CFP - CPP 2026 - Certified Programs and Proofs
Fri, 29 Aug 2025 10:10:23 +0200
nicolas tabareau <[email protected]> • #1812
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan)
Mon, 25 Aug 2025 09:43:58 +0200
Michael Sperber <[email protected]> • #1811
CfP: REACTS'25 - Deadline extension
Thu, 21 Aug 2025 07:14:34 +0000
José Proença via hol-info <[email protected]> • #1810
PSSL111 - Second Announcement
Sun, 17 Aug 2025 21:45:48 +0100
Matteo Capucci <[email protected]> • #1809
2nd CFP - CPP 2026 - Certified Programs and Proofs
Tue, 29 Jul 2025 09:27:40 +0200
nicolas tabareau <[email protected]> • #1808
FSCD 2025: Free online participation, 15 - 18 July 2025
Wed, 9 Jul 2025 21:32:57 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1807
1st CFP - CPP 2026 - Certified Programs and Proofs
Mon, 16 Jun 2025 18:09:53 +0200
nicolas tabareau <[email protected]> • #1806
Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*)
Fri, 13 Jun 2025 16:09:41 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1805
1st Announcement: QCOMICAL School 2025 on Quantum and Classical Programming Languages and Semantics
Fri, 6 Jun 2025 11:44:27 +0200
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1804
JLAMP Special Issue for QPL 2024 & 2025 – Submissions Open
Fri, 6 Jun 2025 13:59:28 +0200
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1803
FSCD 2025: Second Call for Participation (student fee waivers - apply by *9 June 2025*)
Wed, 4 Jun 2025 23:29:03 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1802
CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025
Wed, 28 May 2025 09:39:55 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1801