[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-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