[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-06-24:
- CfR: CONFEST 2025 – CONCUR, FMICS, QEST+FORMATS & Workshops, 25–30 August 2025, Aarhus (Denmark)
- CfP: FSTTCS 2025 – 45th Conference on Foundations of Software Technology and Theoretical Computer Science, 17–19 December 2025, Goa (India)
- CfP: Australasian Association for Logic Conference 2025, 3–7 November 2025, Brisbane (Australia) and Zoom
- CfP: XLoKR 2025 – 6th Workshop on Explainable Logic-Based Knowledge Representation, 11–13 November 2025, Melbourne (Australia), co-located with KR 2025
- CfP: [Move of dates!] Workshop in the History of Logic, 28–29 October 2025, Naples (Italy)
- CfA: PhD Position in Formal Models of Collective Reasoning, IRIT – Toulouse University (France), start: Oct 2025, deadline: 14 July 2025
- CfA: Professor or Associate Professor Position in Computer Science (Promotion Programme), Roskilde University (Denmark), deadline: 7 September 2025
Received: 2025-06-20:
Received: 2025-06-17:
- Announcement: M.A. Programme 'History & Philosophy of Science and Logic' at Ruhr Uni Bochum - Info Event 25 June
- CfP: FoSSaCS 2026 – 29th International Conference on Foundations of Software Science and Computation Structures, 11–16 April 2026, Turin (Italy)
- CfP: OVERLAY 2025 – 7th Intl. Workshop on AI and Formal Methods, 25/26 October 2025, Bologna (Italy) co-located with ECAI 2025
- CfP: IFIP WG 1.6 Meeting on Rewriting, 19 July 2025, Birmingham (UK), co-located with FSCD 2025
- CfP: Workshop in the History of Logic – 22–23 October 2025, Naples (Italy)
- CfP: CPP 2026 – International Conference on Certified Programs and Proofs, 12–13 January 2026, Rennes (France), co-located with POPL 2026
Received: 2025-06-15:
- CfP [extended deadline]: RuleML+RR 2025 – 9th International Joint Conference on Rules and Reasoning, 22–24 September 2025, İstanbul (Türkiye)
- CfP: JURIX 2025 – 38th International Conference on Legal Knowledge and Information Systems, 9–11 December 2025, Turin (Italy)
- CfP: LoStaN 2025 – 1st International Workshop on Logic/ Statistical and Neural AI, September 2025 (co-located with JELIA 2025), Tbilisi (Georgia)
- CfP: WoLLIC 2025 – 31st Workshop on Logic, Language, Information and Computation, 14–17 July 2025, Porto (Portugal)
- CfP: RP 2025 – 19th International Conference on Reachability Problems, 1–3 October 2025, Madrid (Spain)
- CfP: LENLS21 – Logic and Engineering of Natural Language Semantics, 28–30 November 2025, Nagoya (Japan)
Received: 2025-06-14:
- CfR: Feminist Logic Workshop, 29–30 August 2025, Ruhr University Bochum (Germany)
- CfP: 7WFTop – 7th Workshop on Formal Topology: From Topology to Dynamic Constructivism and Back, 13–17 April 2026, Venice (Italy)
- CfP: ETAPS 2026 – 29th International Joint Conferences on Theory and Practice of Software, 11–16 April 2026, Turin (Italy)
- CfP: Ethical Design for AI – Logic for the AI Spring 3, Conference & Summer School, 1–5 September 2025, Lecce (Italy)
- CfP: TPLC 2025 – Taiwan Philosophical Logic Colloquium, 23–25 October 2025, Taipei (Taiwan)
- CfP: 3rd Workshop on Relating Logic, within: 22.-26. September 2025, Toruń (Poland)
Received: 2025-06-10:
- CfR: Peter Aczel Memorial Conference & British Logic Colloquium 2025, 10–12 September 2025, Manchester (UK)
- CfR: Logic Colloquium 2025 – European Summer Meeting of the Association for Symbolic Logic, 7–11 July 2025, Vienna (Austria)
- CfP: WLP 2025 – 39th Workshop on (Constraint and Functional) Logic Programming co-located with DECLARE 2025, 24 Sep 2025, Évora (Portugal)
- CfP: FM 2026 – 27th international symposium on Formal Method, 20–22 May 2026, Tokyo (Japan)
- CfP: PRIMA 2025 – 26th Intl. Conf. on Principles and Practice of Multi-Agent Systems, 15–21 Dec 2025, Modena (Italy)
- CfA: PhD Position in Logics for Multi-Agent Systems, Utrecht University (Netherlands), deadline: 6 July 2025
Received: 2025-06-02:
- CfR: School on Symbolic and Statistical Methods, 7–11 July 2025, Kutaisi (Georgia)
- CfR: HirstFest: Combinatorics in Subsystems of Second-Order Arithmetic, 9 August 2025, Vienna (Austria)
- CfP: Young Set Theory Workshop 2025, 8–12 September, Vienna (Austria)
- CfP: Autumn School “Proof and Computation”, 14–20 September 2025, Herrsching (Germany)
- CfP: 8th International Conference "Kazakh-French Logical Colloquium", 24–27 June 2025, Astana (Kazakhstan)
- CfP: DEON 2025 - The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), 01–03 July 2025, Vienna (Austria)
Received: 2025-05-28:
- CfA: 10 PhD positions in Turin (Italy), Deadline: June 16th
- CfP: LORI-10 – 10th Int’l Conf. on Logic, Rationality and Interaction (short papers), 16–19 October 2025, Xi’an (China)
- CfP [deadline extension]: Proof Society Summer School and Workshop, 1–5 September 2025, Ghent (Belgium)
- CfP: CSL 2026 - Computer Science Logic, 23–28 February 2026, Paris (France)
- CfP: RV 2025 - Runtime Verification, 15–19 September 2025, Graz (Austria)
- CfP [deadline extension]: JELIA 2025 – 19th European Conference on Logics in AI, 1–5 September 2025, Kutaisi (Georgia) co-located with TbiLLC 2025
Received: 2025-05-27:
- CfP: Topical Collection Of Synthese On “120 Years of Russell’s ‘On Denoting’”, deadline: 31 August 2025
- CfP [extended deadline]: 4th International Frege Conference, 15–20 Sep 2025, Wismar (Germany)
- CfA: Postdoc Position in Mathematical Logic (2 years), Darmstadt (Germany), deadline: 27.06.2025
- CfA: PhD Positions in Mathematical and Physical Sciences, University of Udine (Italy), deadline: 20 June 2025
- CfA: Postdoc in Theoretical Computer Science (HOMBRe Project), University of Birmingham (UK), deadline: rolling applications
- CfA: PhD position in Programming Languages and Logic at Leiden University (NL), deadline: 30 June 2025
Received: 2025-05-16:
- CfR: ESSLLI 2025 – 36th European Summer School in Logic, Language and Information, 28 July–8 August 2025, Bochum (Germany)
- CfR: IUSS Philosophy Workshop – Mathematical Concepts: Analysis, Definitions and Explications, 05–06 June 2025, Pavia (Italy)
- CfP: ICCC'25 Workshop on Computational Design and Computer-aided Creativity, 18–21 June 2025, Online & Campinas (Brazil)
- CfP: FoIKS 2026 – 14th Intl. Symposium on Foundations of Information and Knowledge Systems, 23–26 March 2026, Hannover (Germany)
- CfP: MCLP – Intl. Conf. on Mathematical and Computational Linguistics for Proofs, 15–18 September 2025, Orsay (France)
- CfN: Pavlos Peppas KR Distinguished Service Award – Nominations due 20 May 2025
Received: 2025-05-15:
- CfP: XLoKR 2025 – 6th Workshop on Explainable Logic-Based Knowledge Representation, 11–13 November 2025, Melbourne (Australia) co-located with KR 2025
- CfP: 4th International Frege Conference, 15–20 September 2025, Wismar (Germany)
- CfP: PODS 2026 – Principles of Database Systems, 31 May–5 June 2026, Bengaluru (India)
- CfP: ReacTS 2025 – Special Issue on Reconfigurable Transition Systems of the Journal of Applied Logics, deadline: 15 June 2025
- CfP: Proof Society Summer School and Workshop, 1-5 September 2025, Ghent, Belgium
- CfP: FCR 2025 – 11th Workshop on Formal and Cognitive Reasoning, 16 September 2025, Potsdam (Germany)
Received: 2025-05-14:
- CfR: 8th Workshop on Generalized Descriptive Set Theory, 20–22 August 2025, Helsinki (Finland)
- CfP: RuleML+RR 2025 – 9th Int’l Joint Conference on Rules and Reasoning, 22–24 September 2025, Istanbul (Türkiye)
- CfP: Weidenbach'60 – First-Order Reasoning, Below and Beyond, 01 August 2025, Stuttgart (Germany)
- CfA: Fully-Funded PhD in Explainable Reasoning & Argumentative AI, CRIL – Université d'Artois (France), start: October 2025, deadline: asap
- CfA: PhD Position at Free University of Bozen-Bolzano in cooperation with Sony CSL Barcelona, Bozen-Bolzano (Italy), deadline: 11 June 2025
- CfA: 9 PhD Positions in Research Methods in Science & Technology (Logic/Philosophy/History of Science), Urbino (Italy), deadline: 10 June 2025
Received: 2025-05-13:
- CfP [extended deadline]: ECSQARU 2025: 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 23-26 Sept 2025, Hagen (Germany)
- CfP [deadline extension]: SMT 2025, 23rd International Workshop on Satisfiability Modulo Theories, 10–11 August 2025, Glasgow (UK)
- CfP: SemDial 2025 – Bialogue: 29th Workshop on the Semantics and Pragmatics of Dialogue, 3–5 September 2025, Bielefeld (Germany)
- CfA: Fully Funded PhD Position in Logic/ Database Theory & Semiring Semantics, Tartu (Estonia), deadline: 15 May 2025
- CfA: PhD Position in Runtime Monitoring for AI-based Autonomy, Chalmers University of Technology (Sweden), deadline: 15 May 2025
- Einar Fredriksson (1942–2025)
Received: 2025-05-06:
- CfP: WIL - Women in Logic 2025 – colocated with FSCD 2025, 14 July, Birmingham (UK),
- CfR: YURIFEST 2025, 20–22 June 2025, Online + Munich (Germany)
- CfA: 2 PhD-position in Proof-Theoretic Semantics, UCL - London (UK), deadline: asap
- CfA: PhD/ Postdoc & Developer Positions – InOVationCS ERC Project, Brno (Czech Republic), deadline: asap
- CfA: PhD in Knowledge Representation and Reasoning, University of Luxembourg, deadline: May 15
- CfA: Assistant Professor in Logic/Philosophy, Gdańsk (Poland), deadline: 23 May
Received: 2025-05-02:
- CfR: Logic Mentoring Workshop (LMW@LICS 2025), 23 June 2025, Singapore (Singapore)
- CfR: Synthetic mathematics, logic-affine computation and efficient proof systems, 8–12 September 2025, Marseille (France)
- CfP: Online Handbook of Argumentation for AI at European Conference on Argumentation 2025 / Summer School, 17–20 September 2025, Poznań (Poland)
- CfP: JELIA 2025 - European Conference on Logics in AI, 1–5 September 2025, Kutaisi (Georgia)
- CfP: TKR 2025: The First International Workshop on Trends in Knowledge Representation and Reasoning, 16–18 August 2025, Montreal (Canada)
- CfP: TABLEAUX 2025: Automated Reasoning with Analytic Tableaux and Related Methods, 27 September–3 October 2025, Reykjavik (Iceland)
Received: 2025-04-29:
Received: 2025-04-27:
- CfR: Cracow Logic Conference (CLoCk 2025), 24–27 June 2025, Kraków (Poland)
- CfR: Workshop on the Philosophy of Set Theory, 7–9 May 2025, Pisa (Italy)
- CfP: iFM 2025, 20th International Conference on Integrated Formal Methods, 19–21 November 2025, Paris (France)
- CfP: RADICAL 2025: Concurrency & Logic, August 25, Aarhus (Denmark) - co-located with CONCUR 2025
- CfP: VORTEX 2025, 8th International Workshop on Verification and Monitoring at Runtime Execution, 4 July 2025, Bergen (Norway)
- CfP: PRIMA 2025 - 26th International Conference on Principles and Practice of Multi-Agent Systems, 15–21 December 2025, Modena (Italy)
Received: 2025-04-24:
- CfN: KR Early Career Award awarded at KR 2025 (Australia), deadline 30 April 2025
- CfP: NMR 2025: 23rd International Workshop on Nonmonotonic Reasoning, 11-13 November 2025, Melbourne (Australia)
- CfP: FCAI 2025: Foundations and Future of Change in Artificial Intelligence Workshop @ ECAI, 25/26 October 2025, Bologna (Italy)
- CfP: IWLP-4: Fourth International Workshop on Logic and Philosophy ‘Social Norms: Logical Structures and Philosophical Foundations’, 1-2 November 2025, Beijing (China)
- CfP: SMT 2025, 23rd International Workshop on Satisfiability Modulo Theories, 10–11 August 2025, Glasgow (UK)
- CfP: Synthese Topical Collection – Feminist Logic, Deadline: 1 October 2025
Received: 2025-04-23:
- CfR: [today!] Livestream to the Colloquium in Memoriam of Thomas Streicher, 23 April 2025, Germany (online/live stream)
- CfR: The Syntax and Semantics of Formalisations in Philosophy (SSFP), 27.-28.06.25, Munich (Germany)
- CfR: CIRM Conference "Synthetic mathematics/ logic-affine computation and efficient proof systems", 8-12 September 2025, Marseille Luminy (France)
- CfR: Peter Aczel Memorial Conference & British Logic Colloquium, 10-12 September 2025, Manchester (UK)
- CfA: Postdoc in Computational Social Choice, 2 years, Amsterdam (Netherlands), deadline: 22.05.2025
Received: 2025-04-16:
- CfP: Feminist Logic, 29-30 August 2025, Bochum (Germany)
- CfN: Ackermann Award, Deadline: July 1
- CfP: Joint Seventeenth French Philosophy of Mathematics Workshop and Second Conference of the European Society for the Philosophy of Mathematics, 15 - 17 October 2025, Paris (France)
- CfA: PhD Position in Formal Methods (Symbolic Reactive Synthesis on Planning Domains), Chalmers University of Technology - Gothenburg (Sweden), deadline: 15 May
- CfA: 4 Tenure-Track Professorships (female applicants only), Johannes Kepler University Linz (Austria), deadline: likely May 28
- CfA: PhD Position in Logic - Databases - and Semiring Semantics, Tartu (Estonia), deadline: 15 Mai
Received: 2025-04-09:
- CfR: Special Colloqium in Memomory of Thomas Streicher, 23.04., Darmstadt (Germany)
- CfP: Logic and Meaning – Colloquium on Gottlob Frege’s Legacy, 1–4 October 2025, Online
- CfP: DaLí 2025 – 6th Workshop on Dynamic Logic, 20–21 October 2025, Xi'an (Shaanxi Province, China)
- CfP: NALOMA 2025 - Natural Logic Meets Machine Learning, 4–8 August 2025, Bochum (Germany)
- CfN: VCLA International Student Awards, deadline: 20 April 2025
- CfA: Assistant/Associate Professor Position in Computer Science, Télécom SudParis (France), Deadline: 18 April 2025
Received: 2025-04-07:
- CfR: Webinar on Logic Education by Maria Manzano, 8 April, Online
- CfP: Dutch Formal Methods Day 2025, June 26, Amsterdam (The Netherlands)
- CfP: ECSQARU 2025 – 18th European Conference on Reasoning under Uncertainty, 23–26 Sept 2025, Hagen (Germany)
- CfP: AAA107 – 107th Workshop on General Algebra + 2 Mini Courses, 18 - 20 + 20–22 June 2025, Bern (Switzerland)
- Announcement: Resignation of MLQ editorial board / launch of new diamond OA journal ZML
- CfA: 6 PhD Positions: Cyclic Structures in Programs and Proofs, The Netherlands, Deadline: May 23
Received: 2025-04-01:
- CfR: 8th Workshop on Generalized Descriptive Set Theory, 20–22 August 2025, Helsinki (Finland)
- CfP: TCA2025- Celebrating Peter Cameron, 29 June – 3 July 2025, Évora (Portugal)
- CfP: CONCUR 2025, 26–29 August 2025, Aarhus (Denmark)
- CfP: Logic Colloquium 2025, 7–11 July 2025, Vienna (Austria)
- CfP (deadline extension): VERDI 2025 – 3rd Intl. Workshop on Verification & Validation of Dependable CPS, 23 June 2025, Naples (Italy)
- CfA: Postdoc in Philosophy of Mathematics and/or Linguistics in the MATHY Project, Archives Poincaré Nancy (France), Deadline: 30 April 2025
Received: 2025-03-31:
- CfP: PPDP 2025 – 27th International Symposium on Principles and Practice of Declarative Programming, 10–11 September 2025, Rende (Italy)
- CfP: MFPS 2025 – 41st Conference on Mathematical Foundations of Programming Semantics, 18–20 June 2025, Glasgow (UK)
- CfP: RW 2025 – 21st Reasoning Web Summer School and co-located events (industry track - networking - doctoral consotrium - challenge), 25–28 September 2025, Istanbul (Turkey)
- CfP: TKR 2025 – 1st International Workshop on Trends in Knowledge Representation and Reasoning, 16–18 August 2025, Melbourne (Australia)
- CfN: KR 2025 Test of Time Award – Call for Nominations, Deadline: 20 May 2025
- CfP: ISD9 – 9th Image Schema Day at JOWO 2025, 8–9 September 2025, Catania (Italy)
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