gmane.science.mathematics.prooftheory archive
375 archived articles, newest first (page 2 of 4). Latest articles →
CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2024
Fri, 24 May 2024 11:51:48 +0100Final CfA: Proof Society School and Workshop [PS24] (extended deadline). 9-13 September, Birmingham, UK
Fri, 17 May 2024 17:14:42 +0000FSCD 2024: Call for Participation (early registration deadline: *May 17, 2024*)
Tue, 14 May 2024 11:40:27 +0100QPL 2024 - Call for participation
Sat, 11 May 2024 13:18:36 -0300MSFP 2024 deadline extension: Tuesday 28th May
Sun, 12 May 2024 08:12:31 -05002nd Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.
Mon, 29 Apr 2024 18:44:34 +0000Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
Fri, 26 Apr 2024 09:18:31 -0500School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
Mon, 22 Apr 2024 10:06:31 -0500Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris)
Fri, 12 Apr 2024 19:23:46 +0200UNIF 2024 - 2nd Call for Papers (Extended Deadline)
Tue, 9 Apr 2024 14:29:13 +0000Postdoc in proof theory - University of Birmingham, 2 years - deadline 30 April
Mon, 8 Apr 2024 15:41:23 +0000TyDe 2024: First call for papers and extended abstracts
Mon, 25 Mar 2024 13:44:45 +00001st Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.
Tue, 19 Mar 2024 23:27:46 +0000MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)
Thu, 7 Mar 2024 00:59:39 -0600CfA: PhD in theoretical computer science, Kings College (London / UK), deadline 12 April
Tue, 27 Feb 2024 12:00:21 +0100QPL 2024 - Third Call for Papers
Mon, 19 Feb 2024 09:01:52 -0300CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)
Thu, 8 Feb 2024 22:31:36 +0000FSCD 2024: Extended deadline (Abstract: February 12/ Submission: February 19)
Tue, 6 Feb 2024 18:29:41 +0000RC 2024 - call for papers - deadline extension
Tue, 6 Feb 2024 13:03:51 -0500UNIF 2024 Call for Papers
Wed, 17 Jan 2024 16:15:58 +0000FSCD 2024: Second Call for Papers
Thu, 11 Jan 2024 17:06:49 +0000RC 2024 - call for papers
Sat, 23 Dec 2023 14:51:26 -0500QPL 2024 - Second Call for Papers
Wed, 20 Dec 2023 21:33:45 +0100Deadline extension for FICS Workshop (new deadline: 6/12/2023)
Fri, 01 Dec 2023 12:06:04 +0100Third Call for Contributions - FICS Workshop (submission deadline: 1st December 2023)
Fri, 24 Nov 2023 16:39:28 +0100PhD opportunities at the University of Birmingham
Tue, 7 Nov 2023 10:51:54 +0000CFP - FICS Workshop (submission deadline: 1st December 2023)
Mon, 30 Oct 2023 18:51:04 +0100QPL 2024 - 1st CFP
Wed, 11 Oct 2023 10:00:51 -0300Preliminary CFP - FICS Workshop (submission deadline: 1st December 2023)
Wed, 11 Oct 2023 14:05:23 +0200Assistant/Associate Professor positions, University of Birmingham, deadline 1 October 2023
Tue, 5 Sep 2023 10:18:00 +0000FSCD 2024: First Call for Papers
Thu, 31 Aug 2023 16:04:23 +0100Research Associate at the University of Kent, Canterbury, UK
Mon, 21 Aug 2023 13:41:33 +01002nd CFP 1st Workshop on Contradictory Logics, December 6-8, 2023, Ruhr University Bochum + Additional Information
Tue, 18 Jul 2023 17:49:17 +0200Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for Participation
Sat, 10 Jun 2023 23:03:04 +0200CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2023
Mon, 12 Jun 2023 15:24:10 +0100HOR 2023: Call for Participation
Wed, 31 May 2023 14:30:00 +0100UNIF 2023 Call for Participation
Sat, 27 May 2023 15:14:34 +0200[final CfP+new submission link] MODALITIES IN SUBSTRUCTURAL LOGICS at ESSLLI
Mon, 15 May 2023 18:59:42 +0000Postdoctoral position at Université de Mon tpellier
Mon, 22 May 2023 17:31:57 +0200 (CEST)FSCD 2023: Call for Participation (early registration deadline: 31 May 2023)
Fri, 19 May 2023 13:57:39 +0100TLLA 2023 : deadline extension
Mon, 15 May 2023 08:07:32 +0200DEADLINE EXTENSION — Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023
Wed, 17 May 2023 17:11:17 +0200HOR 2023: Second Call for Papers
Fri, 21 Apr 2023 12:30:22 +0100VMW at CAV 2023: Call for Scholarship Applications - DEADLINE EXTENSION (May 5th)
Mon, 24 Apr 2023 12:30:39 +0000Final Call for Papers LFMTP'23 [extended abstract submission deadline, April 20]
Wed, 12 Apr 2023 11:03:28 +0200=?cp1250?q?Verification_Mentoring_Workshop_at_C?= =?cp1250?q?AV_2023=3A_Call_for_Scholarship_Applications_=97_deadline_Apri?= =?cp1250?q?l_14th?=
Mon, 13 Mar 2023 12:59:57 +0000PhD Studentships in Formalising CS/Maths at King's College London
Mon, 6 Mar 2023 12:33:04 +0000HOR 2023: Call for Papers
Mon, 27 Feb 2023 10:07:19 +0000Logic Mentoring Workshop@CSL'23, Feb 17: Online Participation
Thu, 16 Feb 2023 18:00:40 +0100FSCD 2025: Call for Location
Fri, 17 Feb 2023 11:13:39 +0000Midlands Graduate School in the Foundations of Computing Science 2023
Tue, 14 Feb 2023 00:02:21 +0000Last Call for Participation: Logic Mentoring Workshop@CSL'23, Feb 17, Warsaw
Mon, 6 Feb 2023 12:22:08 +0100FSCD 2023: Extended deadline (Abstract: February 4/ Submission: February 9)
Tue, 31 Jan 2023 23:55:22 +0000Re: Call for Participation: Logic Mentoring Workshop@CSL'23, Feb 17, Warsaw
Tue, 31 Jan 2023 17:23:20 +0100Call for Papers: DaLí - Special Issue of the J. of Logical and Algebraic Methods in Program ming
Mon, 30 Jan 2023 15:56:16 -0300Call for Participation: Logic Mentoring Workshop@CSL'23, Feb 17, Warsaw
Sun, 22 Jan 2023 13:14:17 -0600FSCD 2023: Second Call for Papers
Wed, 18 Jan 2023 11:34:16 +0000UNIF 2023 Call for Papers
Fri, 13 Jan 2023 13:38:37 +0100Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23)
Thu, 12 Jan 2023 11:08:44 +0100Assistant/Associate Professor positions, University of Birmingham, deadline 8 January 2023
Mon, 12 Dec 2022 18:32:53 +000016th workshop on Computational Logic and Applications: Call for Participation
Tue, 13 Dec 2022 14:32:44 +0100Certified Programs and Proofs (CPP) 2023: Call for Participation
Mon, 5 Dec 2022 17:00:28 -0500FSCD-CADE 2023: Call for Workshop Proposals
Tue, 29 Nov 2022 11:59:04 +0000FSCD 2023: First Call for Papers
Mon, 28 Nov 2022 20:14:42 +000016th Workshop on Computational Logic and Applications: call for talk proposals
Tue, 1 Nov 2022 22:41:37 +0100PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)
Fri, 23 Sep 2022 11:00:00 -0500[CfPart / Reminder] Proofs, computation and meaning II (28 September, online)
Wed, 21 Sep 2022 11:43:22 +0200PPDP 2022 and LOPSTR 2022 Call for Participation
Tue, 2 Aug 2022 23:11:34 +0200 (CEST)WiL 2022 - Call for Participation
Mon, 13 Jun 2022 17:22:57 +0100PPDP 2022 - 3rd Call for Papers - deadline extended
Mon, 16 May 2022 16:07:24 +0200 (CEST)Postdoc in Proof Theory - University of Birmingham, UK
Thu, 12 May 2022 16:31:47 +0000PPDP 2022 - 2nd Call for Papers
Wed, 4 May 2022 00:15:41 +0200 (CEST)FTfJP 2022 - Call for Papers - Deadline Extended!
Wed, 13 Apr 2022 13:00:50 -0300Permanent positions at University of Birmingham
Mon, 21 Mar 2022 10:50:05 +0000FSCD 2024: Call for Location
Tue, 15 Mar 2022 13:45:42 +0000Midlands Graduate School: Accommodation and second (final) call for participation
Mon, 14 Mar 2022 14:40:41 +0000PPDP 2022 - 1st Call for Papers
Fri, 11 Mar 2022 18:24:54 +0100 (CET)22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
Tue, 22 Feb 2022 11:13:18 +0000DaLí 2022 - Call for Papers
Mon, 21 Feb 2022 19:46:12 -0300FSCD 2022: Extended deadline (Abstract: February 12/ Submission: February 18)
Mon, 7 Feb 2022 08:34:36 +0000FSCD 2022: Second Call for Papers
Tue, 18 Jan 2022 20:24:23 +0000FSCD 2023: Call for Location
Fri, 29 Oct 2021 10:11:01 +0100FSCD 2022: First Call for Papers
Fri, 1 Oct 2021 18:53:20 +0100ITRS Call for Post-Proceedings
Tue, 21 Sep 2021 11:31:14 +0200FSCD 2022: Final Call for Workshops (deadline: September 27, 2021)
Fri, 17 Sep 2021 16:00:34 +0200ITRS Call for Post-Proceedings
Wed, 1 Sep 2021 21:34:35 +0200IJCAR 2022 - Call for Workshops, Tutorials and Competitions
Wed, 11 Aug 2021 08:59:10 +0200ITRS 2021 Call for Post-Proceedings
Tue, 27 Jul 2021 13:23:14 +0200FSCD 2021: Final Call for (Online) Participation (closing on Sun, July 11)
Tue, 6 Jul 2021 11:26:15 +0100Last Call for Participation: 12th International School on Rewriting (ISR 2021), online and free
Fri, 25 Jun 2021 16:33:42 +0200PhD position: Proof Theory and Algebra of Fixed Points. Birmingham, UK and Melbourne, Australia. Deadline: **16 July**
Mon, 21 Jun 2021 20:04:57 +0100FSCD 2021: Call for (Online) Participation
Mon, 14 Jun 2021 13:35:49 +0100CADE 2021 call for participation
Wed, 9 Jun 2021 22:16:54 +0200Call for Position Papers: 8th Workshop on Advances in Programming Languages (WAPL'21)
Tue, 8 Jun 2021 17:15:52 +0200[Call for Participation] 12th International School on Rewriting
Thu, 3 Jun 2021 15:16:53 +0200Link Correction - CFP: 8th Workshop on Advances in Programming Languages (WAPL'21)
Sat, 22 May 2021 00:54:00 +0200Call for Papers: 8th Workshop on Advances in Programming Languages (WAPL'21)
Wed, 19 May 2021 17:23:45 +0200ITRS 21 - Final CfP
Tue, 20 Apr 2021 10:00:31 +0200ITRS 21 CfP (Extended Deadline)
Fri, 9 Apr 2021 11:31:28 +0200ITRS 21 CfP
Thu, 25 Mar 2021 10:15:47 +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.