[LOGIC] List Mailing Archive 2026

Subscribe to the [LOGIC] list in order to receive information about conferences, job advertisements and logic-related news.

Archived years: 2026 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all

Received: 2026-03-04:

• CfP: IMLA 2026 – 8th Workshop on Intuitionistic Modal Logic and Applications, 24–25 July 2026, Lisbon (Portugal)
• CfP: MFPS XLII – Mathematical Foundations of Programming Semantics, 1–3 June 2026, Ljubljana (Slovenia)
• CfP: 2nd Workshop on Choreographic Programming (CP 2026), 16 June 2026, Boulder, CO (USA) [co-located with PLDI 2026]
• CfP: DiRL3: Directions in Relevant Logic 3, 6–8 July 2026, Bochum (Germany)
• CfP: SCML 2026 – International Conference on Symbolic Computation and Machine Learning, 6–8 July 2026, Hagenberg (Austria)
• CfP: CICM 2026 – 19th Conference on Intelligent Computer Mathematics, 21–25 September 2026, Ljubljana (Slovenia)

Received: 2026-03-02:

• CfP: LCC 2026 – 16th Intl. Workshop on Logic and Computational Complexity, 18–19 July 2026, Lisbon (Portugal)
• CfP: Structure Meets Power 2026 (LICS Workshop @ FLoC), 18 July 2026, Lisbon (Portugal)
• CfP: CONCUR 2026 – International Conference on Concurrency Theory, 1–4 September 2026, Liverpool (UK)
• CfA: Master’s in Pure and Applied Logic (MiPAL) 2026–2028, Barcelona (Spain), pre-registration until 10 July 2026
• CfN: E.W. Beth Dissertation Prize 2026, deadline: 15 April 2026 (AoE)
• CfA: 3-Year Postdoc in Logic (INTERACT Project), Prague (Czech Republic), deadline: 13 April 2026

Received: 2026-02-23:

• CfP [extended deadline]: AiML 2026 – 16th International Conference on Advances in Modal Logic, 29 June–3 July 2026, Amsterdam (The Netherlands) [deadline extended]
• CfR: Workshop on Logic and Bounded Rationality, 25–27 February 2026, Online
• CfP: HAR 2026 – 5th International Conference on Human and Artificial Rationality, 15–18 September 2026, Paris (France)
• Autumn School: Proof and Computation 2026 – 13–19 September 2026, Fischbachau (Germany)
• CfP: Logic, Relativity and Beyond 2026 – 5th International Conference, 13–15 July 2026, Budapest (Hungary)
• CfA: Master’s in Pure and Applied Logic (MiPAL), Barcelona 2026–2028, deadline: 10 July 2026

Received: 2026-02-22:

• CfP: Special Issue of Theoretical Computer Science – Universality in Logics and Physics, deadline: 31 December 2026
• CfP: SILFS Triennial Conference 2026, 29 June–2 July 2026, Pavia (Italy)
• CfP: LAMAS&SR 2026 – Logical Aspects of Multi-Agent Systems and Strategic Reasoning, 19 July 2026, Lisbon (Portugal), co-located with KR 2026
• CfP: FMCAD 2026 – 26th International Conference on Formal Methods in Computer-Aided Design, 14–18 September 2026, Graz (Austria)
• CfP: Computable90 – 90 Years of Turing’s “Computable Numbers”, 16–18 September 2026, Bletchley Park (UK)
• CfP: 3rd ESPM Summer School, 31 August–4 September 2026, Bari (Italy)

Received: 2026-02-06:

• CfP: FLINTA* in Set Theory, 9–11 September 2026, Vienna (Austria)
• CfR: 4th ECUMENICAL Meeting, 18–20 February 2026, Stockholm (Sweden) & Online
• CfP: Summer School for Widening Participation in Mathematical Philosophy, 20-24 July, 2026, Munich (Germany)
• CfP: CoCoGEMS – Computability and Complexity by Gender Minorities, 3–7 August 2026, Vienna (Austria)
• CfP: CCC 2026 – Continuity/ Computability/ Constructivity: From Logic to Algorithms, 27–30 May 2026, Kyoto (Japan)
• CfP: Logic Colloquium 2026 – European Summer Meeting of the ASL, 29 June–3 July 2026, Swansea (UK)

Received: 2026-02-05:

• CfP [deadline tomorrow!]: REVERSIBLE COMPUTATION 2026 – 18th International Conference on Reversible Computation, 9–10 July 2026, Turin (Italy)
• CfN: EATCS Fellow Nominations 2026, deadline: 28 February 2026
• CfN: IFIP Jean-Claude Laprie Award 2026, deadline: 9 February 2026
• CfR: ESPM Early Career Prize Lecture by Davide Sutto, 5 March 2026, Online
• CfA: Tenure-Track Professorship in Theoretical Philosophy (Logic), University of Graz (Austria), deadline: 11 February 2026
• Ryszard Wójcicki (1931–2026)

Received: 2026-01-16:

• CfN: EATCS Distinguished Dissertation Award 2025, deadline: 28 February 2026
• CfP: SCML 2026 – International Conference on Symbolic Computation and Machine Learning, 6–8 July 2026, Hagenberg (Austria)
• CfP: FoSSaCS 2026 – 29th International Conference on Foundations of Software Science and Computation Structures, 11–16 April 2026, Turin (Italy)
• CfP: ICGT 2026 – 19th International Conference on Graph Transformation, 29 June–3 July 2026, Rennes (France)
• CfP: CMCS 2026 – 18th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, 11–12 April 2026, Turin (Italy)

Received: 2026-01-15:

• CfP: ESTC 2026 – 10th European Set Theory Conference, 18–22 May 2026, Helsinki (Finland)
• CfP: THEMA 2026 – Workshop on Theory and Methods for Abstraction, 24 July 2026, Lisbon (Portugal)
• CfP: KR 2026 – 23rd International Conference on Principles of Knowledge Representation and Reasoning, 20–23 July 2026, Lisbon (Portugal)
• CfR: 6th Symposium on Proof-theoretic Semantics, 9–11 February 2026, London (UK)
• CfP: WiL 2026 – 10th Women in Logic Workshop, 24–25 July 2026, Lisbon (Portugal)
• CfR: Abstraction, Structures and Proofs – Workshop Series, February–December 2026, Vienna (Austria) / Tübingen (Germany) & Online

Received: 2026-01-14:

• Happy UNESCO World Logic Day 2026!

Received: 2026-01-12:

• Announcement: aboutlogic - first episode launches on January 14 [world logic day]
• CfR: Logic: A World of Interdisciplinary Science 4, 14. January, Online [World Logic Day]
• CfP: II Workshop on Substructural Logics, 9–10 June 2026, Tübingen (Germany)
• CfP: CoCoGEMS – Computability and Complexity by Gender Minorities, 3–7 August 2026, Vienna (Austria)
• CfA: Graduate Seminar on Belief Change and Information Exchange (Epistemic Logic), 18–22 May 2026, Venice (Italy), deadline: 20 January 2026
• CfP [extended deadline]: TYPES 2026 – 32nd International Conference on Types for Proofs and Programs, 4–8 May 2026, Gothenburg (Sweden)
• CfA: Associate Professor position in Mathematical Logic, University of Naples “Federico II” (Italy), deadline: 19 January 2026

Received: 2026-01-07:

• CfR: Moshe Vardi World Logic Day Lecture, 20 January 2026, Online & Houston (TX, USA) [World Logic Day Event]
• CfP: FLoC 2026 – Federated Logic Conference (CAV, CP, CSF, FSCD, ICLP, IJCAR, ITP, KR, LICS, SAT), July 2026, Lisbon (Portugal)
• CfP: FOIS 2026 – 16th International Conference on Formal Ontology in Information Systems, 21–25 September 2026, Vitória (Brazil) + Online (9 September)
• CfP: RuleML+RR 2026 – 10th International Joint Conference on Rules and Reasoning, 24–26 August 2026, Vilnius (Lithuania)
• CfP: DL 2026 – 39th International Workshop on Description Logics, 17–19 July 2026, Lisbon (Portugal)

Received: 2026-01-06:

• CfR: Wittgenstein and the Formal Sciences 5, 10 Jan, Online [WORLD LOGIC DAY EVENT]
• CfP [extended deadline]: NFM 2026 – 18th NASA Formal Methods Symposium, 5–7 May 2026, Los Angeles (CA, USA)
• CfP [correction]: TACL 2026 – Topology, Algebra and Categories in Logic, School & Conference, July 2026 [new dates!], Kraków (Poland)
• CfP: CiE 2026 – Computability in Europe, 27–31 July 2026, Trier (Germany)
• CfA: PhD Studentships & Postdoctoral Fellowships in Logic / Category Theory & Theorem Proving, Chapman University (USA), deadline: 15 Jan
• CfA: Research Positions in Theorem Proving in AI & Mathematics, University of Manchester (UK), deadline: 13 Jan

Archived years: 2026 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all