gmane.science.mathematics.prooftheory archive
376 archived articles, newest first (page 3 of 4). Latest articles →
Research position at UCL, London
Tue, 23 Mar 2021 14:27:42 +0000Research Programmer in HoTT and Cubical Type Theory
Fri, 12 Mar 2021 19:14:59 -0600ITRS 21 CfP
Thu, 25 Feb 2021 16:25:39 +0100FSCD 2021: Extended deadline (Abstract: February 16/ Submission: February 22)
Thu, 11 Feb 2021 09:06:28 +0000CADE-28: final call for papers
Mon, 8 Feb 2021 21:28:54 +0100CfP - Intersection Types and Related Systems - ITRS2021
Fri, 22 Jan 2021 10:28:56 +0100Re: CADE-28: Call for Papers
Thu, 21 Jan 2021 13:15:32 +0100UNESCO World Logic Day@UCL: Logical Journeys
Fri, 8 Jan 2021 10:07:49 +0000FSCD 2021: Second Call for Papers
Mon, 4 Jan 2021 17:08:16 +0000FSCD 2021: Third Call for Workshop Proposals - Extended Deadline: 20 Dec 2020
Wed, 9 Dec 2020 13:48:09 +0000CADE-28: Call for Tutorials
Mon, 23 Nov 2020 16:23:48 +0100CADE-28: Call for Papers, Workshops, Tutorials and Competitions
Wed, 21 Oct 2020 13:37:45 +0200CfP for TYPES 2020 postproceedings:
Fri, 9 Oct 2020 23:15:22 +0200TYPES 2020 Post-proccedings CfP
Mon, 31 Aug 2020 11:29:19 +0200CADE-28 Call for Papers, Workshops, Tutorials, and Competitions
Wed, 19 Aug 2020 09:28:33 +0200WiL 2020 - Call for contributions
Fri, 7 Feb 2020 13:47:49 +0000BCTCS & AlgoUK 2020 Final announcement and call for contributed talks
Thu, 6 Feb 2020 20:52:29 +0000TYPES and ITRS - Call for participation
Tue, 28 Jan 2020 10:07:39 +0100Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
Fri, 24 Jan 2020 06:53:06 +0000FSCD 2020 - Third Call for Papers (Abstract: February 6/ Submission: February 9)
Mon, 20 Jan 2020 17:26:26 +0000TYPES 2020 - Deadline Extension to January the 20th
Thu, 9 Jan 2020 15:53:14 +0100FSCD 2020 - Second Call for Papers
Thu, 12 Dec 2019 14:30:51 +0000BCTCS & AlgoUK 2020 - Announcement and call for contributed talks
Tue, 10 Dec 2019 10:42:51 +0000ECI 2020: DEADLINE EXTENSION (22 Nov 19) - Call for course proposals
Fri, 15 Nov 2019 17:55:18 -0300FSCD-IJCAR - Call For Workshop Proposals
Sun, 10 Nov 2019 10:24:59 +0100Final Call for course proposals: 34th Informatics Sciences School - ECI 2020
Thu, 7 Nov 2019 15:24:34 -03002nd Call for course proposals: 34th Informatics Sciences School - ECI 2020
Mon, 21 Oct 2019 14:16:10 -0300Call for course proposals for the 34th Informatics Sciences School - ECI 2020
Mon, 23 Sep 2019 18:10:57 -0300FroCoS-12 and TABLEAUX-28, London, September 2-6: second call for participation (early registration closes on August 21)
Mon, 19 Aug 2019 13:30:02 +0000Last CFP - JLC Special Issue on External and Internal Calculi for Non-Classical Logics
Wed, 24 Jul 2019 18:46:21 +0200Final Call: 2nd Summer School and Workshop of the Proof Society, Swansea 8-13 September 2018
Thu, 4 Jul 2019 20:38:31 +0000Deadline extension |CFP CRiSIS 2019 |Hammamet Tunisia
Mon, 10 Jun 2019 18:26:38 +0100JLC special issue - External and Internal Calculi for Non-Classical Logics
Fri, 3 May 2019 00:02:27 +0200TABLEAUX 2019 (London): second call for papers
Thu, 11 Apr 2019 22:13:40 +0000FroCoS 2019 (London): second call for papers
Thu, 11 Apr 2019 22:20:56 +0000FSCD 2019 - Call for Participation (early registration ends May 13th)
Thu, 11 Apr 2019 14:34:22 +0100Call for Course and Workshop Proposals for ESSLLI 2020
Thu, 4 Apr 2019 09:35:07 +1100PhD position EFFICIENT AND NATURAL PROOFS AND ALGORITHMS at the University of Bath
Fri, 29 Mar 2019 10:37:10 +0000PhD positions at Logic group in Canberra Australia
Mon, 25 Mar 2019 14:58:04 +1100Caleidoscope Complexity School: 2nd Call for Participation and Application to Financial Support
Fri, 22 Mar 2019 12:04:45 +0100Re: "Proofs of Life"/axiomatics for all
Wed, 20 Mar 2019 06:45:21 +0100Last-minute PhD opportunities in Swansea
Fri, 15 Mar 2019 23:45:27 +0000HOR 2019 - Call for Submissions
Wed, 6 Mar 2019 09:22:09 +010046th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Last Call for Track Proposals
Wed, 6 Feb 2019 10:44:50 +0200PERR 2019 CFP (extended) -- 3rd Workshop on Program Equivalence and Relational Reasoning
Fri, 1 Feb 2019 17:10:19 +0000call for submissions: CLA'19 meeting and DMTCS special issue
Thu, 24 Jan 2019 00:24:43 +01003 Year Postdoctoral Position in Logic, Automated Reasoning and Coalgebra, London (United Kingdom)
Mon, 14 Jan 2019 16:00:51 +0000PERR 2019 CFP -- 3rd Workshop on Program Equivalence and Relational Reasoning
Thu, 10 Jan 2019 18:13:52 +0000FSCD 2019 Last Call for Papers
Thu, 10 Jan 2019 17:16:59 +000046th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Second Call for Track Proposals
Sat, 5 Jan 2019 13:15:07 +0200Ackermann Award 2019: Call for Nominations
Sun, 6 Jan 2019 17:57:56 +0100Postdoc Position at the University of Minnesota
Mon, 31 Dec 2018 20:12:47 -0600Caleidoscope Complexity School: Call for Participation
Thu, 13 Dec 2018 15:33:11 +010046th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Call for Track Proposals
Sat, 1 Dec 2018 13:42:20 +0200Re: "Proofs of life"
Fri, 9 Nov 2018 16:27:21 +0900Re: "Proofs of life"
Wed, 7 Nov 2018 15:55:34 -0500"Proofs of life"
Wed, 7 Nov 2018 10:37:50 +0900FSCD 2019 - Call for Workshop Proposals
Thu, 1 Nov 2018 19:44:28 +0000FSCD 2019 - First Call for Papers
Thu, 18 Oct 2018 23:47:57 +0100The 34th ACM Symposium on Applied Computing (SAC 2019): Combined Call for Papers - Last Mile
Wed, 19 Sep 2018 17:31:33 +0300PhD thesis position on formal proofs and programming languages at Siemens Mobility, France
Fri, 17 Aug 2018 15:29:13 +0200Axioms Special Issue on Foundations of Quantum Computing
Mon, 13 Aug 2018 13:01:04 -0300The 34th ACM Symposium on Applied Computing (SAC 2019): Third Combined Call for Papers
Tue, 7 Aug 2018 15:31:24 +0300The 34th ACM Symposium on Applied Computing (SAC 2019): Second Combined Call for Papers
Mon, 16 Jul 2018 15:58:20 +0300Postdoc position at Paris Diderot University
Fri, 6 Jul 2018 19:45:40 +0200HOR 18 (Oxford, FLoC 2018)- Special session in honour of Kris Rose
Thu, 5 Jul 2018 11:58:52 +0200LSFA 2018, Deadline Extension (2 weeks)
Mon, 11 Jun 2018 11:03:00 +0200LSFA 2018, Final CfP
Mon, 4 Jun 2018 00:05:16 +0200LSFA 2018, 3rd CfP
Mon, 14 May 2018 16:20:34 +0200PARIS 2018 (FLOC workshop): Deadline extended to *April 25*
Tue, 17 Apr 2018 00:41:30 +0200HOR 18: ** deadline extension to 22 April ** call for submissions
Mon, 16 Apr 2018 17:01:30 +0200DCM'18: Deadline extension (22 April) - EPTCS proceedings after the workshop
Mon, 16 Apr 2018 01:20:35 +0100DCM'18: Deadline extension (15 April)
Sun, 8 Apr 2018 13:05:56 +0100PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures - CFP
Fri, 6 Apr 2018 15:58:54 +02002nd CFP Workshop on External and Internal Calculi for Non Classical Logics , Oxford, UK
Wed, 4 Apr 2018 23:29:01 +0200LSFA 2018, 2nd CfP
Sat, 31 Mar 2018 15:57:42 +0200DCM'18 Final Call-for-papers (deadline 8 April 2018)
Mon, 26 Mar 2018 15:24:34 +01002nd cfp: ITRS - abstract deadline: 8 April 2018
Mon, 26 Mar 2018 13:36:22 +0000CFP Workshop on External and Internal Calculi for Non Classical Logics , Oxford, UK, 19 July 2018
Mon, 19 Feb 2018 22:54:18 +0100ARQNL - call for papers
Wed, 07 Mar 2018 08:41:49 +0000PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures (First CfP)
Fri, 2 Mar 2018 13:11:59 +0100DCM'18 Third Call for Papers
Tue, 27 Feb 2018 19:21:13 +00001st CfP: LSFA 2018
Sun, 11 Feb 2018 13:19:17 +0100DCM'18 Second Call for Papers
Mon, 8 Jan 2018 13:37:17 +0000FSCD 2018 Final Call for Papers (deadline for abstracts: January 15)
Mon, 8 Jan 2018 13:17:53 +0000FSCD 2018 Third Call for Papers
Fri, 8 Dec 2017 13:58:26 +0000FSCD 2018 Second Call for Papers
Tue, 14 Nov 2017 16:38:48 +0000DCM'18 First Call for Papers
Tue, 14 Nov 2017 12:27:33 +0000LFMTP'18 First Call for Papers
Tue, 14 Nov 2017 09:42:42 +0000Continuity, Computability, Constructivity 2017; postproceedings; second call for submissions
Mon, 6 Nov 2017 12:01:27 +1100FLoC 2018 - Joint Call for Papers
Tue, 31 Oct 2017 10:33:41 +0000The 2018 Federated Logic Conference - Workshop Announcement
Tue, 10 Oct 2017 23:05:25 +0100FSCD 2018 First Call for Papers
Sun, 10 Sep 2017 23:57:30 +0100Continuity, Computability, Constructivity 2017; postproceedings; call for submissions
Thu, 10 Aug 2017 11:04:49 +0900LFMTP 2017: Call for Participation
Wed, 9 Aug 2017 13:35:30 +0000FSCD 2017 - Call for participation (early registration ends soon)
Wed, 2 Aug 2017 13:10:25 +0100FSCD 2017 - Call for participation
Tue, 11 Jul 2017 18:28:49 +0100[CFP] UNIF 2017 -- deadline extension
Wed, 21 Jun 2017 09:04:04 +01002nd CfP: STRING 2017
Thu, 15 Jun 2017 16:05:52 +0100[CFP] Call for Papers: UNIF 2017 -- FSCD workshop
Tue, 6 Jun 2017 10:22:10 +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.