math.logic  

Messages by Thread

• [LOGIC] CfA: PhD Position “Can we agree to disagree?”, LAMSADE – Paris Dauphine University (France), Deadline: 20 April 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: LoMaDi 2025 – Workshop on Logical and Mathematical Diagrams, 15–16 September 2025, Leuven (Belgium) [LOGIC] Mailing List via Math.Logic
• [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
• [LOGIC] CfP: Deduktionstreffen 2025 (part of CADE-30), 1 August 2025, Stuttgart (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Postdoctoral Position (18m) in Philosophy of Mathematics – ICS CAS, Prague (Czech Republic), Start: October 2025 [LOGIC] Mailing List via Math.Logic
• [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
• [LOGIC] CfP: Special Issue of Philosophia Scientiae – "The Contingency of Mathematical Proofs and Results?", Deadline: 1 August 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Workshop on Homotopy Type Theory and Univalent Foundations, 15–16 April 2025, Genoa (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: TIME 2025 – 32nd International Symposium on Temporal Representation and Reasoning, 27–29 August 2025, London (UK) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: HAR 2025 - 4th International Conference on Human and Artificial Rationality, Paris (France), 16-19 September 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PhD Positions in Computational Mathematics and Mathematics, Stockholm (Sweden), Deadline: 22 April 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: 2-3 PhD/Postdoc Positions in Mathematical Logic, Würzburg (Germany), Deadline: 25 April 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfN: Beth Outstanding Dissertation Prize 2025 – Deadline April 15, 2025 (AoE) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Two PhD Positions in Computer Science, University of Sussex (UK), Deadline April 25, 2025 [LOGIC] Mailing List via Math.Logic
• [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
• [LOGIC] CfP: UNILOG 2025: 8th World Congress and School on Universal Logic, 4-14 Dec 2025, Cusco (Peru) [LOGIC] Mailing List via Math.Logic
• [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
• [LOGIC] CfP: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: KogWis 2025 – Conference on Cognitive Science, 1–3 September, Bochum (Germany), deadline: 15 April 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: WIL - Women in Logic 2025 – colocated with FSCD 2025, 14 July, Birmingham (UK), [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Studies in Lewis Carroll’s Logic (Springer, 2026), deadline: 15 May 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Education Track – Theoretical Computer Science Education, 16 April, Strathclyde (UK), deadline: 17 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: KR 2025 – Workshops & Tutorials, 11–13 November, Melbourne (Australia) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfN: KR Distinguished Service Award, Deadline: May 20 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: WACA 2025 – Workshop on Adaptable Cloud Architectures - co-located with DisCoTec, 20 June 2025, Lille (France) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Special Track on Integration of Logical Constraints in Deep Learning, JAIR, deadline: 31 May 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Saharon Shelah 80th Birthday Conference & VOrST Workshop, 14–18 July 2025, Vienna (Austria) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: FOIS 2025 – Int’l Conference on Formal Ontology in Information Systems, 8–12 September, Catania (Italy) [LOGIC] Mailing List via Math.Logic
• [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
• [LOGIC] CfP: MCMP Summer School for Widening Participation in Mathematical Philosophy, 28 July – 1 August 2025, Munich (Germany) [LOGIC] Mailing List via Math.Logic
• [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
• [LOGIC] CfP: CLIRAI 2025 – Special Session on Computational Linguistics, Information & AI, DCAI 2025, 25–27 June, Lille (France) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Kurt Gödel Award 2025 – Essay Contest on Gödel’s Work, deadline: 30 June 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Special Issue on The Contradictory God – Paraconsistent & Glut-Theoretic Approaches, TheoLogica, deadline: 1 December 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Fully Funded PhD Position in Theoretical Computer Science, Barcelona (Spain), deadline: 15 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PhD Position in Theoretical Computer Science, Universitat Pompeu Fabra (Spain), deadline: 15 April 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Junior Group Leader, Postdoc & PhD Positions in CogSci/Pragmatics/NLP, University of Tübingen (Germany), deadline: 15 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP/A: Mentoring Scheme & Special Issue on Wittgenstein & Formal Sciences (Kriterion [TBC]), deadline: 15 April 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfN: Dov Gabbay Prize for Logic and Foundations 2025 (Philosophical Logic), deadline: 31 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PhD & Postdoc Positions in Bilateral AI, Cluster of Excellence (Austria), multiple locations [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Postdoc Position in Game Theory & Verification, University of Liverpool (UK), deadline: 30 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Postdoc Position in Theoretical Computer Science, King’s College London (UK), deadline: 17 April 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfN: VCLA International Student Awards 2025 – Outstanding Theses in Logic & Computer Science, deadline: 20 April 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Research Fellowships at Institute Vienna Circle at the University of Vienna (Austria), Sept 2025 – Feb 2026, deadline: 31 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Researcher Position (24 months) in Applied Ontology & Sustainability, PTH Brixen (Italy), deadline: 21 March 2025 [LOGIC] Mailing List via Math.Logic
  • [LOGIC] CfA: Researcher Position (24 months) in Applied Ontology & Sustainability, PTH Brixen (Italy), deadline: 21 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Assistant Professor in Mathematics (Mathematical Logic), Stockholm University (Sweden), deadline: 15 April 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Workshop on Generality and Impredicativity, 26 February 2025, Vita-Salute San Raffaele University (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: RV 2025 – 25th Int’l Conference on Runtime Verification, 15–19 September 2025, Graz (Austria) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: HAR 2025: 4th Int’l Conference on Human and Artificial Rationality, 16–19 September 2025, Paris (France) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfT: Tutorials & Workshops at KR 2025 – 22nd Int’l Conference on Knowledge Representation, 11-13 November 2025, Melbourne (Australia) [LOGIC] Mailing List via Math.Logic
• [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
  • [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
• [LOGIC] Horst Luckhardt (21.3.1938-11.02.2025) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: TYPES 2025 – 31st International Conference on Types for Proofs and Programs, 9–13 June 2025, Glasgow (Scotland) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: BCTCS 2025 – British Colloquium for Theoretical Computer Science, 14–16 April 2025, Glasgow (Scotland) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: REVERSIBLE COMPUTATION 2025 – 17th International Conference on Reversible Computation, 3–4 July 2025, Odense (Denmark) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: CALCO 2025 – 11th International Conference on Algebra and Coalgebra in Computer Science, June 16-20, Strathclyde (UK) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: 12-Month Postdoc in Philosophy – Project "Indeterminacy in Science" at LanCog, University of Lisbon (Portugal), Deadline: 20 February 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: FSCD 2025 – 10th International Conference on Formal Structures for Computation and Deduction, 14-20 July, Birmingham (UK) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfT: Tutorials at FOIS 2025 – 15th International Conference on Formal Ontology in Information Systems, 08-12 September, Catania (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: North American Summer School for Logic/ Language/ and Information (NASSLLI 2025), 23-27 June, University of Washington (Seattle, USA) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: VERDI 2025 - 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, 23 June 2025, Naples (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Senior Lecturer & Lecturer in Cyber Security, University of Surrey (UK), deadline: 12 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Postdoc Position in Symbolic & Subsymbolic AI, Linz (Austria), start: June-November 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR Heyting Day 2025 – Models of Intuitionism and Computability, 14 March, Amsterdam (Netherlands) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Philosophy of Logic/ Mathematics/ and Physics Graduate Conference, 5–6 June 2025, Western University (Canada) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: TSD 2025 – 28th International Conference on Text, Speech and Dialogue, 25–28 August, Erlangen-Nürnberg (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: NALOMA 2025 – Natural Logic Meets Machine Learnin co-located with ESSLLI, 28 July–8 August, Bochum (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfN: 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation, deadline: 31 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] Announcement: The Reasoner now Diamond Open Access at Milan University Press [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: CAALM 2025 – Complexity, Algorithms, Automata and Logic meet, 2–6 June 2025, Paris (France) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: 5th European Conference on Argumentation (ECA 2025), 23–26 September 2025, Warsaw (Poland) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: North American ASL Meeting – Special Session on Proof Assistants, 15–16 May 2025, Las Cruces (USA) [LOGIC] Mailing List via Math.Logic
• [LOGIC] Announcement: CoCoGEMS – AWM Research Network for Gender Minorities in Computability and Complexity [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: FMCAD 2025 – 25th International Conference on Formal Methods in Computer-Aided Design, 6–10 October, Menlo Park (USA) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Commemorating Frege: Logic and Philosophy of Mathematics, 10–12 September 2025, Lisbon (Portugal) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: The Inaugural Symposium on Logic in the Arab World, Kuwait University, Feb 17th-19th [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: First Annual Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics, 12–13 June 2025, Paris (France) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: 3 Postdocs in Logic, Prague (Czech Republic), deadline: 31 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PhD position in Set Theory, Vienna (Austria), deadline: ? [LOGIC] Mailing List via Math.Logic
• [LOGIC] Zoe Chatzidakis (1955-2025) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP [extended deadline]: DisCoTec 2025 – 20th International Federated Conference on Distributed Computing Techniques, 16–20 June 2025, Lille (France) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: KI 2025: German AI Conference, 16–19 September, Potsdam (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: CCR 2025: International Conference on Computability/ Complexity and Randomness, 16–20 June, Bordeaux (France) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: BCTCS 2025: British Colloquium for Theoretical Computer Science, 14–16 April, Strathclyde (UK) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: JELIA 2025: European Conference on Logics in AI, 1–5 September, Kutaisi (Georgia) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: 3 Postdocs in Algebraic Logic, Denver (USA), deadline: 1 March [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2025), 15–16 April, Genoa (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: 15th Tbilisi Symposium on Logic/ Language/ and Computation, 8–12 September 2025, Kutaisi (Georgia) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfEvents: RuleML+RR 2025 – Rule Challenge, Doctoral Consortium, Industry Track & Networking Session, 22–24 September 2025, Istanbul (Türkiye) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: CADE-30 (Automated Deduction), 28–31 July 2025, Stuttgart (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: REVERSIBLE COMPUTATION 2025, 17th International Conference, 3–4 July, Odense (Denmark), [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: ICDT 2026 – International Conference on Database Theory, 29th Edition, 9–14 March 2026, Tampere (Finland) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfN: The Bill McCune PhD Award in Automated Reasoning 2025, deadline: 24 February 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Workshop on Algorithms/ Complexity and Logic ("Theorietag"), 03–04 March, Jena (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Postdoctoral Position in Epistemic Group Attitudes, Bern (Switzerland), deadline: 7 February 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Ass. Prof. in Computer Science at Telecom SudParis, Paris (France), deadline: Feb 21 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Two PhD postitions + one postdoc at KU Leuven, Leuven (Belgium), Deadline: March 6 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: 3y postdoc phil of physics / effective theories at MCMP, Munich (Germany), deadline: 23. February 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Workshop on Theorem Proving and Machine Learning in the Age of LLMs, 7–8 April 2025, Edinburgh (UK), [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: DEON 2025, 1–3 July 2025, TU Wien, Vienna (Austria) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: TABLEAUX 2025 – 34th Int. Conference on Automated Reasoning, 27 September–3 October 2025, Reykjavik (Iceland) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: C-FORS Summer School in Foundational Ontology, 20–23 May 2025, Oslo (Norway) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: SILFS Postgraduate Conference 2025, 11–13 June 2025, Turin (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Recent Advances in The Philosophy of Logic, Routledge Collection [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Trimester Program on Definability, Decidability, and Computability, Hausdorff Institute, Bonn (Germany), September - December [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfN: Dahl-Nygaard Junior and Senior Prizes 2025, deadline: 31 January 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfNominations: Dov Gabbay Prize for Logic and Foundations 2025, deadline: 31 March 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PhD studentship in history and philosophy of theoretical physics/maths, St Andrews & Bonn (UK & Germany), deadline: 21 February 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PhD position in Knowledge Representation and Reasoning, Luxembourg, deadline: 31 January 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Postdoctoral Researcher in Philosophy of Science/Mathematics, Turin (Italy), deadline: 27 January 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Online Round Table "Logic in All Its Dimensions", 14 Jan 2025, Online [WLD Event] [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Russian–Brazilian Colloquium on Logical Pluralism, 15 Jan, Online [WLD Event] [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: CiE 2025 – Computability in Europe, 14-18 July, Lisbon (Portugal), [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: 5th Symposium on Proof-Theoretic Semantics, 4-6 Feb 2025, London (UK) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: LOGICA 2025 – 37th Int'l Symposium on Logic, 12-16 May, Hejnice (Czech Republic) [LOGIC] Mailing List via Math.Logic
• [LOGIC] World Logic Day 2025 + GRAPHIC DESIGN CHALLENGE FOR WLD 2026 - Happy UNESCO World Logic Day 2025! [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP [extended deadline: LATD 2025: Logic-Algebra-and-Truth-Degrees-2025, 21-25 July, Siena (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Southern Summer Logic Day 2025 – Online Event Celebrating World Logic Day, 13/14 Jan 2025, Online [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Social Epistemology of Mathematics Workshop, 5-6 Feb 2025, Brussels (Belgium) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: CLAR 2025: 6th Int'l Conference on Logic and Argumentation, 14-16 June 2025, Taiyuan (China) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfWorkshops & Tutorials: 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
• [LOGIC] CfA: PostDoc Position in Ethical Design for AI, University of Salento, Lecce (Italy), Deadline: 20 Jan 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Vienna World Logic Day Lecture – Joao Marques-Silva on Trustable Explainable AI, 14 Jan 2025, Online [WLD Event] [LOGIC] Mailing List via Math.Logic
• [LOGIC] [correction] CfP: AWPL 2025: 7th Asian Workshop on Philosophical Logic at the Jadavpur University, 6-8 Feb 2025, Kolkata (India) [LOGIC] Mailing List via Math.Logic
• [LOGIC] [correction] CfP: ICLA 2025: Indian Conference on Logic and Its Applications, 3-5 Feb 2025, Kolkata (India) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: LORI-10: 10th Int'l Conference on Logic, Rationality, and Interaction, 16-19 Oct 2025, Xi’an (China) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PostDoc Position in Formal Verification of Learning-Enabled Systems at Chalmers University, Gothenburg (Sweden), deadline: 20 Jan 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] Wolfram Pohlers (1943-2024) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: World Logic Day Lecture: Homo Ratiocinator (Reckoning Human), 14 January, Online [WLD-Event] [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: ICLA 2025: Indian Conference on Logic and its Applications, 3 - 5 Feb 2025, Kolkata (India) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: CONCUR 2025 – 36th Int'l Conference on Concurrency Theory, 25-30 Aug 2025, Aarhus (Denmark) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: JAIR Special Track: Integration of Logical Constraints in Deep Learning [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Seeking Two Volunteers for the Association for Logic Programming, deadline: 1 February [LOGIC] Mailing List via Math.Logic
• [LOGIC] Thomas Streicher (1958-2025) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: ICGT 2025 – 18th Int'l Conference on Graph Transformation, 10-13 June 2025, Koblenz (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: AAA107 – 107th Workshop on General Algebra, 20-22 June 2025, Bern (Switzerland) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: In Memoriam: Newton da Costa – UNILOG 2025 & Logic Prize Contest in His Honor, 4-14 Dec 2025, Cusco (Peru) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PhD Scholarship in Logic and AI – DTU Compute, Lyngby (Denmark), Deadline: 1 Feb 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: 3-year postdoctoral positions in algebraic logic and proof theory at ICS CAS, Prague (Czechia), deadline: 15 January [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Special Session on Mathematical Fuzzy Logic (SS03) – EUSFLAT 2025, 21-25 July 2025, Riga (Latvia), Deadline: 31 Jan 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Workshop on Realism and Anti-realism in Logic and Philosophy of Mathematics, 28-29 April 2025, Tübingen (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfSymposia: KogWis 2025 – Extended to 19 Jan 2025, 1-3 Sept 2025, Bochum (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: LATD 2025 – Logic Algebra and Truth Degrees, 21-25 July 2025, Siena (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: CiE 2025 – Computability in Europe, 14-18 July 2025, Lisbon (Portugal) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: BWMC 2025 – 21st Brainstorming Week on Membrane Computing, 22-24 Jan 2025, Sevilla (Spain) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: MFPS XLI: 41st Conference on Mathematical Foundations of Programming Semantics, 16-20 June 2025, Glasgow (Scotland) – Joint with CALCO [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: FSCD 2025: 10th Intational Conference on Formal Structures for Computation and Deduction, 14-20 July 2025, Birmingham (UK) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: ECOOP 2025: European Conference on Object-Oriented Programming, 30 June – 4 July 2025, Bergen (Norway) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: CALCO 2025 – 11th International Conference on Algebra and Coalgebra in Computer Science, 16-20 June 2025, Strathclyde (UK), Co-located with MFPS XLI [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Special Track on Integration of Logical Constraints in Deep Learning Of Journal of Artificial Intelligence Research, deadline: May 31 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfWorkshops: CONFEST 2025, 25-30 August 2025, Aarhus (Denmark) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: MFPS 2025: 41st Conference on Mathematical Foundations of Programming Semantics, 16-20 June 2025, Glasgow (Scotland) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: LOGICA 2025, 12-16 May 2025, Hejnice (Czech Republic) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Workshop on Homotopy Type Theory and Univalent Foundations, 15–16 April 2025, Genoa (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: AMAI Special Issue on Uncertainty and Reasoning in AI, deadline: 13 APril [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: ECA 2025: 5th European Conference on Argumentation, 23-26 September, Warsaw (Poland) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: One year postdoctoral position at University of Salento, Lecce (Italy), deadline: January 20 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: TYPES 2025: 31st International Conference on Types for Proofs and Programs, 9 - 13 June, Glasgow (Scotland) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfWorkshops: JOWO 2025 Episode XI: The Sicilian Summer under the Etna 08-09 September 2025 (Catania, Italy) – co-located with FOIS 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Heyting Day 2025 — Intuitionism and computability: symposium in honour of Jaap van Oosten, 14 March, Amsterdam (Netherlands) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Wittgenstein and the formal sciences 4, 10 January 2025, Online [World Logic Day Event] [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Southern Summer Logic Day, January 14 in AU/NZ, Online [World Logic Day Event] [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: DREXA: Dialogues-Reasoning-Ethics-Explainability-Argumentation @ Computing Conference 2025, 19 June 2025, London UK [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfN: SIGLOG Research Highlights, deadline: 1 January [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: FMBC25: 6th International Workshop on Formal Methods for Blockchains, 04 May 2025, Hamilton (ON/ Canada) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: RuleML+RR 2025: The 9th International Joint Conference on Rules and Reasoning , 22-24. September 25, Istanbul (Türkiye) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP [deadline soon]: CPP: Certified Programs and Proofs, 20-21. January, Hybrid: Online + Denver (USA) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PhD position on formalising Digital forensics, Heerlen (Netherlands), deadline: 12. January [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Formalize!(?) – 5: A philosophical & educational perspective on formalization in mathematics, January 15, Online, [World Logic Day Event] [LOGIC] Mailing List via Math.Logic
• [LOGIC] Southern Summer Logic Day, January 14 in AU/NZ, Online [World Logic Day Event] [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: ECSQARU'25: The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 23-26 September, Hagen (Germany) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP [deadline soon!]: Logic Mentoring Workshop (LMW@CSL’25) + scholarship application, 10 February, Amsterdam (Netherlands) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Guest Professorship at Würzburg [Germany], deadline: 28.02.2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PhD position on epistemic planning in Copenhagen, Denmark (DTU), deadline 1 February 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: LeaLog: CSL 2025 Workshop on Learning and Logic, 10 February 2025, Amsterdam (NL) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Postdoc position (1 year - 70%) in logic at CEU, Vienna (Austria), deadline: 31 December [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: ICCC'25: The 16th International Conference on Computational Creativity, 23-27 June, Campinas (Brazil) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: LATD 2025: Logic/ Algebra and Truth Degrees 2025, 21-25 July, Siena (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: FSCD 2025: Formal Structures for Computation and Deduction, 14-20 July 2025, Birmingham (UK) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: FOIS: 15th International Conference on Formal Ontology in Information Systems, 08-12 September 2025 (Catania, Italy), 04-05 September 2025 (online) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: LORI-10: 10th International Conference on Logic/ Rationality and Interaction, 16 - 19 October 2025, Xi'an (China) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: SILFS Postgraduate Conference 2025; 11-13 June 2025, Turin (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: (Post-)Doctoral Positions at Chapman U, Orange (CA / USA), deadline: Jan 15 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: CoNLL 2025: 29th Conference on Computational Natural Language Learning, 31 July - 1 August 2025 (co-located with ACL), Vienna (Austria) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: SI of the Journal of Logic/ Language and Information on Variable-Sharing Properties (and Their Discontents), deadline April 30 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Chancellor's Fellow in Mathematically Structured Programming, Glasgow (Scotland / UK), deadline: 5 January [LOGIC] Mailing List via Math.Logic
• [LOGIC] UNESCO World Logic Day 2025 - Call for Events - 14 January 2025 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: SPIN 31st International Symposium on Model Checking Software, 7 - 8 May 2025, Hamilton (Canada) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Workshop on Homotopy Type Theory and Univalent Foundations, 15-16 April, Genoa (Italy) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: DisCoTec 2025: 20th International Federated Conference on Distributed Computing Techniques, 16-20 June 2025, Lille (France) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: PLACES 2025: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 4 May, Hamilton (Canada) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Dummett Centenary Conference, 29 June-1 July 2025, hybrid: Online + Oxford (UK) [LOGIC] Mailing List via Math.Logic
• [LOGIC] Max Cresswell (1939-2024) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: Doctoral program (with fellowships) in math/philosophy/physics at Chapman U, deadline: January 15 [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfR: Applications of Logic, 2 December, Bartislava (Slovakia) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: Workshop on Theorem Proving and Machine Learning, 7-8 April, Edinburgh (Scotland) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfP: NFM25: 17th NASA Formal Methods Symposium, 11-13 June, Hampton Roads (VA, USA) [LOGIC] Mailing List via Math.Logic
• [LOGIC] CfA: PhD Position in theoretical computer science, Birmingham (UK), deadline: 5 December [LOGIC] Mailing List via Math.Logic

• Earlier messages