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

• CfR: World Logic Day Lecture: Homo Ratiocinator (Reckoning Human), 14 January, Online [WLD-Event]
• CfP: CONCUR 2025 – 36th Int'l Conference on Concurrency Theory, 25-30 Aug 2025, Aarhus (Denmark)
• CfP: JAIR Special Track: Integration of Logical Constraints in Deep Learning
• CfA: Seeking Two Volunteers for the Association for Logic Programming, deadline: 1 February
• Thomas Streicher (1958-2025)

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