[LOGIC] List Mailing Archive 2025
Subscribe
to
the [LOGIC] list in order to receive information about conferences, job
advertisements and logic-related news.
Archived years:
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: 2025-03-28:
- CfP: LoMaDi 2025 – Workshop on Logical and Mathematical Diagrams, 15–16 September 2025, Leuven (Belgium)
- CfP: LOPSTR 2025 – 35th International Symposium on Logic-Based Program Synthesis and Transformation, 9–10 September 2025, Rende (Italy)
- CfP: Deduktionstreffen 2025 (part of CADE-30), 1 August 2025, Stuttgart (Germany)
- CfP: FMCAD 2025 – Formal Methods in Computer-Aided Design, 6–10 October 2025, Menlo Park (USA)
- CfA: Postdoctoral Position (18m) in Philosophy of Mathematics – ICS CAS, Prague (Czech Republic), Start: October 2025
- CfA: PhD Position “Can we agree to disagree?”, LAMSADE – Paris Dauphine University (France), Deadline: 20 April 2025
Received: 2025-03-25:
- CfR: Workshop on Homotopy Type Theory and Univalent Foundations, 15–16 April 2025, Genoa (Italy)
- CfP: Special Issue of Philosophia Scientiae – "The Contingency of Mathematical Proofs and Results?", Deadline: 1 August 2025
- CfP: 8th International Meeting of the Association for the Philosophy of Mathematical Practice, 12–15 January 2026, Chapman University (CA, USA)
- CfP: TIME 2025 – 32nd International Symposium on Temporal Representation and Reasoning, 27–29 August 2025, London (UK)
- CfP: Masterclass in the Philosophy of Mathematical Practices with Michael Barany, 18–20 June 2025, Brussels (Belgium)
- CfA: 3 Postdoctoral Positions in Logic – ICS CAS, Prague (Czech Republic), Deadline: 31 March 2025
Received: 2025-03-19:
- CfP: HAR 2025 - 4th International Conference on Human and Artificial Rationality, 16-19 September 2025, Paris, France
- CfP: AITP 2025 - 3rd International Workshop on Artificial Intelligence and Theorem Proving, 31 August - 5 September 2025, Aussois, France
- CfP: LFPSI'25 - 1st International School on Logical Frameworks and Proof Systems Interoperability, Orsay (France), 8-11 September 2025,
- CfA: PhD Positions in Computational Mathematics and Mathematics, Stockholm (Sweden), Deadline: 22 April 2025
- CfA: PhD Studentships in Logic (Ecumenical Systems, Proof-Theoretic Semantics), London (UK), Deadline: Start before end of July 2025
- CfA: 2-3 PhD/Postdoc Positions in Mathematical Logic, Würzburg (Germany), Deadline: 25 April 2025
Received: 2025-03-18:
- CfP: MFPS XLI (MFPS 2025) – 41st Conference on Mathematical Foundations of Programming Semantics, 18-20 June 2025, Glasgow (Scotland)
- CfP: UNILOG 2025: 8th World Congress and School on Universal Logic, 4-14 Dec 2025, Cusco (Peru)
- CfP: TACPS - 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems co-located with CAV, 21 July 2025, Zagreb (Croatia)
- CfN: Beth Outstanding Dissertation Prize 2025 – Deadline April 15, 2025 (AoE)
- CfP: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
- CfA: Two PhD Positions in Computer Science, University of Sussex (UK), Deadline April 25, 2025
Received: 2025-03-17:
- CfP: Studies in Lewis Carroll’s Logic (Springer, 2026), deadline: 15 May 2025
- CfP: Education Track – Theoretical Computer Science Education, 16 April, Strathclyde (UK), deadline: 17 March 2025
- CfP: WIL - Women in Logic 2025 – colocated with FSCD 2025, 14 July, Birmingham (UK),
- CfP: KogWis 2025 – Conference on Cognitive Science, 1–3 September, Bochum (Germany), deadline: 15 April 2025
- CfP: KR 2025 – Workshops & Tutorials, 11–13 November, Melbourne (Australia)
- CfN: KR Distinguished Service Award, Deadline: May 20
Received: 2025-03-14:
- CfR: Saharon Shelah 80th Birthday Conference & VOrST Workshop, 14–18 July 2025, Vienna (Austria)
- CfP: WACA 2025 – Workshop on Adaptable Cloud Architectures - co-located with DisCoTec, 20 June 2025, Lille (France)
- CfP: FOIS 2025 – Int’l Conference on Formal Ontology in Information Systems, 8–12 September, Catania (Italy)
- CfP: Special Track on Integration of Logical Constraints in Deep Learning, JAIR, deadline: 31 May 2025
- CfA: Postdoc Position in Verification of Multi-Agent Systems, Télécom Paris (France), deadline: 31 March 2025
- CfA: 7 PhD Computer Science (Logic, Security, Forensics) & 3 in Law, FAU Erlangen-Nürnberg (Germany), deadline: 1 April 2025
Received: 2025-03-13:
- CfP: MCMP Summer School for Widening Participation in Mathematical Philosophy, 28 July – 1 August 2025, Munich (Germany)
- CfP: CLIRAI 2025 – Special Session on Computational Linguistics, Information & AI, DCAI 2025, 25–27 June, Lille (France)
- CfP: Kurt Gödel Award 2025 – Essay Contest on Gödel’s Work, deadline: 30 June 2025
- CfP: Special Issue on The Contradictory God – Paraconsistent & Glut-Theoretic Approaches, TheoLogica, deadline: 1 December 2025
- CfP: FroCoS 2025 – 15th Int’l Symposium on Frontiers of Combining Systems, 27 Sept – 3 Oct 2025, Reykjavik (Iceland), deadline: 12 May 2025
- CfA: Fully Funded PhD Position in Theoretical Computer Science, Barcelona (Spain), deadline: 15 March 2025
Received: 2025-03-12:
- CfN: Dov Gabbay Prize for Logic and Foundations 2025 (Philosophical Logic), deadline: 31 March 2025
- CfP/A: Mentoring Scheme & Special Issue on Wittgenstein & Formal Sciences (Kriterion [TBC]), deadline: 15 April 2025
- CfA: Junior Group Leader, Postdoc & PhD Positions in CogSci/Pragmatics/NLP, University of Tübingen (Germany), deadline: 15 March 2025
- CfA: PhD Position in Theoretical Computer Science, Universitat Pompeu Fabra (Spain), deadline: 15 April 2025
- CfA: Researcher Position (24 months) in Applied Ontology & Sustainability, PTH Brixen (Italy), deadline: 21 March 2025
- CfA: PhD & Postdoc Positions in Bilateral AI, Cluster of Excellence (Austria), multiple locations
Received: 2025-03-03:
- CfN: VCLA International Student Awards 2025 – Outstanding Theses in Logic & Computer Science, deadline: 20 April 2025
- CfA: Postdoc Position in Game Theory & Verification, University of Liverpool (UK), deadline: 30 March 2025
- CfA: Postdoc Position in Theoretical Computer Science, King’s College London (UK), deadline: 17 April 2025
- CfA: Research Fellowships at Institute Vienna Circle at the University of Vienna (Austria), Sept 2025 – Feb 2026, deadline: 31 March 2025
- CfA: Researcher Position (24 months) in Applied Ontology & Sustainability, PTH Brixen (Italy), deadline: 21 March 2025
- CfA: Assistant Professor in Mathematics (Mathematical Logic), Stockholm University (Sweden), deadline: 15 April 2025
Received: 2025-02-18:
- CfR: Workshop on Generality and Impredicativity, 26 February 2025, Vita-Salute San Raffaele University (Italy)
- CfP: RV 2025 – 25th Int’l Conference on Runtime Verification, 15–19 September 2025, Graz (Austria)
- CfP: HAR 2025: 4th Int’l Conference on Human and Artificial Rationality, 16–19 September 2025, Paris (France)
- CfA: Postdoc Position in Verification of Multi-Agent Systems, Télécom Paris (France), deadline: 31 March 2025
- CfT: Tutorials & Workshops at KR 2025 – 22nd Int’l Conference on Knowledge Representation, 11-13 November 2025, Melbourne (Australia)
- Horst Luckhardt (21.3.1938-11.02.2025)
Received: 2025-02-16:
- CfP: BCTCS 2025 – British Colloquium for Theoretical Computer Science, 14–16 April 2025, Glasgow (Scotland)
- CfP: TYPES 2025 – 31st International Conference on Types for Proofs and Programs, 9–13 June 2025, Glasgow (Scotland)
- CfP: REVERSIBLE COMPUTATION 2025 – 17th International Conference on Reversible Computation, 3–4 July 2025, Odense (Denmark)
- CfA: 12-Month Postdoc in Philosophy – Project "Indeterminacy in Science" at LanCog, University of Lisbon (Portugal), Deadline: 20 February 2025
- CfP: CALCO 2025 – 11th International Conference on Algebra and Coalgebra in Computer Science, June 16-20, Strathclyde (UK)
Received: 2025-02-14:
- CfT: Tutorials at FOIS 2025 – 15th International Conference on Formal Ontology in Information Systems, 08-12 September, Catania (Italy)
- CfP: FSCD 2025 – 10th International Conference on Formal Structures for Computation and Deduction, 14-20 July, Birmingham (UK)
- CfP: North American Summer School for Logic/ Language/ and Information (NASSLLI 2025), 23-27 June, University of Washington (Seattle, USA)
- CfP: VERDI 2025 - 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, 23 June 2025, Naples (Italy)
- CfA: Senior Lecturer & Lecturer in Cyber Security, University of Surrey (UK), deadline: 12 March 2025
- CfA: Postdoc Position in Symbolic & Subsymbolic AI, Linz (Austria), start: June-November 2025
Received: 2025-02-07:
- CfP: ICCC 2025 – 16th International Conference on Computational Creativity, 23–27 June, Campinas (Brazil)
- CfP: 5th European Conference on Argumentation (ECA 2025), 23–26 September 2025, Warsaw (Poland)
- CfP: CAALM 2025 – Complexity, Algorithms, Automata and Logic meet, 2–6 June 2025, Paris (France)
- CfP: North American ASL Meeting – Special Session on Proof Assistants, 15–16 May 2025, Las Cruces (USA)
- CfP: FMCAD 2025 – 25th International Conference on Formal Methods in Computer-Aided Design, 6–10 October, Menlo Park (USA)
- Announcement: CoCoGEMS – AWM Research Network for Gender Minorities in Computability and Complexity
Received: 2025-02-06:
- CfP: Commemorating Frege: Logic and Philosophy of Mathematics, 10–12 September 2025, Lisbon (Portugal)
- CfR: The Inaugural Symposium on Logic in the Arab World, Kuwait University, Feb 17th-19th
- CfP: First Annual Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics, 12–13 June 2025, Paris (France)
- CfA: PhD position in Set Theory, Vienna (Austria), deadline: ?
- CfA: 3 Postdocs in Logic, Prague (Czech Republic), deadline: 31 March 2025
- Zoe Chatzidakis (1955-2025)
Received: 2025-02-05:
- CfP [extended deadline]: DisCoTec 2025 – 20th International Federated Conference on Distributed Computing Techniques, 16–20 June 2025, Lille (France)
- CfP: KI 2025: German AI Conference, 16–19 September, Potsdam (Germany)
- CfP: CCR 2025: International Conference on Computability/ Complexity and Randomness, 16–20 June, Bordeaux (France)
- CfP: BCTCS 2025: British Colloquium for Theoretical Computer Science, 14–16 April, Strathclyde (UK)
- CfP: JELIA 2025: European Conference on Logics in AI, 1–5 September, Kutaisi (Georgia)
- CfA: 3 Postdocs in Algebraic Logic, Denver (USA), deadline: 1 March
Received: 2025-01-28:
- CfEvents: RuleML+RR 2025 – Rule Challenge, Doctoral Consortium, Industry Track & Networking Session, 22–24 September 2025, Istanbul (Türkiye)
- CfP: 15th Tbilisi Symposium on Logic/ Language/ and Computation, 8–12 September 2025, Kutaisi (Georgia)
- CfP: CADE-30 (Automated Deduction), 28–31 July 2025, Stuttgart (Germany)
- CfP: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2025), 15–16 April, Genoa (Italy)
- CfP: REVERSIBLE COMPUTATION 2025, 17th International Conference, 3–4 July, Odense (Denmark),
- CfP: ICDT 2026 – International Conference on Database Theory, 29th Edition, 9–14 March 2026, Tampere (Finland)
Received: 2025-01-23:
- CfP: Workshop on Algorithms/ Complexity and Logic ("Theorietag"), 03–04 March, Jena (Germany)
- CfN: The Bill McCune PhD Award in Automated Reasoning 2025, deadline: 24 February 2025
- CfA: Postdoctoral Position in Epistemic Group Attitudes, Bern (Switzerland), deadline: 7 February 2025
- CfA: Two PhD postitions + one postdoc at KU Leuven, Leuven (Belgium), Deadline: March 6
- CfA: Ass. Prof. in Computer Science at Telecom SudParis, Paris (France), deadline: Feb 21
- CfA: 3y postdoc phil of physics / effective theories at MCMP, Munich (Germany), deadline: 23. February 2025
Received: 2025-01-19:
- CfP: Workshop on Theorem Proving and Machine Learning in the Age of LLMs, 7–8 April 2025, Edinburgh (UK),
- CfP: DEON 2025, 1–3 July 2025, TU Wien, Vienna (Austria)
- CfP: TABLEAUX 2025 – 34th Int. Conference on Automated Reasoning, 27 September–3 October 2025, Reykjavik (Iceland)
- CfP: C-FORS Summer School in Foundational Ontology, 20–23 May 2025, Oslo (Norway)
- CfP: SILFS Postgraduate Conference 2025, 11–13 June 2025, Turin (Italy)
- CfP: Recent Advances in The Philosophy of Logic, Routledge Collection
Received: 2025-01-17:
- CfP: Trimester Program on Definability, Decidability, and Computability, Hausdorff Institute, Bonn (Germany), September - December
- CfN: Dahl-Nygaard Junior and Senior Prizes 2025, deadline: 31 January 2025
- CfNominations: Dov Gabbay Prize for Logic and Foundations 2025, deadline: 31 March 2025
- CfA: PhD studentship in history and philosophy of theoretical physics/maths, St Andrews & Bonn (UK & Germany), deadline: 21 February 2025
- CfA: PhD position in Knowledge Representation and Reasoning, Luxembourg, deadline: 31 January 2025
- CfA: Postdoctoral Researcher in Philosophy of Science/Mathematics, Turin (Italy), deadline: 27 January 2025
Received: 2025-01-14:
- CfR: Online Round Table "Logic in All Its Dimensions", 14 Jan 2025, Online [WLD Event]
- CfR: Russian–Brazilian Colloquium on Logical Pluralism, 15 Jan, Online [WLD Event]
- CfP: CiE 2025 – Computability in Europe, 14-18 July, Lisbon (Portugal),
- CfP: LOGICA 2025 – 37th Int'l Symposium on Logic, 12-16 May, Hejnice (Czech Republic)
- CfP: 5th Symposium on Proof-Theoretic Semantics, 4-6 Feb 2025, London (UK)
- World Logic Day 2025 + GRAPHIC DESIGN CHALLENGE FOR WLD 2026 - Happy UNESCO World Logic Day 2025!
Received: 2025-01-13:
- CfR: Social Epistemology of Mathematics Workshop, 5-6 Feb 2025, Brussels (Belgium)
- CfR: Southern Summer Logic Day 2025 – Online Event Celebrating World Logic Day, 13/14 Jan 2025, Online
- CfP [extended deadline: LATD 2025: Logic-Algebra-and-Truth-Degrees-2025, 21-25 July, Siena (Italy)
- CfP: CLAR 2025: 6th Int'l Conference on Logic and Argumentation, 14-16 June 2025, Taiyuan (China)
- CfWorkshops & Tutorials: ECSQARU 2025: 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 23-26 Sept 2025, Hagen (Germany)
- CfA: PostDoc Position in Ethical Design for AI, University of Salento, Lecce (Italy), Deadline: 20 Jan 2025
Received: 2025-01-09:
- CfR: Vienna World Logic Day Lecture – Joao Marques-Silva on Trustable Explainable AI, 14 Jan 2025, Online [WLD Event]
- [correction] CfP: AWPL 2025: 7th Asian Workshop on Philosophical Logic at the Jadavpur University, 6-8 Feb 2025, Kolkata (India)
- [correction] CfP: ICLA 2025: Indian Conference on Logic and Its Applications, 3-5 Feb 2025, Kolkata (India)
- CfP: LORI-10: 10th Int'l Conference on Logic, Rationality, and Interaction, 16-19 Oct 2025, Xi’an (China)
- CfA: PostDoc Position in Formal Verification of Learning-Enabled Systems at Chalmers University, Gothenburg (Sweden), deadline: 20 Jan 2025
- Wolfram Pohlers (1943-2024)
Received: 2025-01-08:
Received: 2025-01-03:
- CfR: AAA107 – 107th Workshop on General Algebra, 20-22 June 2025, Bern (Switzerland)
- CfP: In Memoriam: Newton da Costa – UNILOG 2025 & Logic Prize Contest in His Honor, 4-14 Dec 2025, Cusco (Peru)
- CfP: ICGT 2025 – 18th Int'l Conference on Graph Transformation, 10-13 June 2025, Koblenz (Germany)
- CfP: Recent Trends in Logic and Game Theory, 11-12 Feb 2025, Chennai (India)
- CfA: PhD Scholarship in Logic and AI – DTU Compute, Lyngby (Denmark), Deadline: 1 Feb 2025
- CfA: 3-year postdoctoral positions in algebraic logic and proof theory at ICS CAS, Prague (Czechia), deadline: 15 January
Archived years:
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