math.logic  

Messages by Date

• 2025/07/21 [LOGIC] CfP [deadline soon]: KRPlan 2025 – Workshop on Knowledge Representation Meets Automated Planning, 11 November 2025, Melbourne (Australia) co-located with KR & ICAPS [LOGIC] Mailing List via Math.Logic
• 2025/07/21 [LOGIC] CfP: NeLaMKRR 2025 – 2nd Intl. Workshop on Language Models for KR & Reasoning, 11–13 November 2025, Melbourne (Australia) co-located with KR 2025 [LOGIC] Mailing List via Math.Logic
• 2025/07/21 [LOGIC] CfP [extended deadline]: Synthese Topical Collection on “120 Years of Russell’s ‘On Denoting’”, deadline: 30 September 2025 [LOGIC] Mailing List via Math.Logic
• 2025/07/21 [LOGIC] CfP: XLoKR 2025 – 6th Workshop on Explainable Logic-Based KR, within 11-13 November 2025, Melbourne (Australia) co-located with KR 2025, [LOGIC] Mailing List via Math.Logic
• 2025/07/21 [LOGIC] CfA: Postdoc in AI (incl. Logic), 3y LEAD AI Fellowship, University of Bergen (Norway), deadline: 10 September 2025 [LOGIC] Mailing List via Math.Logic
• 2025/07/21 [LOGIC] CfA/P: 3rd Louis Couturat Logic Prize - application deadline: 15 September 2025 [LOGIC] Mailing List via Math.Logic
• 2025/07/14 [LOGIC] CfR: FSCD 2025 – 10th International Conference on Formal Structures for Computation and Deduction, 15–18 July 2025, Free Online Participation [LOGIC] Mailing List via Math.Logic
• 2025/07/14 [LOGIC] CfR: 2nd Workshop on Contradictory Logics, 12–13 September 2025, Bochum (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/07/14 [LOGIC] CfR: Proof Society Summer School and Workshop 2025, 1–5 September 2025, Ghent (Belgium) [LOGIC] Mailing List via Math.Logic
• 2025/07/14 [LOGIC] CfP: CCC 2025 – Continuity, Computability, Constructivity: From Logic to Algorithms, 1–3 September 2025, Swansea (UK) [LOGIC] Mailing List via Math.Logic
• 2025/07/14 [LOGIC] CfP: Launch of Symbolic Computation and Machine Learning (Call for Papers) [LOGIC] Mailing List via Math.Logic
• 2025/07/14 [LOGIC] CfP [extended]: FCAI 2025 – Foundations and Future of Change in Artificial Intelligence, 25/26 October 2025, Bologna (Italy) co-located with ECAI 2025 [LOGIC] Mailing List via Math.Logic
• 2025/07/11 [LOGIC] CfP: Modalities and Quantification in Reasoning Workshop, 18–19 September 2025, Central European University (Austria) [LOGIC] Mailing List via Math.Logic
• 2025/07/11 [LOGIC] CfP [Extended Deadline]: IWLP-4 – International Workshop on Logic and Philosophy: Social Norms, 1–2 November 2025, Beijing (China) [LOGIC] Mailing List via Math.Logic
• 2025/07/11 [LOGIC] CfP [Deadline Extended]: NMR 2025 – 23rd Intl. Workshop on Nonmonotonic Reasoning, 11–13 November 2025, Melbourne (Australia), co-located with KR 2025 [LOGIC] Mailing List via Math.Logic
• 2025/07/11 [LOGIC] CfA: 2 Postdoc Positions in Homotopy Type Theory, University of Nottingham (UK), deadline: 25 July 2025 [LOGIC] Mailing List via Math.Logic
• 2025/07/11 [LOGIC] CfA: PhD Positions in Formal Methods and Planning, Gothenburg (Sweden), deadline: August 15 [LOGIC] Mailing List via Math.Logic
• 2025/07/11 [LOGIC] CfA: Doctoral/Postdoctoral Position in Formal Methods and Verification, Konstanz (Germany), deadline: 30 August 2025 [LOGIC] Mailing List via Math.Logic
• 2025/06/24 [LOGIC] CfP: Australasian Association for Logic Conference 2025, 3–7 November 2025, Brisbane (Australia) and Zoom [LOGIC] Mailing List via Math.Logic
• 2025/06/24 [LOGIC] CfA: Professor or Associate Professor Position in Computer Science (Promotion Programme), Roskilde University (Denmark), deadline: 7 September 2025 [LOGIC] Mailing List via Math.Logic
• 2025/06/24 [LOGIC] CfP: XLoKR 2025 – 6th Workshop on Explainable Logic-Based Knowledge Representation, 11–13 November 2025, Melbourne (Australia), co-located with KR 2025 [LOGIC] Mailing List via Math.Logic
• 2025/06/24 [LOGIC] CfR: CONFEST 2025 – CONCUR, FMICS, QEST+FORMATS & Workshops, 25–30 August 2025, Aarhus (Denmark) [LOGIC] Mailing List via Math.Logic
• 2025/06/24 [LOGIC] CfP: FSTTCS 2025 – 45th Conference on Foundations of Software Technology and Theoretical Computer Science, 17–19 December 2025, Goa (India) [LOGIC] Mailing List via Math.Logic
• 2025/06/24 [LOGIC] CfP: [Move of dates!] Workshop in the History of Logic, 28–29 October 2025, Naples (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/06/24 [LOGIC] CfA: PhD Position in Formal Models of Collective Reasoning, IRIT – Toulouse University (France), start: Oct 2025, deadline: 14 July 2025 [LOGIC] Mailing List via Math.Logic
• 2025/06/20 [LOGIC] CfR: FSCD 2025 – 10th International Conference on Formal Structures for Computation and Deduction, 14–20 July 2025, Birmingham (UK) [LOGIC] Mailing List via Math.Logic
• 2025/06/20 [LOGIC] CfR: Dutch Formal Methods Day 2025, 26 June 2025, Amsterdam (Netherlands) [LOGIC] Mailing List via Math.Logic
• 2025/06/20 [LOGIC] CfP [extended deadline]: JAIR Special Track on Integration of Logical Constraints in Deep Learning, Deadline: 30 September 2025 [LOGIC] Mailing List via Math.Logic
• 2025/06/20 [LOGIC] CfP: JAF 44 – Weak Arithmetics Days, 8–10 September 2025, Prague (Czech Republic) [LOGIC] Mailing List via Math.Logic
• 2025/06/20 [LOGIC] CfP [extended deadline]: Summer School on Ethical Design for AI – Logic for the AI Spring 3, 1–5 September 2025, Lecce (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/06/17 [LOGIC] Announcement: M.A. Programme 'History & Philosophy of Science and Logic' at Ruhr Uni Bochum - Info Event 25 June [LOGIC] Mailing List via Math.Logic
• 2025/06/17 [LOGIC] CfP: FoSSaCS 2026 – 29th International Conference on Foundations of Software Science and Computation Structures, 11–16 April 2026, Turin (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/06/17 [LOGIC] CfP: OVERLAY 2025 – 7th Intl. Workshop on AI and Formal Methods, 25/26 October 2025, Bologna (Italy) co-located with ECAI 2025 [LOGIC] Mailing List via Math.Logic
• 2025/06/17 [LOGIC] CfP: IFIP WG 1.6 Meeting on Rewriting, 19 July 2025, Birmingham (UK), co-located with FSCD 2025 [LOGIC] Mailing List via Math.Logic
• 2025/06/17 [LOGIC] CfP: Workshop in the History of Logic – 22–23 October 2025, Naples (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/06/17 [LOGIC] CfP: CPP 2026 – International Conference on Certified Programs and Proofs, 12–13 January 2026, Rennes (France), co-located with POPL 2026 [LOGIC] Mailing List via Math.Logic
• 2025/06/15 [LOGIC] CfP: LoStaN 2025 – 1st International Workshop on Logic/ Statistical and Neural AI, September 2025 (co-located with JELIA 2025), Tbilisi (Georgia) [LOGIC] Mailing List via Math.Logic
• 2025/06/15 [LOGIC] CfP: JURIX 2025 – 38th International Conference on Legal Knowledge and Information Systems, 9–11 December 2025, Turin (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/06/15 [LOGIC] CfP [extended deadline]: RuleML+RR 2025 – 9th International Joint Conference on Rules and Reasoning, 22–24 September 2025, İstanbul (Türkiye) [LOGIC] Mailing List via Math.Logic
• 2025/06/15 [LOGIC] CfP: WoLLIC 2025 – 31st Workshop on Logic, Language, Information and Computation, 14–17 July 2025, Porto (Portugal) [LOGIC] Mailing List via Math.Logic
• 2025/06/15 [LOGIC] CfP: RP 2025 – 19th International Conference on Reachability Problems, 1–3 October 2025, Madrid (Spain) [LOGIC] Mailing List via Math.Logic
• 2025/06/15 [LOGIC] CfP: LENLS21 – Logic and Engineering of Natural Language Semantics, 28–30 November 2025, Nagoya (Japan) [LOGIC] Mailing List via Math.Logic
• 2025/06/14 [LOGIC] CfP: ETAPS 2026 – 29th International Joint Conferences on Theory and Practice of Software, 11–16 April 2026, Turin (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/06/14 [LOGIC] CfR: Feminist Logic Workshop, 29–30 August 2025, Ruhr University Bochum (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/06/14 [LOGIC] CfP: 7WFTop – 7th Workshop on Formal Topology: From Topology to Dynamic Constructivism and Back, 13–17 April 2026, Venice (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/06/14 [LOGIC] CfP: Ethical Design for AI – Logic for the AI Spring 3, Conference & Summer School, 1–5 September 2025, Lecce (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/06/14 [LOGIC] CfP: 3rd Workshop on Relating Logic, within: 22.-26. September 2025, Toruń (Poland) [LOGIC] Mailing List via Math.Logic
• 2025/06/14 [LOGIC] CfP: TPLC 2025 – Taiwan Philosophical Logic Colloquium, 23–25 October 2025, Taipei (Taiwan) [LOGIC] Mailing List via Math.Logic
• 2025/06/10 [LOGIC] CfR: Logic Colloquium 2025 – European Summer Meeting of the Association for Symbolic Logic, 7–11 July 2025, Vienna (Austria) [LOGIC] Mailing List via Math.Logic
• 2025/06/10 [LOGIC] CfR: Peter Aczel Memorial Conference & British Logic Colloquium 2025, 10–12 September 2025, Manchester (UK) [LOGIC] Mailing List via Math.Logic
• 2025/06/10 [LOGIC] CfP: WLP 2025 – 39th Workshop on (Constraint and Functional) Logic Programming co-located with DECLARE 2025, 24 Sep 2025, Évora (Portugal) [LOGIC] Mailing List via Math.Logic
• 2025/06/10 [LOGIC] CfP: FM 2026 – 27th international symposium on Formal Method, 20–22 May 2026, Tokyo (Japan) [LOGIC] Mailing List via Math.Logic
• 2025/06/10 [LOGIC] CfP: PRIMA 2025 – 26th Intl. Conf. on Principles and Practice of Multi-Agent Systems, 15–21 Dec 2025, Modena (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/06/10 [LOGIC] CfA: PhD Position in Logics for Multi-Agent Systems, Utrecht University (Netherlands), deadline: 6 July 2025 [LOGIC] Mailing List via Math.Logic
• 2025/06/02 [LOGIC] CfP: 8th International Conference "Kazakh-French Logical Colloquium", 24–27 June 2025, Astana (Kazakhstan) [LOGIC] Mailing List via Math.Logic
• 2025/06/02 [LOGIC] CfR: School on Symbolic and Statistical Methods, 7–11 July 2025, Kutaisi (Georgia) [LOGIC] Mailing List via Math.Logic
• 2025/06/02 [LOGIC] CfR: HirstFest: Combinatorics in Subsystems of Second-Order Arithmetic, 9 August 2025, Vienna (Austria) [LOGIC] Mailing List via Math.Logic
• 2025/06/02 [LOGIC] CfP: Autumn School “Proof and Computation”, 14–20 September 2025, Herrsching (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/06/02 [LOGIC] CfP: Young Set Theory Workshop 2025, 8–12 September, Vienna (Austria) [LOGIC] Mailing List via Math.Logic
• 2025/06/02 [LOGIC] CfP: DEON 2025 - The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), 01–03 July 2025, Vienna (Austria) [LOGIC] Mailing List via Math.Logic
• 2025/05/28 [LOGIC] CfA: 10 PhD positions in Turin (Italy), Deadline: June 16th [LOGIC] Mailing List via Math.Logic
• 2025/05/28 [LOGIC] CfP [deadline extension]: Proof Society Summer School and Workshop, 1–5 September 2025, Ghent (Belgium) [LOGIC] Mailing List via Math.Logic
• 2025/05/28 [LOGIC] CfP: LORI-10 – 10th Int’l Conf. on Logic, Rationality and Interaction (short papers), 16–19 October 2025, Xi’an (China) [LOGIC] Mailing List via Math.Logic
• 2025/05/28 [LOGIC] CfP: CSL 2026 - Computer Science Logic, 23–28 February 2026, Paris (France) [LOGIC] Mailing List via Math.Logic
• 2025/05/28 [LOGIC] CfP: RV 2025 - Runtime Verification, 15–19 September 2025, Graz (Austria) [LOGIC] Mailing List via Math.Logic
• 2025/05/28 [LOGIC] CfP [deadline extension]: JELIA 2025 – 19th European Conference on Logics in AI, 1–5 September 2025, Kutaisi (Georgia) co-located with TbiLLC 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/27 [LOGIC] CfA: Postdoc in Theoretical Computer Science (HOMBRe Project), University of Birmingham (UK), deadline: rolling applications [LOGIC] Mailing List via Math.Logic
• 2025/05/27 [LOGIC] CfA: PhD Positions in Mathematical and Physical Sciences, University of Udine (Italy), deadline: 20 June 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/27 [LOGIC] CfP: Topical Collection Of Synthese On “120 Years of Russell’s ‘On Denoting’”, deadline: 31 August 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/27 [LOGIC] CfP [extended deadline]: 4th International Frege Conference, 15–20 Sep 2025, Wismar (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/05/27 [LOGIC] CfA: Postdoc Position in Mathematical Logic (2 years), Darmstadt (Germany), deadline: 27.06.2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/27 [LOGIC] CfA: PhD position in Programming Languages and Logic at Leiden University (NL), deadline: 30 June 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/16 [LOGIC] CfR: ESSLLI 2025 – 36th European Summer School in Logic, Language and Information, 28 July–8 August 2025, Bochum (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/05/16 [LOGIC] CfR: IUSS Philosophy Workshop – Mathematical Concepts: Analysis, Definitions and Explications, 05–06 June 2025, Pavia (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/05/16 [LOGIC] CfP: ICCC'25 Workshop on Computational Design and Computer-aided Creativity, 18–21 June 2025, Online & Campinas (Brazil) [LOGIC] Mailing List via Math.Logic
• 2025/05/16 [LOGIC] CfP: FoIKS 2026 – 14th Intl. Symposium on Foundations of Information and Knowledge Systems, 23–26 March 2026, Hannover (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/05/16 [LOGIC] CfP: MCLP – Intl. Conf. on Mathematical and Computational Linguistics for Proofs, 15–18 September 2025, Orsay (France) [LOGIC] Mailing List via Math.Logic
• 2025/05/16 [LOGIC] CfN: Pavlos Peppas KR Distinguished Service Award – Nominations due 20 May 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/15 [LOGIC] CfP: XLoKR 2025 – 6th Workshop on Explainable Logic-Based Knowledge Representation, 11–13 November 2025, Melbourne (Australia) co-located with KR 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/15 [LOGIC] CfP: 4th International Frege Conference, 15–20 September 2025, Wismar (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/05/15 [LOGIC] CfP: ReacTS 2025 – Special Issue on Reconfigurable Transition Systems of the Journal of Applied Logics, deadline: 15 June 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/15 [LOGIC] CfP: PODS 2026 – Principles of Database Systems, 31 May–5 June 2026, Bengaluru (India) [LOGIC] Mailing List via Math.Logic
• 2025/05/15 [LOGIC] CfP: Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/15 [LOGIC] CfP: FCR 2025 – 11th Workshop on Formal and Cognitive Reasoning, 16 September 2025, Potsdam (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfA: 9 PhD Positions in Research Methods in Science & Technology (Logic/Philosophy/History of Science), Urbino (Italy), deadline: 10 June 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfR: 8th Workshop on Generalized Descriptive Set Theory, 20–22 August 2025, Helsinki (Finland) [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfP: RuleML+RR 2025 – 9th Int’l Joint Conference on Rules and Reasoning, 22–24 September 2025, Istanbul (Türkiye) [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfP: Weidenbach'60 – First-Order Reasoning, Below and Beyond, 01 August 2025, Stuttgart (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfA: Fully-Funded PhD in Explainable Reasoning & Argumentative AI, CRIL – Université d'Artois (France), start: October 2025, deadline: asap [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfA: PhD Position at Free University of Bozen-Bolzano in cooperation with Sony CSL Barcelona, Bozen-Bolzano (Italy), deadline: 11 June 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfP [extended deadline]: ECSQARU 2025: 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 23-26 Sept 2025, Hagen (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfP: SemDial 2025 – Bialogue: 29th Workshop on the Semantics and Pragmatics of Dialogue, 3–5 September 2025, Bielefeld (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfP [deadline extension]: SMT 2025, 23rd International Workshop on Satisfiability Modulo Theories, 10–11 August 2025, Glasgow (UK) [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfA: Fully Funded PhD Position in Logic/ Database Theory & Semiring Semantics, Tartu (Estonia), deadline: 15 May 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] CfA: PhD Position in Runtime Monitoring for AI-based Autonomy, Chalmers University of Technology (Sweden), deadline: 15 May 2025 [LOGIC] Mailing List via Math.Logic
• 2025/05/13 [LOGIC] Einar Fredriksson (1942–2025) [LOGIC] Mailing List via Math.Logic
• 2025/05/06 [LOGIC] CfP: WIL - Women in Logic 2025 – colocated with FSCD 2025, 14 July, Birmingham (UK), [LOGIC] Mailing List via Math.Logic
• 2025/05/06 [LOGIC] CfR: YURIFEST 2025, 20–22 June 2025, Online + Munich (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/05/06 [LOGIC] CfA: PhD/ Postdoc & Developer Positions – InOVationCS ERC Project, Brno (Czech Republic), deadline: asap [LOGIC] Mailing List via Math.Logic
• 2025/05/06 [LOGIC] CfA: 2 PhD-position in Proof-Theoretic Semantics, UCL - London (UK), deadline: asap [LOGIC] Mailing List via Math.Logic
• 2025/05/06 [LOGIC] CfA: PhD in Knowledge Representation and Reasoning, University of Luxembourg, deadline: May 15 [LOGIC] Mailing List via Math.Logic
• 2025/05/06 [LOGIC] CfA: Assistant Professor in Logic/Philosophy, Gdańsk (Poland), deadline: 23 May [LOGIC] Mailing List via Math.Logic
• 2025/05/02 [LOGIC] CfR: Logic Mentoring Workshop (LMW@LICS 2025), 23 June 2025, Singapore (Singapore) [LOGIC] Mailing List via Math.Logic
• 2025/05/02 [LOGIC] CfR: Synthetic mathematics, logic-affine computation and efficient proof systems, 8–12 September 2025, Marseille (France) [LOGIC] Mailing List via Math.Logic
• 2025/05/02 [LOGIC] CfP: JELIA 2025 - European Conference on Logics in AI, 1–5 September 2025, Kutaisi (Georgia) [LOGIC] Mailing List via Math.Logic
• 2025/05/02 [LOGIC] CfP: Online Handbook of Argumentation for AI at European Conference on Argumentation 2025 / Summer School, 17–20 September 2025, Poznań (Poland) [LOGIC] Mailing List via Math.Logic
• 2025/05/02 [LOGIC] CfP: TABLEAUX 2025: Automated Reasoning with Analytic Tableaux and Related Methods, 27 September–3 October 2025, Reykjavik (Iceland) [LOGIC] Mailing List via Math.Logic
• 2025/05/02 [LOGIC] CfP: TKR 2025: The First International Workshop on Trends in Knowledge Representation and Reasoning, 16–18 August 2025, Montreal (Canada) [LOGIC] Mailing List via Math.Logic
• 2025/04/29 [LOGIC] CfR: Models and Theories – Book Symposium on Roman Frigg's Philosophical Inquiry, 3–4 May 2025, Potsdam (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/04/29 [LOGIC] CfP: Logic and Philosophy of Time - Volume 7, deadline 30 June 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/29 [LOGIC] CfA: PhD & Postdoc Positions in Safe and Reliable AI-based Systems, Chalmers University of Technology (Sweden), deadlines 15 & 25 May 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/29 [LOGIC] CfP: CCA 2025 – 22nd International Conference on Computability and Complexity in Analysis, 24–26 September 2025, Kyoto (Japan) [LOGIC] Mailing List via Math.Logic
• 2025/04/29 [LOGIC] Paweł M. Idziak [LOGIC] Mailing List via Math.Logic
• 2025/04/29 [LOGIC] Peter Andrews [LOGIC] Mailing List via Math.Logic
• 2025/04/27 [LOGIC] CfR: Workshop on the Philosophy of Set Theory, 7–9 May 2025, Pisa (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/04/27 [LOGIC] CfR: Cracow Logic Conference (CLoCk 2025), 24–27 June 2025, Kraków (Poland) [LOGIC] Mailing List via Math.Logic
• 2025/04/27 [LOGIC] CfP: iFM 2025, 20th International Conference on Integrated Formal Methods, 19–21 November 2025, Paris (France) [LOGIC] Mailing List via Math.Logic
• 2025/04/27 [LOGIC] CfP: RADICAL 2025: Concurrency & Logic, August 25, Aarhus (Denmark) - co-located with CONCUR 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/27 [LOGIC] CfP: VORTEX 2025, 8th International Workshop on Verification and Monitoring at Runtime Execution, 4 July 2025, Bergen (Norway) [LOGIC] Mailing List via Math.Logic
• 2025/04/27 [LOGIC] CfP: PRIMA 2025 - 26th International Conference on Principles and Practice of Multi-Agent Systems, 15–21 December 2025, Modena (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/04/24 [LOGIC] CfN: KR Early Career Award awarded at KR 2025 (Australia), deadline 30 April 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/24 [LOGIC] CfP: NMR 2025: 23rd International Workshop on Nonmonotonic Reasoning, 11-13 November 2025, Melbourne (Australia) [LOGIC] Mailing List via Math.Logic
• 2025/04/24 [LOGIC] CfP: FCAI 2025: Foundations and Future of Change in Artificial Intelligence Workshop @ ECAI, 25/26 October 2025, Bologna (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/04/24 [LOGIC] CfP: SMT 2025, 23rd International Workshop on Satisfiability Modulo Theories, 10–11 August 2025, Glasgow (UK) [LOGIC] Mailing List via Math.Logic
• 2025/04/24 [LOGIC] CfP: IWLP-4: Fourth International Workshop on Logic and Philosophy ‘Social Norms: Logical Structures and Philosophical Foundations’, 1-2 November 2025, Beijing (China) [LOGIC] Mailing List via Math.Logic
• 2025/04/24 [LOGIC] CfP: Synthese Topical Collection – Feminist Logic, Deadline: 1 October 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/23 [LOGIC] CfR: The Syntax and Semantics of Formalisations in Philosophy (SSFP), 27.-28.06.25, Munich (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/04/23 [LOGIC] CfR: [today!] Livestream to the Colloquium in Memoriam of Thomas Streicher, 23 April 2025, Germany (online/live stream) [LOGIC] Mailing List via Math.Logic
• 2025/04/23 [LOGIC] CfR: Peter Aczel Memorial Conference & British Logic Colloquium, 10-12 September 2025, Manchester (UK) [LOGIC] Mailing List via Math.Logic
• 2025/04/23 [LOGIC] CfR: CIRM Conference "Synthetic mathematics/ logic-affine computation and efficient proof systems", 8-12 September 2025, Marseille Luminy (France) [LOGIC] Mailing List via Math.Logic
• 2025/04/23 [LOGIC] CfA: Postdoc in Computational Social Choice, 2 years, Amsterdam (Netherlands), deadline: 22.05.2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/16 [LOGIC] CfP: Feminist Logic, 29-30 August 2025, Bochum (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/04/16 [LOGIC] 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) [LOGIC] Mailing List via Math.Logic
• 2025/04/16 [LOGIC] CfN: Ackermann Award, Deadline: July 1 [LOGIC] Mailing List via Math.Logic
• 2025/04/16 [LOGIC] CfA: 4 Tenure-Track Professorships (female applicants only), Johannes Kepler University Linz (Austria), deadline: likely May 28 [LOGIC] Mailing List via Math.Logic
• 2025/04/16 [LOGIC] CfA: PhD Position in Formal Methods (Symbolic Reactive Synthesis on Planning Domains), Chalmers University of Technology - Gothenburg (Sweden), deadline: 15 May [LOGIC] Mailing List via Math.Logic
• 2025/04/16 [LOGIC] CfA: PhD Position in Logic - Databases - and Semiring Semantics, Tartu (Estonia), deadline: 15 Mai [LOGIC] Mailing List via Math.Logic
• 2025/04/09 [LOGIC] CfN: VCLA International Student Awards, deadline: 20 April 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/09 [LOGIC] CfR: Special Colloqium in Memomory of Thomas Streicher, 23.04., Darmstadt (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/04/09 [LOGIC] CfP: DaLí 2025 – 6th Workshop on Dynamic Logic, 20–21 October 2025, Xi'an (Shaanxi Province, China) [LOGIC] Mailing List via Math.Logic
• 2025/04/09 [LOGIC] CfP: Logic and Meaning – Colloquium on Gottlob Frege’s Legacy, 1–4 October 2025, Online [LOGIC] Mailing List via Math.Logic
• 2025/04/09 [LOGIC] CfP: NALOMA 2025 - Natural Logic Meets Machine Learning, 4–8 August 2025, Bochum (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/04/09 [LOGIC] CfA: Assistant/Associate Professor Position in Computer Science, Télécom SudParis (France), Deadline: 18 April 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/07 [LOGIC] CfR: Webinar on Logic Education by Maria Manzano, 8 April, Online [LOGIC] Mailing List via Math.Logic
• 2025/04/07 [LOGIC] CfP: Dutch Formal Methods Day 2025, June 26, Amsterdam (The Netherlands) [LOGIC] Mailing List via Math.Logic
• 2025/04/07 [LOGIC] CfP: AAA107 – 107th Workshop on General Algebra + 2 Mini Courses, 18 - 20 + 20–22 June 2025, Bern (Switzerland) [LOGIC] Mailing List via Math.Logic
• 2025/04/07 [LOGIC] CfP: ECSQARU 2025 – 18th European Conference on Reasoning under Uncertainty, 23–26 Sept 2025, Hagen (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/04/07 [LOGIC] Announcement: Resignation of MLQ editorial board / launch of new diamond OA journal ZML [LOGIC] Mailing List via Math.Logic
• 2025/04/07 [LOGIC] CfA: 6 PhD Positions: Cyclic Structures in Programs and Proofs, The Netherlands, Deadline: May 23 [LOGIC] Mailing List via Math.Logic
• 2025/04/05 [LOGIC] CfP: FMCAD 2025 – Formal Methods in Computer-Aided Design, 6–10 October 2025, Menlo Park (USA) [LOGIC] Mailing List via Math.Logic
• 2025/04/05 [LOGIC] CfA: 3 Postdoctoral Positions in Logic – ICS CAS, Prague (Czech Republic), Deadline: 31 March 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/05 [LOGIC] CfP: Masterclass in the Philosophy of Mathematical Practices with Michael Barany, 18–20 June 2025, Brussels (Belgium) [LOGIC] Mailing List via Math.Logic
• 2025/04/05 [LOGIC] CfA: PhD Studentships in Logic (Ecumenical Systems, Proof-Theoretic Semantics), London (UK), Deadline: Start before end of July 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/05 [LOGIC] CfA: Postdoc in Philosophy of Mathematics and/or Linguistics in the MATHY Project, Archives Poincaré Nancy (France), Deadline: 30 April 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/04 [LOGIC] CfP: LFPSI'25 - 1st International School on Logical Frameworks and Proof Systems Interoperability, Orsay (France), 8-11 September 2025, [LOGIC] Mailing List via Math.Logic
• 2025/04/04 [LOGIC] CfP: AITP 2025 - 3rd International Workshop on Artificial Intelligence and Theorem Proving, Aussois (France), 31 August - 5 September 2025 [LOGIC] Mailing List via Math.Logic
• 2025/04/01 [LOGIC] CfR: 8th Workshop on Generalized Descriptive Set Theory, 20–22 August 2025, Helsinki (Finland) [LOGIC] Mailing List via Math.Logic
• 2025/04/01 [LOGIC] CfP: TCA2025- Celebrating Peter Cameron, 29 June – 3 July 2025, Évora (Portugal) [LOGIC] Mailing List via Math.Logic
• 2025/04/01 [LOGIC] CfP: CONCUR 2025, 26–29 August 2025, Aarhus (Denmark) [LOGIC] Mailing List via Math.Logic
• 2025/04/01 [LOGIC] CfP: Logic Colloquium 2025, 7–11 July 2025, Vienna (Austria) [LOGIC] Mailing List via Math.Logic
• 2025/04/01 [LOGIC] CfP (deadline extension): VERDI 2025 – 3rd Intl. Workshop on Verification & Validation of Dependable CPS, 23 June 2025, Naples (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/03/31 [LOGIC] CfP: TKR 2025 – 1st International Workshop on Trends in Knowledge Representation and Reasoning, 16–18 August 2025, Melbourne (Australia) [LOGIC] Mailing List via Math.Logic
• 2025/03/31 [LOGIC] CfP: PPDP 2025 – 27th International Symposium on Principles and Practice of Declarative Programming, 10–11 September 2025, Rende (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/03/31 [LOGIC] CfP: MFPS 2025 – 41st Conference on Mathematical Foundations of Programming Semantics, 18–20 June 2025, Glasgow (UK) [LOGIC] Mailing List via Math.Logic
• 2025/03/31 [LOGIC] CfP: RW 2025 – 21st Reasoning Web Summer School and co-located events (industry track - networking - doctoral consotrium - challenge), 25–28 September 2025, Istanbul (Turkey) [LOGIC] Mailing List via Math.Logic
• 2025/03/31 [LOGIC] CfP: ISD9 – 9th Image Schema Day at JOWO 2025, 8–9 September 2025, Catania (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/03/31 [LOGIC] CfN: KR 2025 Test of Time Award – Call for Nominations, Deadline: 20 May 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/28 [LOGIC] CfA: PhD Position “Can we agree to disagree?”, LAMSADE – Paris Dauphine University (France), Deadline: 20 April 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/28 [LOGIC] CfP: LoMaDi 2025 – Workshop on Logical and Mathematical Diagrams, 15–16 September 2025, Leuven (Belgium) [LOGIC] Mailing List via Math.Logic
• 2025/03/28 [LOGIC] CfP: LOPSTR 2025 – 35th International Symposium on Logic-Based Program Synthesis and Transformation, 9–10 September 2025, Rende (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/03/28 [LOGIC] CfP: Deduktionstreffen 2025 (part of CADE-30), 1 August 2025, Stuttgart (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/03/28 [LOGIC] CfA: Postdoctoral Position (18m) in Philosophy of Mathematics – ICS CAS, Prague (Czech Republic), Start: October 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/25 [LOGIC] CfP: 8th International Meeting of the Association for the Philosophy of Mathematical Practice, 12–15 January 2026, Chapman University (CA, USA) [LOGIC] Mailing List via Math.Logic
• 2025/03/25 [LOGIC] CfP: Special Issue of Philosophia Scientiae – "The Contingency of Mathematical Proofs and Results?", Deadline: 1 August 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/25 [LOGIC] CfR: Workshop on Homotopy Type Theory and Univalent Foundations, 15–16 April 2025, Genoa (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/03/25 [LOGIC] CfP: TIME 2025 – 32nd International Symposium on Temporal Representation and Reasoning, 27–29 August 2025, London (UK) [LOGIC] Mailing List via Math.Logic
• 2025/03/19 [LOGIC] CfP: HAR 2025 - 4th International Conference on Human and Artificial Rationality, Paris (France), 16-19 September 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/19 [LOGIC] CfA: PhD Positions in Computational Mathematics and Mathematics, Stockholm (Sweden), Deadline: 22 April 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/19 [LOGIC] CfA: 2-3 PhD/Postdoc Positions in Mathematical Logic, Würzburg (Germany), Deadline: 25 April 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/18 [LOGIC] CfN: Beth Outstanding Dissertation Prize 2025 – Deadline April 15, 2025 (AoE) [LOGIC] Mailing List via Math.Logic
• 2025/03/18 [LOGIC] CfA: Two PhD Positions in Computer Science, University of Sussex (UK), Deadline April 25, 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/18 [LOGIC] CfP: MFPS XLI (MFPS 2025) – 41st Conference on Mathematical Foundations of Programming Semantics, 18-20 June 2025, Glasgow (Scotland) [LOGIC] Mailing List via Math.Logic
• 2025/03/18 [LOGIC] CfP: UNILOG 2025: 8th World Congress and School on Universal Logic, 4-14 Dec 2025, Cusco (Peru) [LOGIC] Mailing List via Math.Logic
• 2025/03/18 [LOGIC] CfP: TACPS - 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems co-located with CAV, 21 July 2025, Zagreb (Croatia) [LOGIC] Mailing List via Math.Logic
• 2025/03/18 [LOGIC] CfP: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/03/17 [LOGIC] CfP: KogWis 2025 – Conference on Cognitive Science, 1–3 September, Bochum (Germany), deadline: 15 April 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/17 [LOGIC] CfP: WIL - Women in Logic 2025 – colocated with FSCD 2025, 14 July, Birmingham (UK), [LOGIC] Mailing List via Math.Logic
• 2025/03/17 [LOGIC] CfP: Studies in Lewis Carroll’s Logic (Springer, 2026), deadline: 15 May 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/17 [LOGIC] CfP: Education Track – Theoretical Computer Science Education, 16 April, Strathclyde (UK), deadline: 17 March 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/17 [LOGIC] CfP: KR 2025 – Workshops & Tutorials, 11–13 November, Melbourne (Australia) [LOGIC] Mailing List via Math.Logic
• 2025/03/17 [LOGIC] CfN: KR Distinguished Service Award, Deadline: May 20 [LOGIC] Mailing List via Math.Logic
• 2025/03/15 [LOGIC] CfP: WACA 2025 – Workshop on Adaptable Cloud Architectures - co-located with DisCoTec, 20 June 2025, Lille (France) [LOGIC] Mailing List via Math.Logic
• 2025/03/15 [LOGIC] CfP: Special Track on Integration of Logical Constraints in Deep Learning, JAIR, deadline: 31 May 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/15 [LOGIC] CfR: Saharon Shelah 80th Birthday Conference & VOrST Workshop, 14–18 July 2025, Vienna (Austria) [LOGIC] Mailing List via Math.Logic
• 2025/03/14 [LOGIC] CfP: FOIS 2025 – Int’l Conference on Formal Ontology in Information Systems, 8–12 September, Catania (Italy) [LOGIC] Mailing List via Math.Logic
• 2025/03/14 [LOGIC] CfA: Postdoc Position in Verification of Multi-Agent Systems, Télécom Paris (France), deadline: 31 March 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/14 [LOGIC] CfA: 7 PhD Computer Science (Logic, Security, Forensics) & 3 in Law, FAU Erlangen-Nürnberg (Germany), deadline: 1 April 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/13 [LOGIC] CfP: MCMP Summer School for Widening Participation in Mathematical Philosophy, 28 July – 1 August 2025, Munich (Germany) [LOGIC] Mailing List via Math.Logic
• 2025/03/13 [LOGIC] CfP: FroCoS 2025 – 15th Int’l Symposium on Frontiers of Combining Systems, 27 Sept – 3 Oct 2025, Reykjavik (Iceland), deadline: 12 May 2025 [LOGIC] Mailing List via Math.Logic
• 2025/03/13 [LOGIC] CfP: CLIRAI 2025 – Special Session on Computational Linguistics, Information & AI, DCAI 2025, 25–27 June, Lille (France) [LOGIC] Mailing List via Math.Logic

• Earlier messages