gmane.science.mathematics.prooftheory archive

374 archived articles, newest first (page 1 of 4). Latest articles →

Quatre-vingts, 10-12 September 2026: a workshop on constructive mathematics dedicated to Douglas Bridges and Henri Lombardi
Tue, 11 Aug 2026 20:02:57 +0200
"Hugo Herbelin" ([email protected] via agda Mailing List) <[email protected]> • #1852
Call for Papers: ReacTS 2026
Sat, 8 Aug 2026 21:50:48 +0000
Daniel Figueiredo <[email protected]> • #1851
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
TYPES 2025: Final Call for Participation
Wed, 21 May 2025 14:55:05 +0100
Fredrik Nordvall Forsberg <[email protected]> • #1800
FSCD 2025: Call for Participation (early registration deadline: *15 June 2025*)
Mon, 19 May 2025 14:13:25 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1799
LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26)
Wed, 7 May 2025 23:02:59 +0200
Christophe Ringeissen <christophe.ringeissen-/[email protected]> • #1798
Digital Data Processing 2025 IEEE
Thu, 08 May 2025 06:42:43 -0700
[email protected] • #1797
1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25)
Wed, 7 May 2025 23:22:13 +0200
Frédéric Blanqui <[email protected]> • #1796
TYPES 2025: Call for Participation
Wed, 23 Apr 2025 15:46:33 +0100
Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> • #1795
2nd call for papers DaLí 2025
Sun, 6 Apr 2025 10:05:02 +0000
Alexandre Madeira <[email protected]> • #1794
FSCD 2027: Call for Location
Thu, 3 Apr 2025 14:28:43 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1793
CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
Wed, 12 Mar 2025 11:14:31 -0700
ESSLLI Publicity via Corpora <[email protected]> • #1792
PhD and Postdoc positions in Mathematical Lo gic at Würzburg
Wed, 19 Mar 2025 13:53:15 +0000
Anton Freund <[email protected]> • #1791
BCTCS Travel Funding Support
Wed, 5 Mar 2025 17:05:57 +0000
Alasdair Lambert <[email protected]> • #1790
Call for Participation to French Spring School on TCS -- 19-23 may in Aussois (French Alps)
Tue, 04 Mar 2025 16:34:02 +0100
Alexis Saurin <[email protected]> • #1789
1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25)
Mon, 3 Mar 2025 17:52:09 +0100
Frédéric Blanqui <[email protected]> • #1788
2nd Call for Papers: TbiLLC 2025
Sat, 1 Mar 2025 01:06:42 +0100
Balder ten Cate <[email protected]> • #1787
TYPES 2025: Deadline Extension and Final Call for Contributions
Thu, 27 Feb 2025 15:15:00 +0000
Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> • #1786
BCTCS 2025 Education Track
Wed, 26 Feb 2025 17:01:42 +0000
Alasdair Lambert <[email protected]> • #1785
DaLí 2025, 1st call for papers
Thu, 20 Feb 2025 08:14:53 +0000
Alexandre Madeira <[email protected]> • #1784
41st British Colloquium for Theoretical Computer Science - Reminder
Fri, 14 Feb 2025 15:46:19 +0000
Alasdair Lambert <[email protected]> • #1783
FSCD 2025: Extended deadline (Abstract: February 17/ Submission: February 22)
Wed, 12 Feb 2025 13:17:53 +0000
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1782
TYPES 2025: Second Call for Contributions
Mon, 10 Feb 2025 11:12:57 +0000
Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> • #1781
QPL 2025 - Final Call for Papers
Mon, 3 Feb 2025 10:49:20 +0100
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1780
41st British Colloquium for Theoretical Computer Science
Tue, 21 Jan 2025 16:31:15 +0000
Alasdair Lambert <[email protected]> • #1779
QPL 2025 - Second Call for Papers
Tue, 14 Jan 2025 13:40:45 +0100
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1778
Call for Papers: TbiLLC 2025
Wed, 15 Jan 2025 01:16:43 +0100
Balder ten Cate <[email protected]> • #1777
[CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025
Wed, 11 Dec 2024 09:53:59 +0100
nicolas tabareau <[email protected]> • #1776
FSCD 2025: Second Call for Papers
Tue, 10 Dec 2024 12:38:42 +0000
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1775
TYPES 2025: First Call for Contributions
Tue, 10 Dec 2024 17:51:32 +0000
Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> • #1774
PhD opportunities at the University of Birmingham
Sun, 24 Nov 2024 23:15:27 +0000
Paul Levy <[email protected]> • #1773
QPL 2025: First Call for Papers
Wed, 30 Oct 2024 19:04:36 +0100
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1772
Lecturer in Computational Linguistics in UCL
Wed, 30 Oct 2024 09:51:45 +0000
"Sadrzadeh, Mehrnoosh" <m.sadrzadeh-hclig2XLE9Zaa/[email protected]> • #1771
Call for Papers - Special Issue of JLAMP on Recent Advances on Unification
Mon, 28 Oct 2024 15:29:49 +0000
Oliver Fernandez Gil <[email protected]> • #1770
FSCD 2025: Call for Workshop Proposals
Mon, 21 Oct 2024 18:43:04 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1769
FSCD 2025: First Call for Papers
Fri, 18 Oct 2024 11:52:06 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1768
2nd CFP - CPP 2025 - Certified Programs and Proofs
Wed, 21 Aug 2024 08:30:06 +0200
nicolas tabareau <[email protected]> • #1767
ICTCS 24 - Call for Participation
Mon, 19 Aug 2024 12:26:54 +0200
Riccardo Treglia <[email protected]> • #1766
Final CfPart: Proof Society School and Workshop [PS24]. **Extended registration deadline: 16 August**. 9-13 September, Birmingham, UK.
Fri, 2 Aug 2024 14:27:49 +0000
Anupam das <[email protected]> • #1765
2nd CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK.
Wed, 17 Jul 2024 17:24:06 +0000
Anupam das <[email protected]> • #1764
TLLA 2024, July 8-9: free online participation
Fri, 5 Jul 2024 09:13:30 +0000
Paolo Pistone <[email protected]> • #1763
FSCD 2024: Free online participation, 10 - 13 July 2024
Wed, 3 Jul 2024 08:51:15 +0200
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #1762
Free online participation in MSFP, 8th July 2024
Mon, 1 Jul 2024 12:04:00 -0500
Favonia <[email protected]> • #1761
Second CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
Fri, 28 Jun 2024 14:37:51 +0200
ESSLLI Publicity via Corpora <[email protected]> • #1760
QPL 2024 - Last Call for Participation - Late registration deadline: July 1st
Thu, 27 Jun 2024 10:50:59 -0300
Alejandro Díaz-Caro <alejandro-bV/[email protected]> • #1759
1st CFP - CPP 2025 - Certified Programs and Proofs
Wed, 26 Jun 2024 14:13:52 +0200
nicolas tabareau <[email protected]> • #1758
UNIF 2024 - Call for Participation
Sat, 22 Jun 2024 18:32:49 +0200
Oliver Fernandez Gil <[email protected]> • #1757
CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK.
Mon, 17 Jun 2024 15:10:05 +0000
Anupam das <[email protected]> • #1756
British Logic Colloquium 2024 -- Call for abstracts
Tue, 11 Jun 2024 11:13:12 +0000
Anupam das <[email protected]> • #1755
CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
Fri, 7 Jun 2024 13:01:09 +0200
ESSLLI Publicity via Corpora <[email protected]> • #1754
CfP ICTCS24 - Extended deadline
Wed, 5 Jun 2024 17:32:00 +0200
Riccardo Treglia <[email protected]> • #1753
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.