[LOGIC] List Mailing Archive 2024

Subscribe to the [LOGIC] list in order to receive information about conferences, job advertisements and logic-related news.

Archived years: 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: 2024-12-18:

• CfN: SIGLOG Research Highlights, deadline: 1 January
• CfP: FMBC25: 6th International Workshop on Formal Methods for Blockchains, 04 May 2025, Hamilton (ON/ Canada)
• CfP: DREXA: Dialogues-Reasoning-Ethics-Explainability-Argumentation @ Computing Conference 2025, 19 June 2025, London UK
• CfP: RuleML+RR 2025: The 9th International Joint Conference on Rules and Reasoning , 22-24. September 25, Istanbul (Türkiye)
• CfP [deadline soon]: CPP: Certified Programs and Proofs, 20-21. January, Hybrid: Online + Denver (USA)
• CfA: PhD position on formalising Digital forensics, Heerlen (Netherlands), deadline: 12. January

Received: 2024-12-17:

• CfR: Formalize!(?) – 5: A philosophical & educational perspective on formalization in mathematics, January 15, Online, [World Logic Day Event]
• Southern Summer Logic Day, January 14 in AU/NZ, Online [World Logic Day Event]
• CfP: ECSQARU'25: The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 23-26 September, Hagen (Germany)
• CfP [deadline soon!]: Logic Mentoring Workshop (LMW@CSL’25) + scholarship application, 10 February, Amsterdam (Netherlands)
• CfA: Guest Professorship at Würzburg [Germany], deadline: 28.02.2025
• CfA: PhD position on epistemic planning in Copenhagen, Denmark (DTU), deadline 1 February 2025

Received: 2024-12-06:

• CfP: ICCC'25: The 16th International Conference on Computational Creativity, 23-27 June, Campinas (Brazil)
• CfP: LATD 2025: Logic/ Algebra and Truth Degrees 2025, 21-25 July, Siena (Italy)
• CfP: FSCD 2025: Formal Structures for Computation and Deduction, 14-20 July 2025, Birmingham (UK)
• CfP: LeaLog: CSL 2025 Workshop on Learning and Logic, 10 February 2025, Amsterdam (NL)
• CfP: FOIS: 15th International Conference on Formal Ontology in Information Systems, 08-12 September 2025 (Catania, Italy), 04-05 September 2025 (online)
• CfA: Postdoc position (1 year - 70%) in logic at CEU, Vienna (Austria), deadline: 31 December

Received: 2024-12-04:

• CfP: LORI-10: 10th International Conference on Logic/ Rationality and Interaction, 16 - 19 October 2025, Xi'an (China)
• CfP: SILFS Postgraduate Conference 2025; 11-13 June 2025, Turin (Italy)
• CfP: CoNLL 2025: 29th Conference on Computational Natural Language Learning, 31 July - 1 August 2025 (co-located with ACL), Vienna (Austria)
• CfP: SI of the Journal of Logic/ Language and Information on Variable-Sharing Properties (and Their Discontents), deadline April 30
• CfA: (Post-)Doctoral Positions at Chapman U, Orange (CA / USA), deadline: Jan 15
• CfA: Chancellor's Fellow in Mathematically Structured Programming, Glasgow (Scotland / UK), deadline: 5 January

Received: 2024-12-02:

• UNESCO World Logic Day 2025 - Call for Events - 14 January 2025

Received: 2024-12-01:

• CfP: SPIN 31st International Symposium on Model Checking Software, 7 - 8 May 2025, Hamilton (Canada)
• CfP: Workshop on Homotopy Type Theory and Univalent Foundations, 15-16 April, Genoa (Italy)
• CfP: PLACES 2025: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 4 May, Hamilton (Canada)
• CfP: DisCoTec 2025: 20th International Federated Conference on Distributed Computing Techniques, 16-20 June 2025, Lille (France)
• CfP: Dummett Centenary Conference, 29 June-1 July 2025, hybrid: Online + Oxford (UK)
• Max Cresswell (1939-2024)

Received: 2024-11-28:

• CfR: Applications of Logic, 2 December, Bartislava (Slovakia)
• CfA: Doctoral program (with fellowships) in math/philosophy/physics at Chapman U, deadline: January 15
• CfP: Workshop on Theorem Proving and Machine Learning, 7-8 April, Edinburgh (Scotland)
• CfP: NFM25: 17th NASA Formal Methods Symposium, 11-13 June, Hampton Roads (VA, USA)
• CfA: PhD Position in theoretical computer science, Birmingham (UK), deadline: 5 December
• CfA: ERC-Funded PostDoc PostDoc position in certifying algorithms (proof logging) for combinatorial optimization, Leuven (Belgium), deadline: 06 Feb

Received: 2024-11-25:

• CfR: Overlay: 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis, 28-29 November, Bolzano (Italy)
• CfR: Utrecht Spring School "Forms of Knowledge and Values in Science and Society", 13-17 April 2025, Utrecht (NL)
• CfR: Dov Gabbay Prize Ceremony, 28 Nov, Online
• CfR: Marking the 35th Anniversary of AI and Math -- an AMS special session, 8 jan 2025, Seattle (USA)
• CfP [extended deadline]: The Innaugural Symposium on Logic Kuwait University, 18 and 19 February 2025, Kuwait (Kuwait)
• CfA: PhD Studentship Opportunity: Proof-Theoretic Semantics for Non-Classical and Modal Logics - Leverhulme ECUMENICAL Project, London (UK), Deadline: 3 February

Received: 2024-11-21:

• CfP: European Society for the Philosophy of Mathematics essay prize, deadline: 15 June 2025
• CfP: Workshop "Realism and anti-realism. Paradigms and research programmes in logic and the philosophy of mathematics", 28-29 April 2025, Tübingen (Germany)
• CfA: Postdoctoral and PhD Positions on the Czech Foundation Project INTERACT, Prague (Czech Republic), deadline: 15 February 2025
• CfA: PhD and postdoc positions in type theory, Nottingham (UK), deadline: December 15
• CfA: 2y postdoc in the ERC Project "Definable Algebraic Topology", Bologna (Italy), deadline: November 30
• CfA: Lecturer/Associate Professor in Computational Linguistics, London (UK), deadline: 31 December

Received: 2024-11-12:

• CfP: LAMAS&SR 2024: International Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning, 11. December, Online
• CfR: Fibonacci's Garden: The Epistemology and Ethics of Formal Methods in the sciences, November 25-26, Hybrid: Lübeck (Germany) + online
• CfWorkshops: FSCD 2025: Formal Structures for Computation and Deduction, 14-20 July 2025, Birmingham (UK)
• CfP: The Innaugural Symposium on Logic Kuwait University, 18 and 19 February 2025, Kuwait (Kuwait)
• CfP: The Syntax and Semantics of Formalisations in Philosophy, 27 - 28 June, Munich (Germany)
• CfA: PhD position in Logic and AI within the BILAI project “AI Alignment and Dialogues.”, Vienna (Austria), deadline: 28 November

Received: 2024-11-10:

• CfP: CiE 2025: Computability in Europe 2025, 14-18 July 2025, Lisbon (Portugal)
• CfP: CLAR 2025: the 6th International Conference on Logic and Argumentation, June 14 -16 2025, Taiyuan (China),
• CfP: DEON 2025: The 17th International Conference on Deontic Logic and Normative Systems, 30 June - 03 July 2025, Vienna (Austria)
• CfCourses: ESSAI 2025 : The 3rd European Summer School on Artificial Intelligence - ESSAI 2025, June 30 to July 4, 2025, Bratislava (Slovakia)
• CfA: Two Postdoctoral Research Positions in Human(e) AI, University of Amsterdam (NL), deadline: 13 December
• CfA: Short-term (up to 1y) research position Theoretical Political Science and Philosophy, Bamberg and Bayreuth (Germany), Deadline: November 15th, 2024

Received: 2024-11-06:

• Cfco-located events: CADE-30: The 30th International Conference on Automated Deduction (CADE-30), deadline November 11
• CfR: Summer School "Topology, dynamics, and logic in interaction". September 1 - 5, Cetraro (Italy)
• CfP: On "Neurosymbolic Generative Models" of Neurosymbolic Generative Models, deadline: 15 December
• CfP [extended deadline]: European Conference on Genetic Programming, 23-25 April 2025, Trieste (Italy)
• CfN: The Salomaa Prize in Automata Theory, Formal Languages, and Related Topics, deadline February 28
• CfA: Lecturer / Associate Prof in Computational Linguistics at UCL in London, deadline: December 31

Received: 2024-11-05:

• Announcement: PoSeT Group Online Seminar on the philosophy of set theory.
• CfR: Workshop: Recent Work on Authoritative and Formal Normativity, , 23-24 January 2025, Heidelberg (Germany)
• CfP: "Open problems in Substructural Logics” Women in PLEXUS, 4 - 6 December 2024, University of Turin (Italy)
• CfA: 13 - 3y doctoral candidates, Research Training Group "Contradiction Studies—Constellations, Heuristics and Concepts of the Contradictory" in Bremen, deadline: November 29
• CfA: 1+1 y postdoc, "Between proof theory, reverse mathematics, and the model theory of arithmetic" in Warsaw, deadline: November 16
• CfP [deadline tomorrow]: Eighteenth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, January 25 - 26, Cambridge (UK)

Received: 2024-10-16:

• CfP: The Syntax and Semantics of Formalisations in Philosophy, 27-28 June 2025, Munich (Germany)
• CfP [deadline extended]: FSEN '25: Fundamentals of Software Engineering 2025 , 7-8 April, Västerås (Sweden)
• CfP: CiE 2025: Computability in Europe 2025, 14-18 July 2025, Lisbon (Portugal)
• CfA: Postdoc position in epistemology of machine learning (3y), Munich (Germany), deadline: 1. December

Received: 2024-10-10:

• CfR: AAL info Brisbane Logic Workshop, 22 October, Queensland/Zoom
• CfP: REACTS'24 - International Workshop on Reconfigurable Transition Systems, Nov 4-5, Aveiro (Portugal)
• CfP: Joint conference IACAP + AISB, 1-3 July 2025, Twente (Netherlands)
• CfP: EuroGP 2025: 28th European Conference on Genetic Programming, 23-25 April, Trieste (Italy)
• CfP: The Inaugural Symposium in Logic in the Arab World, 18-19 February 2025, Kuwait University (Kuwait)
• CfA: Expression of interest for postdoc in theoretical computer science/ logic and artificial intelligence, Warsaw (Poland), deadline: October 30

Received: 2024-10-09:

• CfR: KCL conference on Philosophy of Mathematics, Oct 28-29, London (UK)
• CfP: CADE-30: 30th international Conference on Automated Deduction, July 28 - August 2, Stuttgart (Germany)
• CfP: LMPST + APPSA 2025 joint conference, 17-19 June 2025, Taipei (Taiwan)
• CfP: NFM25: NASA Formal Methods Symposium, 11-13 June 2025, Hampton Roads (VA / USA)
• CfP: ETAPS 2025: 28th ETAPS International Joint Conferences On Theory and Practice of Software, 3-8 May 2025, Hamilton (Canada)

Received: 2024-10-07:

• CfProposals: Courses for the 2025 NASSLLI (23-27 June 2025), deadline: Nov 12
• CfP: XXI Brazilian Logic Conference + Logic school (EBL 2025), 9. - 16 May, Serra Negra / São Paulo City (Brazil)
• CfP: ANU Logic Summer School, 2 – 13 Dez 2024, Canberra / Ngunnawal and Ngambri Country (Australia)
• CfP: LAMAS&SR 2024: International Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning, 11 December, Online
• CfP: Workshop: The Puzzle of Social Behavior: Game Theory and Beyond, 3-5 April 2025, Bielefeld (Germany)
• CfP: "Recent Advances in The Philosophy of Logic" (routledge) for junior scholars, deadline: 1 März 2025

Received: 2024-10-06:

• Announcement: ExtenDD Seminar Series
• Announcement: "History of Logic" Seminar Series (hybrid: Naples + online)
• Announcement: Dov Gabbay Prize 2024 - The Winners
• CfA: Research Fellowship 1y (Borsa di Ricerca) in Probability and Logic, University of Cagliari (Canada), deadline: October 17
• CfA: PhD Positions on Multiagent Systems and related areas, Warwick (UK), deadline: Nov 1
• CfA: PhD position on "reasoning in game-playing" at IRIT, University Toulouse Capitole (France), deadline: Oct 30

Received: 2024-09-23:

• CfP: SCSS 2025: RTG ‘Situated Cognition’ Spring School 2025, 24-27 March 2025, Bochum (Germany)
• CfP: EuroGP 2025 - the 28th European Conference on Genetic Programming, 23-25 April 2025, Trieste (Italy)
• CfP: ICFNDS 2024: The 8th International Conference on Future Networks & Distributed Systems, 11-12 Dec, Marrakech (Morocco)
• CfP: ICTAC 2024: 21st International Colloquium on Theoretical Aspects of Computing, 25-29 November 2024, Bangkok (Thailand)
• CfA: 3 tenured Asst. Prof. at the Department of Computing, Jonkoping (Sweden), Deadline: 30 Sept
• CfA: PhD position in Logic and Complexity, Sheffield (UK), Deadline: 30 September 2024

Received: 2024-09-19:

• CfP: STACS'25: 42nd International Symposium on Theoretical Aspects of Computer Science, March 4-7, Jena (Germany)
• CfP [Extended deadline]: SPIRIT24@AIxIA: 3rd Workshop on Strategies/ Prediction/ Interaction/and Reasoning in Italy, Nov 26-28, Bolzano (Italy)
• Announcement: Nordic Online Logic Seminar (NOL Seminar) (online)
• Cf Colocated Events: CADE-30: 30th International Conference on Automated Deduction, August 1-2, Stuttgart (Germany)
• CfA: 2 PhD position on of quantum computing, Aalborg (Denmark), deadline: Oct 10
• CfA: Ma thesis (with pot. follow-up PhD position), Rennes (France), deadline: asap

Received: 2024-09-18:

• CfP: Zagreb Logic Conference 2025, February 14-17, Zagreb (Croatia)
• CfP [deadline extension]: Overlay: 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis, 28-29 November, Bolzano (Italy)
• CfA: Associate Professor AOS: Phil of Science, Washington (US), deadline: Nov 1
• CfA: W3 Prof in Theoretical Philosophy, Frankfurt (Germany), deadline: October 28
• CfNomination: The Covey Award 2025, deadline: Nov 30
• CfA: (50 PhDs, 10 Postdocs) at the Cluster of Excellence Bilateral Artificial Intelligence, Austria, deadlines: various

Received: 2024-09-17:

• CfP: Peripatetic Seminar on Sheaves and Logic, 15th-17th November, Leiden (NL)
• CfP: SI of the Journal of Logic Language and Information on "Dynamic Logic - New Trends and Applications", deadline: January 31, 2025
• CfP [extebded deadline]: CIFMA 24: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, Nov 5, Aveiro (Portugal)
• CfA: Logic Courses in English and French, Fribourg, deadline: October 31
• CfA: TT Prof. in Discrete Mathematics (Mathematical logic), Tampere University (Finland), deadline: 30 September
• CfA: 2y Post-Doc at CLE-UNICAMP, Campinas (Brazil), deadline: Oct 2

Received: 2024-09-05:

• CfR: Roots and New Trends in Logicism Workshop, 11-13 September 2024, Lisbon (Portugal)
• CfA: PhD position in AI / Logic / Philosophy, Southampton (UK), deadline:
• CfP: FSEN 2025: Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice, 7-8 April 2025 , Västerås (Sweden)
• CfA: Assistant or Associate Prof in Mathematics (all areas), University of Helsinki (Finland), deadline: Oct 31
• CfA: Ass/Asso/Full Prof. in Mathematics (including Math Logic), Tampere University (Finland), deadline: 30 Sept,

Received: 2024-09-04:

• CfP: Overlay: 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis, 28-29 November, Bolzano (Italy)
• Announcement: Proof-Theoretic Semantics Seminar (online)
• CfP: Contest Diagrams of Opposition, deadline: September 9
• CfA: PhD position 3.5y in Logic and Complexity, Sheffield (UK), Deadline: 30 September 2024

Received: 2024-08-30:

• CfP: [extended deadline] FCA4AI 12: "What can FCA do for Artificial Intelligence?'', 19 October, Santiago de Compostela (Spain)
• Ernst-Zermelo-Ring 2024: Prof. Dr. Ulrich Kohlenbach

Received: 2024-08-27:

• CfP: [Extended Deadline] CCC2024: Continuity, Computability, Constructivity – From Logic to Algorithms, 30 Sept - Oct 4, Nice (France)
• CfP: ConsILR-2024: International Conference on Linguistic Resources and Tools, 14 - 16 November 2024, Hybrid: Alba Iulia (Romania) and online
• CfPosters: OHAAI session in SSA 2024, September 15, Hagen (Germany)
• CfP: CMN'25: 8th International Workshop on Computational Models of Narrative: Advancing the Science of Narrative, 28 - 30 May 2025, Geneva (Switzerland)
• CfR: KI 2024: 47th German Conference on Artificial Intelligence, Sep 25 – Sep 27, Würzburg (Germany)
• CfA: PhD position at the AXAIS project, TU Wien (Austria), deadline: Oct 1

Received: 2024-08-24:

• CfP: CPP 2025: Certified Programs and Proofs, 20-21 January, Denver (USA)
• CfA: Postdoc position on set theory, Turin (Italy), deadline: 23 September
• CfR: ICTCS24: Italian Conference on Theoretical Computer Science, 11-13 Sept 2024, Turin (Italy)
• CfA: Tenure-Track Assistant Professorship (W2tt) for Pure Mathematics, TU Darmstadt (Germany), deadline: 1 October
• CfA: PhD position in computer science (inc. combinatorics, logic, complexity, and semantics), University of Sheffield (UK), Deadline: 30.08.2024

Received: 2024-08-19:

• CfR: KI 2024: 47th German Conference on Artificial Intelligence, Sep 25 – Sep 27, Würzburg (Germany)
• CfP: Australasian Association for Logic Conference, 26-28 Nov, Hybrid: Zoom + Sydney (Australia)
• CfP: ITP 2024: Fifteenth Conference on Interactive Theorem Proving, 9 - 14 September 2024, Tbilisi (Georgia) ; Online registration without paper has been added
• CfP: Special Issue of Studia Logica in memory of Nuel Belnap (1930–2024), deadline: 31 Jan 2025
• CfA: Postdoctoral Researcher Position Logic and Phil of Lang (2y, extendible) at Slovak Academy of Sciences, Bratislava (Slovak Republic), deadline: August 31
• CfA: 2y post doc position: Logical and Epistemological Criteria of Salience in the Foundations of Mathematics, Warsaw (Poland), deadline: Sept 9

Received: 2024-07-31:

• CfP: REACTS'24 - International Workshop on Reconfigurable Transition Systems, 5. Nov, Aveiro (Portugal)
• CfP: ICFNDS 2024: The 8th International Conference on Future Networks & Distributed Systems, 11- 12 Dec, Marrakech (Morocoo)
• CfP: FSEN 2025: Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice, 7-8 April 2025 , Västerås (Sweden)
• CfP: ETAPS 2025: 28th ETAPS International Joint Conferences On Theory and Practice of Software, 3-8 May2025, Hamilton (Canada)
• CfP [deadline today!] COLING 2025: 2025 International Conference on Computational Linguistics, 19-20 + 21-24 January 2025, Abu Dhabi (UAE)
• CfA: 4y PhD position in epistemic logic for distributed computing, Bern (Switzerland), deadline: asap

Received: 2024-07-27:

• CfP: ISD8@AI*IA - The 8th Image Schema Day, 25-28th November, Bozen-Bolzano (Italy)
• CfR: 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela (Spain)
• CfP: ASPOCP 2024 @ ICLP: 17th Workshop on Answer Set Programming and Other Computing Paradigms, 12 or 13 Oct, Dallas (TX, USA)
• CfP: ICLA 2025: Indian Conference on Logic and its Applications, 3 - 5 Feb 2025, Kolkata (India)
• CfA: University Assistant (prae-doc) on Formal Methods in Systems Engineering, Vienna (Austria), deadline: Aug 8
• CfA: 3-Y Postdoc in Structures and Homotopy in Optimisation, Leiden (NL), deadline: Aug 30

Received: 2024-07-17:

• CfP: Conceptual Knowledge Acquisition: Challenges, Opportunities, and Use Cases" workshop at CONCEPTS 2024, 9 - 13 Sept, Cádiz (Spain)
• CfP: FCA4AI 12: "What can FCA do for Artificial Intelligence?'', 19 October, Santiago de Compostela (Spain)
• CfP: 6th Summer School on Argumentation: Connecting Argumentation, 12-15 September, Hagen (Germany)
• CfP: PS24: Proof Society School and Workshop, 9-13 September, Birmingham (UK)
• CfP: [Extended Deadline] CCC2024: Continuity, Computability, Constructivity – From Logic to Algorithms, 30 Sept - Oct 4, Nice (France)
• CfP: [deadline tomorrow!] Computer Science Logic (CSL), 10 - 14 Feb 25, Amsterdam (The Netherlands)

Received: 2024-07-16:

• CfP: RP 2024: 18th International Conference on Reachability Problems, 25-27 September, Vienna (Austria)
• CfP: ASPOCP 2024: 17th Workshop on Answer Set Programming and Other Computing Paradigms, October 12 or 13, Dallas (TX, USA)
• CFP: Overlay: 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis, 28-29 November, Bolzano (Italy)
• CfP: [Extended deadline] NMR: The 22nd International Workshop on Nonmonotonic Reasoning (NMR), November 2-4, 2024, Hanoi, Vietnam
• CfP: [extended deadline]: 7th edition of the "Wormshop", 2-5 September 2024, Ghent (Belgium)
• Yuriy Vasilievich Ivlev (21/12/1936 - 07/07/2024)

Received: 2024-07-03:

• CfP: ArgXAI 2024: The 2nd International Workshop on Argumentation for eXplainable AI, 16 September, Hagen (Germany)
• CfP: SAFA2024 :The Fifth International Workshop on Systems and Algorithms for Formal Argumentation, 17 September, Hagen (Germany)
• CFP: CPP 2025: Certified Programs and Proofs, 20-21 January, Denver (USA)
• CfP: Non-Classical Logics. Theory and Applications XI, 5-8 September, Lodz (Poland)

Received: 2024-07-01:

• CfProposals: ESSLLI 2025, July 28 - August 8 2025, Bochum (Germany)
• CfP: Conceptual Knowledge Acquisition: Challenges - Opportunities - and Use Cases, September 9–13, Cádiz (Spain)
• CfR: Diagrams: 14th International Conference on the Theory and Application of Diagrams, 27 Sept - 1 Oct, Münster (Germany)
• CfP: AWPL 2025: Asian Workshop in Philosophical Logic, 6 - 8 February 2025, Kolkata (India)
• CFP: REACTS'24 - International Workshop on Reconfigurable Transition Systems, Nov 5, Aveiro (Portugal)

Received: 2024-06-30:

• CfP: [Deadline tomorrow!] FCR 2024: 10th Workshop on Formal and Cognitive Reasoning, 23 September 2024, Würzburg (Germany)
• CfA: 12 PhD POSITIONS in COMPUTER SCIENCE, Bozen-Bolzano (Italy), deadline 11 July
• CfA: PhD position in Genetic Programming, Galway (Ireland), deadline: asap
• CfP: SI Mathematical Structures in Computer Science in Honor of Marek Zawadowski, deadline: 31 March 2025
• CfP: SI of Mathematical Structures In Computer Science in honour of Phil Scott, deadline: 31 March 2025
• CfP: CCC2024: Continuity, Computability, Constructivity – From Logic to Algorithms, 30 Sept - Oct 4, Nice (France)
• CFP: LADC 2024: 13th Latin-American Symposium on Dependable and Secure Computing, 26-29 November, Recife - PE (Brazil)

Received: 2024-06-29:

• CfR: Symposium: Philosophy of Mathematics & Epistemology, July 5, Zoom+Berlin (Germany)
• CfR: [deadline tomorrow] Computable Structure Theory and Interactions 2024, July 15-17, Vienna (Austria)
• CfP: International Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning, 2 - 4 November, Hanoi (Vietnam)
• CfP: SYNERGY 2024 - Call for Contributions First Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology, 2 - 4 November (one day in this time), Hanoi (Vietnam)
• CfP: [deadline tomorrow] ICTAC 2024: 21st International Colloquium on Theoretical Aspects of Computing, 25-29 November 2024, Bangkok (Thailand)
• CfA: PhD position on Knowledge Representation & Responsible Design for Inclusive Employment Matching Algorithms, Twente (The Netherlands), Deadline: 5 July 2024

Received: 2024-06-26:

• CFP: Australasian Association for Logic Conference, 26-28 Nov, Hybrid: Zoom + Sydney (Australia)
• CfR: PS24: Proof Society School and Workshop [Registration deadline: 2 August]. 9-13 September, Birmingham (UK)
• CfP: SAT 2024: International Conference on Theory and Applications of Satisfiability Testing 2024 Call for Participation , 18-21 August, Pune (India)
• CfP: NMR2024: The 22nd International Workshop on Non-Monotonic Reasoning, 2- 4 November 2024, Hanoi (Vietnam)
• CfA: Precall "Bilateral AI" (50 PhDs, 10 Postdocs), fall 2024, Cluster of Excellence Bilateral Artificial Intelligence
• CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden), deadline: 27. August 2024

Received: 2024-06-19:

• CfP: CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems, 26-28 November 2024, Aix-en-Provence (France)
• CfP: iFM 2024: 9th International Conference on Integrated Formal Methods, 13-15 November 2024, Manchester (UK)
• CfP: ITP 2024: The Fifteenth International Conference on Interactive Theorem Proving, 9-14. September, Tbilsi (Georgia)
• CfP: Wormshop: Workshop on Proof Theory, Modal Logic and Reflection Principles, 2-5 September, , Ghent (Belgium)
• CfP: NMR2024: The 22nd International Workshop on Non-Monotonic Reasoning, 2-4 November, Hanoi (Vietnam)
• CfR: ESSAI&ACAI 2024: The European Summer School on Artificial Intelligence and the Advanced Course on Artificial Intelligence, , 15-26 July 2024, Athens (Greece)

Received: 2024-06-18:

• CfP: Colloqium Logicum,, 7-9. October, Vienna (Austria)
• CfP: [extended deadline] ICTCS24: Italian Conference on Theoretical Computer Science, 11-13 Sept 2024, Turin (Italy)
• CfP: British Logic Colloquium, 5.-7. September, Birmingham (UK)
• CfP: Roots and New Trends in Logicism Workshop, 11-13 September, Lisbon (Portugal)
• CfA: PhD-position in Logic and Complexity, Sheffield (UK), Deadline: 1 July 2024
• CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)

Received: 2024-06-05:

• CfNominations: Ackermann Award 2024 PhD Dissertation in Logic in CS, deadline: 1 July 2024.
• CfP: Toposes in Mondovì: School + Conference, :3-6 + 9-11 September 2024, Mondovì (Italy)
• CfP: 9th Workshop on Connexive Logics, 8-9 September, Łódź (Poland)
• CfNominations/Application: The 2024 Alain Colmerauer Prize, deadline: July 26, 2024.
• CfNominations: [extended deadline] VCLA International Student Awards, deadline: 15 June 2024
• CfR: [correction] VVL Logic at Large Lecture 2024 by Larry Moss: "A Place for Logic in the Computer Processing of Language", June 17, Online

Received: 2024-06-04:

• CfP: Amsterdam Colloquium 2024, 18-20 December, Amsterdam (The Netherlands)
• CfP: Autumn school "Proof and Computation", 15-21 Sep 2024, Fischbachau (Germany)
• CfR: VVL Logic at Large Lecture 2024 by Larry Moss: "A Place for Logic in the Computer Processing of Language", June 17, Online
• CfP [extended deadline]: LSFA 2024: 19th International Workshop on Logical and Semantic Frameworks with Applications, September 18-20 2024, Goiânia (Brazil)
• CfA: Postdoctoral fellow in the philosophy of mathematics and/or linguistics, France, deadline: 21 June 2024
• CfA: PhD Student in the philosophy of mathematics and/or linguistics, France, deadline: 21 June 2024

Received: 2024-05-27:

• CfP: FSEN 2025: Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice, 7-8 April 2025 , Västerås (Sweden)
• CfP: FCR 2024: 10th Workshop on Formal and Cognitive Reasoning, 24 September 2024, Würzburg (Germany)
• CfA: 3 postdoctorial position quantum programming / program analysis / formal methods, Paris (France), deadline: asap

Received: 2024-05-26:

• CfNominations: FSCD Steering Committee Membership Election 2024, deadline: 21 June 2024
• CfA: 2x W3 (Computer) Linguistics, Tübingen (Germany), deadline: 20 June
• CfP [extended deadline]: Dutch Logic PhD Day 2024, 21 June, Vrije Universiteit Amsterdam
• CfR: 2nd COMP Meeting in Philosophy of Logic and Mathematics, 6-7 June, Madrid (Spain)
• CFP: KoDis/CAKR 2024: the Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR (colocated with KR 2024), 2 – 8 November 2024, Hanoi (Vietnam)
• CfP: RuleML+RR 2024: The 8th International Joint Conference on Rules and Reasoning, 16-18 September 2024, Bucharest (Romania)

Received: 2024-05-23:

• CfP: DL 2024: 37th International Workshop on Description Logics, 18-21 June 2024, Bergen (Norway)
• CfP: AMMA2024: Abstract Methods in Multivariate Algorithmics, Aug 12-16, Gainesville (Florida / USA)
• CFP: LADC 2024: 13th Latin-American Symposium on Dependable and Secure Computing, 26-29 November, Recife - PE (Brazil)
• CfP: [Short Paper]: AiML 2024: International Conference on Advances in Modal Logic, 19-23 August 2024, Prague (Czech Republic)
• CfP [Deadline extension]: TAP 2024: Tests and Proofs 2024, 9-10 September, Milan (Italy)

Received: 2024-05-22:

• CfP: Sixteenth French Philosophy of Mathematics Workshop Wednesday, 16 - 18 October 2024, Nancy (France)
• CfP [extended]: Proof Society School and Workshop, 9-13 September, Birmingham (UK)
• CfA: Open position in mathematical logic at ILLC, Amsterdam (The Netherlands), deadline: 9 June
• CfA: VCLA International Student Awards of the TU Wien, Deadline May 31
• CfA: PhD program in Mathematics, University of Torino (Italy), deadline: 20 June
• CfA: PhD Program in Mathematics and Physics, Udine (Italy), deadline: 20 June

Received: 2024-05-15:

• CfP: TLLA'24: 8th International Workshop on Trends in Linear Logic and Applications, 8-9 July 2024, Tallinn (Estonia)
• CfP: LANMR2024: The 16th Latin American Workshop on New Methods of Reasoning Logic/ Languages/ Algorithms/ New Methods of Reasoning, 6 - 7 September, Oaxaca (Mexico)
• CfP: Dutch Logic PhD Day 2024, 21 June, Amsterdam (The Netherland)
• CfP: SAFA2024: The Fifth International Workshop on Systems and Algorithms for Formal Argumentation, 17 September, Hagen (Germany)
• CfA: Ph.D. position - AI systems that can proactively acquire new knowledge and new abilities, Örebro (Sweden),deadline: 31. May
• CfA: PhD Opportunity in AI for Legal Reasoning, Université Toulouse Capitole

Received: 2024-05-14:

• CfP: [deadline tomorrow] 5th International Workshop on Automated (Co)inductive Theorem Proving (satelite to IJCAR 2024), 1-6 July 2024. Nancy (France)
• CfR: ESSAI&ACAI 2024: The European Summer School on Artificial Intelligence and the Advanced Course on Artificial Intelligence, , 15-26 July 2024, Athens (Greece)
• CFP: Australasian Association for Logic Conference, 26-28 Nov, Sydney and Zoom (Australia)
• CfR: WoLLIC 2024: 30th Workshop on Logic, Language, Information and Computation, 10-13 June, Bern (Switzerland)
• CfP: [extended] 120 years of choice, 8 - 12 July, Leeds (UK)
• CfP: [DEADLINE tomorrow!] Diagrams in Mathematical Practice, 27 September - 1 October 2024, Münster (Germany)

Received: 2024-05-13:

• CfR: Virtual Ethical Innovation Lecture Series: May-July: V. Sikimić (Eidhoven)/ M. Gottschling (Tübingen)/ and A. Vučković (Belgrade)
• CfP: PPDP 2024: The 26th International Symposium on Principles and Practice of Declarative Programming, 10-11 September 2024, Milan (Italy)
• CfP: [Deadline Extension] EKAPI 2024: 1st International Workshop on Explainable Knowledge Aware Process Intelligence, 20-22 June, Roccella Jonica (Italy)
• CfP: [extended] QUANTIFY 2024: International Workshop on Quantification, 1 July, Nancy (France)
• CfA: Three 2-year postdoctoral positions at LUCI Lab, Milano (Italy), deadline: 4 June
• CfA: PhD Positions Available in Formal Methods for Reversible Concurrent Calculi, Augusta University (Georgia / USA), deadline: 10 June 2024

Received: 2024-05-05:

• CfP: SMT 2024: 22nd International Workshop on Satisfiability Modulo Theories, 22-23 July 2024, Montreal (Canada)

Received: 2024-05-03:

• CfP: [extended deadline] WiL 2024: Woman in Logic, 9 July 2024, Tallinn (Estonia)
• CfP: [extended deadline] lfmtp24: Logical Frameworks and Meta Languages: Theory and Practice, July 8, Tallinn (Estonia)
• CfP: PS24: Proof Society School and Workshop. 9-13 September, Birmingham (UK)
• CfP: Logic for the AI Spring 2, Summer School at Lake Como School of Advanced Studies, 2-6 September 2024, Como (Italy)
• CfA: PhD candidate development of techniques for generating news articles, Bergen (Norway), deadline: 25 May 2024

Received: 2024-04-29:

• CfR: Structuralism and Fictionalism in the Philosophy of Mathematics, 13-14 May 2024, York (UK)
• CfR:1st AXDEF WORKSHOP “Implicit Definitions”, 27-29 May 2024, Marseille (France)
• CfP [Deadline Extension]: FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems, 9-11 September 2024, Milan (Italy)
• CfA: Postdoc Position in Formal Methods, Gothenburg (Sweden), Deadline Extended 21 May
• CfA: Postdoc position in Theoretical CS at King's College London, London (UK), deadline: 6 June
• CfA: Post-doc in topology/ algebra/ categories and logic at IRIF, Paris (France), deadline: 17 May 2024

Received: 2024-04-24:

• CfR: Workshop: 2nd COMP Meeting in Philosophy of Logic and Mathematics, 6-7 June 2024 , Madrid (Spain)
• CfP: Sixteenth French Philosophy of Mathematics Workshop, 16 - 18 October 2024, Nancy (France)
• CfP: NMR 2024: The 22nd International Workshop on Nonmonotonic Reasoning, 2-4 November 2024, Hanoi (Vietnam)
• CfR: ForcingFest Vol. I: Posets: Philosophy of Mathematics/ (Philosophy of) Set Theory/ Forcing, 21 June 2024, Oslo (Norway)
• CfA: 16m postdoc in the PRIN project “Controlling and utilizing uncertainty in the health sciences”, deadline: 13 May

Received: 2024-04-23:

• CfP [extended deadline]: FMxSL24: Formal Methods cross Spatial Logics, 9 Sept 2024, Milan (Italy)
• CfP - Workshop Diagrams and Mathematical Practice - Part of DIAGRAMS 2024, Sept 27 - Oct 1st 2024, Münster (Germany)
• CfP: ICTCS24: Italian Conference on Theoretical Computer Science, 11-13 Sept 2024, Turin (Italy)
• CfP: RP 2024: The 18th International Conference on Reachability Problems, 25 - 27 September, Vienna (Austria)
• CfA: Postdoctoral Fellowship at ICS CAS Prague (Czech Republic), deadline: 31 May 2024

Received: 2024-04-20:

• CfR: LogIn Project Workshop: Amplifying underrepresented voices in formal philosophy, 26th April 2024, London (UK)
• CfR: Workshop on inductive definitions, 2-3 May 2024, Hybrid: Online + Prague (Czechia)
• CfP: [extended deadline] C-FORS Graduate Conference: Constructional Approaches in the Foundations of Mathematics and Philosophy, 19-20 June 2024, Oslo (Norway)
• CfP: TLLA 2024: 8th International Workshop on Trends in Linear Logic and Applications, 8 - 9 July 2024 , Tallinn (Estonia)
• CfNominations: VCLA International Student Awards, deadline: 31 May 2024
• Newton da Costa (1929-2024)

Received: 2024-04-18:

• CfScholarships: Verification Mentoring Workshop 2024, 22 July, Montreal (Canada), deadline: 24 April 2024
• FW: ARQNL 2024 - Final Call for Papers
• CfP: SAT/SMT/AR 2024: International Summer School, 26-29 June 2024, Nancy (France)
• CfP 8th World Congress on the Square of Opposition, 9-13 September 2024, Costa Rica
• CfP: WiL 2024: 8th Women in Logic Workshop, 9 July 2024, Tallinn (Estonia)

Received: 2024-04-15:

• CfP: FACS: 20th International Conference on Formal Aspects of Component Software, 09-10 September 2024, Milan (Italy)
• CfP: LearnAut at ICALP 2024: Learning and Automata, 7 July 2024, Tallin (Estonia)
• CfP [extended deadline]: SC-square 2024: The 9th International Workshop on Satisfiability Checking and Symbolic Computation, 1 - 6 July 2024. Nancy (France)
• CfA: Postdoc Position in Formal Methods, Gothenburg (Sweden), Deadline: 23 April
• CfA: PhD Position in Formal Verification of Autonomous Systems at Chalmers University (Sweden), deadline: April 30
• CfA: 3y Phd-position at Aix-MArseille University (France), deadline: May 5

Received: 2024-04-11:

• CfP: HYPER 2024: 3rd Workshop on Hyperproperties @CAV 2024, 23 July 2024, Montreal (Canada)
• CfP: ICCC'24: 15th International Conference on Computational Creativity, 17-21 June 2024, Jönköping (Sweden)
• CfBids: Host FroCoS-ITP-TABLEAUX 2025
• CfP[extended]: PAAR 2024: 9th Workshop on Practical Aspects of Automated Reasoning, 2 July 2024, Nancy (France)
• CfP: Sixth International Conference on Computational Linguistics in Bulgaria, 9 and 10 September 2024, Sofia (Bulgaria)
• CfR: Geometry from the model theorist’s point of view, 10-13 September, Oxford (UK)

Received: 2024-04-10:

• CfP: Masterclass in the Philosophy of Mathematical Practices with Catarina Dutilh Novaes, 24–26 June 2024, Brussels (Belgium)
• CfNominations: Ackermann Award 2024 PhD Dissertation in Logic in CS, deadline: 1 July 2024.
• CfNomination: 'Dov Gabbay Prize" for Logic and Foundation, deadline: 30 April 2024
• CfNominations: Beth Dissertation Prize 2024 for dissertations in Logic / Language and Information, deadline: 30 April 2024
• CfA: 2y Postdoc in Proof Theory, Birmingham (UK), deadline: 30 April 2024
• CfA: Associate/Assistant professor position in Formal Methods at DTU Compute at the Technical University of Denmark, deadline: 15 May 2024

Received: 2024-04-04:

• CfR: FOMTIC: Foundations of Mathematics, Truth, and Implicit Commitments, 11 - 13 April 2024, Warsaw (Poland)
• CfP: ITRS 2024: Eleventh Workshop on Intersection Types and Related Systems, 9 July 2024, Tallinn (Estonia)
• CfP: iFM 2024: 9th International Conference on Integrated Formal Methods, 13-15 November 2024, Manchester (UK)
• CfP: Women in Logic, 9 July, Tallinn (Estonia)
• CfA: PhD scholarship in Computer Science on Model Checking for Malware (Virus) Detection, Paris (France), deadline: asap
• CfA: Ph.D. position - AI systems that can proactively acquire new knowledge and new abilities, Örebro (Sweden), deadline: May 31

Received: 2024-04-01:

• CfP: REACTS'24: International Workshop on Reconfigurable Transition Systems, 5 Nov 2024, Aveiro (Portugal)
• CfP: ARQNL 2024: Automated Reasoning in Quantified Non-Classical Logics (associated with IJCAR 2024), 1 July 2024, Nancy (France)
• CfP: SI on "Autonomous Systems and Knowledge Graphs" in Transactions on Graph Data and Knowledge (TGDK), deadline: 15 June 2024
• CfA: Fully Funded PhD (Formal verification) position, University of Missouri, (Columbia, USA), deadline: asap
• CfA: PhD scholarship in Automated Verification of WebAssembly Programs, University of Reading (England), deadline: 16 Apr. 2024

Received: 2024-03-31:

• CfR: Leeds Computability Days 2024, 02-05 July 2024, Leeds (UK)
• CfP: EKAPI 2024: 1st International Workshop on Explainable Knowledge Aware Process Intelligence, 20-22 June 2024, Roccella Ionica (Italy)
• CfP: [Extended Deadline] CICM 2024 - 17th Conference on Intelligent Computer Mathematics, 5-9 August 2024, Montreal (Canada)
• CfP: SAFA2024: The Fifth International Workshop on Systems and Algorithms for Formal Argumentation, 17 September 2024, Hagen (Germany)
• CfA: Postdoc opportunities in quantum computation and information, ENS Paris-Saclay & Inria (France)

Received: 2024-03-27:

• CfR: (Logic Special Session at the) British Mathematical Colloquium 2024, 17-20 June, Machester (UK)
• CfP: FMxSL24: Formal Methods cross Spatial Logics, 9 Sept 2024, Milan (Italy)
• CfP: LSFA 2024: 19th International Workshop on Logical and Semantic Frameworks with Applications, September 18-20 2024, Goiânia (Brazil)
• CfP: TyDe 2024: 9th internat. workshop on Type-Driven Development, 6 September 2024, Milan (Italy)
• CfP: [extended deadline] Philosophy of Logic. Mathematics. and Physics Graduate conference, 14-15 June, London (Ontario, Canada)
• CfP: RuleML+RR 2024: The 8th International Joint Conference on Rules and Reasoning, 16-18 September 2024, Bucharest (Romania)

Received: 2024-03-25:

• CfP [Deadline Extension]: VERDI 2024 - 2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, 24 June 2024, Brisbane (Australia)
• CfP [extended deadline]: PLS14: Panhellenic Logic Symposium, 01-05 July 2024, Thessaloniki (Greece)
• CfP: PS24: Proof Society School and Workshop. 9-13 September, Birmingham (UK)
• CfP: 120 Years of Choice, 8–12 July, Leeds (UK)
• CfNominations: EurAI Dissertation Award, deadline: 31. May 2024
• CfA:: Postdoc Position in Formal Verification of Cyber-Physical Systems, Gothenburg (Sweden), deadline: 15. April

Received: 2024-03-24:

• CfP: AITP 2024: Artificial Intelligence and Theorem Proving, 1-6 September 2024, Aussois (France)
• CfNominations: VvL Master's Thesis Award for Logic and Foundations of Mathematics, Computer Science, and Artificial Intelligence 2024
• CfP: ThEdu'24 : Theorem proving components for Educational software, 2 July 2024, Nancy (France)
• CfP: 20th Latin American Symposium in Mathematical Logic, 1-5 July 2024, Uruguay
• CfA: Funded PhD Position in Formalizing/Verification of Golang, Exeter (UK) / Paris (France), Deadline: 31.03.2024
• CfA: 2 PhDs and 1 PostDoc in the new knowledge representation group, Paderborn (Germany), deadline: 22. April 2024

Received: 2024-03-15:

• CfP: [extended deadline]: CLIRAI Computational Linguistics. Information. Reasoning. and AI, 26-28 June 2024, Salamanca (Spain)
• CfP: ESOP 2025: 34rd European Symposium on Programming, 5–8 May 2025, Hamilton (Canada)
• CfP: TSD 2024: Twenty-seventh International Conference on TEXT, SPEECH and DIALOGUE, 9-13 September 2024, Brno (Czech Republic)
• CfA: Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent, deadline: 07 April 2024

Received: 2024-03-13:

• CfP: [Deadline Extension] WISDOMS@ESWC: 1st International Workshop on Integrating the Semantics of Data, Ontologies, Moral and cultural values and their Societal impact, 28 May - 1 June, Hersonissos (Greece)
• CfP: NCL24: Non-Classical Logics. Theory and Application XI, 5-8 Sept 24, Lodz (Poland)
• CfP: Sixteenth French Philosophy of Mathematics Workshop, 16 - 18 October 2024, Nancy (France)
• CfR: LogIn Project Workshop: Amplifying underrepresented voices in formal philosophy, 26th April 2024, London (UK)
• CfP: Autumn school "Proof and Computation", 15-21 Sep 2024, Fischbachau (Germany)
• CfP: SemiDial: The 28th Workshop on the Semantics and Pragmatics of Dialogue, 11 - 12 Sept 24, Trento (Italy)
• CfP: GandALF 24: Fifteenth International Symposium on Games. Automata. Logics. and Formal Verification, 19 - 21 September 24, Reykjavik (Iceland)

Received: 2024-03-11:

• CfP: 1st Pan African Logic Congress, 28-30 April 2024, Cairo (Egypt)
• CfP: Fifth Nordic Logic Summer School (NLS 2024) / Twelfth Scandinavian Logic Symposium (SLSS 2024), 10-16 June, Reykjavik (Iceland)
• CfP: IJCAR 2024: The 12th International Joint Conference on Automated Reasoning, 1-6 July 2024. Nancy (France)
• CfP: CCA 2024: 21st conference on Computability and Complexity in Analysis, 15-18 July 2024, Swansea (UK)
• CfP: LearnAut at ICALP 2024: Learning and Automata, 7 July 2024, Tallin (Estonia)
• CfA: PhD Position 5y fully funded in Correct-by-Design for Cyber-Physical Systems, Gothenburg (Sweden), Deadline: 15 April 24

Received: 2024-03-06:

• CfP: Special Issue of JLC - Journal of Logic and Computation on Combining Probability and Logic, Deadline: 31 March 2024
• CfP: [extended² deadline] FOIS 2024: 14th International Conference on Formal Ontology in Information Systems, 15-19 July 2024 & 08-09 July 2024, Enschede (Netherlands) & online
• CfP: [Extended Deadline]: AiML 2024: International Conference on Advances in Modal Logic, 19-23 August 2024, Prague (Czech Republic)
• CfTutorials : [Extended Deadline] DIAGRAMS 2024, 27 Sept - 1 Oct 2024, Münster (Germany)
• CfR: European Summer School on the Philosophy of Mathematics, 9-13 Sept. 2024, Vienna (Austria)
• CfA: assistant/associate Professor in CS at TELECOM SudParis, Deadline: March 31th, 2024

Received: 2024-03-04:

• CfNominations: Dov Gabbay Prize 2024:, deadline: 30 Aprill 2024
• CfR: [Deadline soon!] Midlands Graduate School (MGS), 8-12 April 2024, Leicester (UK)
• CfP: [extended deadline] ESSLI Student Session: 35th European Summer School in Logic, Language and Information, 29 July – 9 August 2024, Leuven (Belgium)
• CfP: FoIKS 2024: 13th Int. Symp. on Foundations of Information and Knowledge Systems, 8-11 April 2024, Sheffield (UK)
• CfA: Postdoc in Formal methods for autonomous systems, Gothenburg (Sweden), Deadline: 02 April 24
• CfA: 4y PhD position in Philosophy and AI, Bergen (Norway), deadline: 29 March 2024

Received: 2024-02-29:

• CfR: Computable Structure Theory and Interactions 2024, July 15-17, Vienna (Austria)
• CfP: PLS14: Panhellenic Logic Symposium, 01-05 July 2024, Thessaloniki (Greece)
• CfP: LPAR-25: Logic for Programming, Artificial Intelligence and Reasoning, 26-31 May 2024, Mauritius
• CfP: CfP: SC-square 2024: The 9th International Workshop on Satisfiability Checking and Symbolic Computation, 1 - 6 July 2024. Nancy (France)

Received: 2024-02-28:

• CfR: ISR 2024: 14th International School on Rewriting, 25 Aug - 1 Sept, Obergurgl (Austria)
• CfP: [extended deadline] TACL 2024: The 11th International Conference "Topology/ Algebra and Categories in Logic", 25 - 28 June & 1 - 5 July 2024, Barcelona (Spain)
• CfP: WiL 2024: Woman in Logic, 9 July 2024, Tallinn (Estonia)
• CfP: Leeds Computability Days 2024, 02-05 July 2024, Leeds (UK)
• CfP: [extended deadline] Logic Colloquium 2024, 24-28 June 2024, Gothenburg (Sweden)
• CfP: DL 2024: 37th International Workshop on Description Logics, 18-21 June 2024, Bergen (Norway)

Received: 2024-02-26:

• CfP [extended deadline]: DIAGRAMS 2024, 27 Sept – 1 Oct 2024, Münster (Germany)
• CfP: [extended deadline] FOIS 2024: 14th International Conference on Formal Ontology in Information Systems, 15-19 July 2024 & 08-09 July 2024, Enschede (Netherlands) & online
• CfP: SCSS 2024: Symbolic Computation in Software Science, 28-30 August 2024, Tokyo (Japan)
• CfP: BLAST 2024, 6-9 April 2024, Denton (TX / USA)
• CfP: MCMP Summer School for Widening Participation in Mathematical Philosophy, 22 -26 July 2024 , Munich (Germany)

Received: 2024-02-22:

• CfR: Lindström Lectures: Phokion G. Kolaitis, 15 & 17 April, Hybrid: Gothenburg and Online
• CfP: XXVIII Incontro di Logica, 3-6 Sept 2024, Udine (Italy)
• CfR: Start of "Women in Logic Online"-series / First talk on 20 March 2024 by Valeria de Paiva
• CfP: AiML 2024: International Conference on Advances in Modal Logic, 19-23 August 2024, Prague (Czech Republic)
• CfA: PhD in theoretical computer science, Kings College (London / UK), deadline 12 April

Received: 2024-02-21:

• CfR: HoTT/UF 2024: Final Call for Contributions and Participation, 2-3 April, Leuven (Belgium)
• CfP: ESSLI Student Session: 35th European Summer School in Logic, Language and Information, 29 July – 9 August 2024, Leuven (Belgium)
• CfP: 2nd Logic and Philosophy: Historical and Contemporary, 24-25 May 2024, Vilnius (Lithuania)
• CfR: PymFest, 28 February, London (UK)
• CfBids: Host FroCoS-ITP-TABLEAUX 2025

Received: 2024-02-20:

• CfA: PhD position in epistemology of machine learning (3y) at MCMP, Munich (Germany), deadline: 1 May 2024
• CfA: PhD position 3y: asynchrony in dynamic epistemic logic, Toulouse (France), deadline: 1 April
• CfA: 1y grant ”Empowering Public Interest Communication with Argumentation”, Pisa-Genova (Italy), deadline: 12. March
• CfA: Postdoc position 2y at Peking University phil logic (broadly), Beijing (China), deadline: 10 March
• CfA: PhD 3y+ at the research group for Theoretical Computer Science, Hamburg (Germany), deadline: 18 March 2024

Received: 2024-02-19:

• CfP: Bridging the Gap: The Importance of Communicating Mathematical (& Logical) Research to laypeople and in Education, 21.05. - 24.05.2024, Palma de Mallorca (Spain)
• CfP: ITP 2024: Fifteenth Conference on Interactive Theorem Proving, 9 - 14 September 2024, Tbilisi (Georgia)
• Cf PCMembers: ECAI-2024: 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela (Spain)
• CfA: Postdoctoral position on work on the project "Categorical Foundations of Forward Differentiation and Reverse Differentiation" at Macquarie University, Sydney (Australia), deadline: 17 March

Received: 2024-02-15:

• CfP: C-FORS Graduate Conference: Constructional Approaches in the Foundations of Mathematics and Philosophy, 19-20 June 2024, Oslo (Norway)
• CfP: KR 2024: 21st International Conference on Principles of Knowledge Representation and Reasoning, 2 - 8 Nov. 2024, Hanoi (Vietnam)
• CfP: CLIRAI Computational Linguistics/ Information/ Reasoning/ and AI, 26th-28th June 2024, Salamanca (Spain)
• CfP: 1st Pan African Logic Congress, 28-30 April 2024, Cairo (Egypt)
• CfA: PhD position "A Correct-by-Construction Approach to Approximate Computation" at the University of Strathclyde, Glasgow (Scottland), deadline: asap

Received: 2024-02-13:

• Rudolf-Carnap Lectures 2024 & 1st Ruhr Award for Philosophy and the Mind Sciences, 14 - 16 March 2024, Bochum (Germany)
• CfP: DIAGRAMS 2024, 27 Sept – 1 Oct 2024, Münster (Germany)
• CFP: PPDP 2024 - The 26th International Symposium on, Principles and Practice of Declarative Programming, 9-11September 2024, Milan (Italy)
• CfP: Inner Model Theory Events: 24 - 28. Juni & 1 - 5 July 2024, Vienna (Austria)

Received: 2024-02-11:

• CfP: COMMA 2024: 10th International Conference on Computational Models of Argument, 18 - 20 Sept 2024, Hagen (Germany)
• CfP: LFMTP24: Logica Frameworks and Meta Languages: Theory and Practice, 8 July 2024, Tallinn (Estonia)
• CfP: VERDI 2024 - 2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, 24 June 2024, Brisbane (Australia)
• CfA: W2 Wissenschaftsphilosophie, JGU Mainz (Germany), deadline 19.03.2024
• CfA: W3 Theoretical Philosophy, Universität des Saarlandes (Germany), deadline: 14.03.2024

Received: 2024-02-08:

• CfR: AWPL 2024: 6th Asian Workshop on Philosophical Logic, 4-6 March 2024, Hokkaido University in Sapporo (Japan)
• CfP: ITP 2024: Cf Workshop and Tutorial Fifteenth Conference on Interactive Theorem Proving, 9 - 14 September 2024, Tbilisi (Georgia)
• CfP: [Deadline Extension] CiE2024 Computability in Europe 2024 Twenty years of theoretical and practical synergies, 08-12 July 2024, Amsterdam (The Netherlands)

Received: 2024-02-07:

• CfP: ICTAC 2024: 21st International Colloquium on Theoretical Aspects of Computing, 25-29 November 2024, Bangkok (Thailand)
• CfP: [Deadline Extension] FSCD: Ninth International Conference on Formal Structures for Computation and Deduction, 10-13 July 2024, Tallinn (Estonia)
• CfP: [Deadline Extension] RC 2024: Reversible Computation 2024, 4 -5 July 2024, Torun (Poland)
• CfP: CIBD: Workshop on Craig Interpolation and Beth Definability, 22-23 April 2024, Amsterdam (The Netherlands)
• CfP: Philosophy of Logic/Mathematics/ and Physics Graduate Conference, 13. - 14. June 2024, London (UK)

Received: 2024-02-04:

• CfP: ETAPS 2024: 7th European Joint Conferences on Theory and Practice of Software, 6-11 April 2024, Luxembourg City (Luxembourg)
• CfP: PLS14: Panhellenic Logic Symposium, 01-05 July 2024, Thessaloniki (Greece)
• CfP: FACS: 20th International Conference on Formal Aspects of Component Software, 09-10 September 2024, Milan (Italy)
• CfP: [Deadline Extension] Special Track on Uncertain Reasoning (UR) @ FLAIRS-37, 18-21 May 2024, Miramar Beach (Florida/ USA)
• Announcement: Master in Pure and Applied Logic, Barcelona
• CfP: [Deadline Extension] DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques, 17-21 June 2024, Groningen (The Netherlands)

Received: 2024-02-03:

• CfA: Assistant Professor in Computer Science, Warsaw (Poland), Deadline: 12 Feb 2024
• CfA: PhD position "Machine Learning for Automated Reasoning" (fully funded), Amsterdam (The Netherlands), Deadline: 11 March 2024
• CfP: [Deadline Extension] LOFT15: Logic and the Foundations of Game and Decision Theory, 26-28 June 2024, Bayreuth (Germany)
• CfP: (Deadline extended till Feb 4): School of Formalized Mathematics, 13 - 17 May 2024, Bonn (Germany)
• CfP: [Deadline Extension] COORDINATION 2024: 26th International Conference on Coordination Models and Languages, 18-20 June 2024, Groningen (The Netherlands)
• CfTutorials (also Papers etc.): ECAI-2024: 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela (Spain)

Received: 2024-01-31:

• CfP: Workshop on Truth/ Definability and Quantification into Sentence Position, 27 and 28 September 2024, Vienna (Austria)
• CfP: (deadline Jan 31): School of Formalized Mathematics, 13 - 17 May 2024, Bonn (Germany)
• CfA: 2 postdocs in philosophical logic, Amsterdam (The Netherlands), Deadline: 16 February 2024

Received: 2024-01-28:

• CfP: Decidability in Logic and Algebra, 26 March 2024, Norwich (UK)
• CfP: Logic as a tool for modelling course, 21 July – 04 August 2024, Amsterdam (The Netherlands)
• Abstract Concepts/ Perception/ and Language, 25th April 2024, Cambridge (UK)
• CfP: Workshop on Choreographic Programming @ PLDI 2024, 24–28 June 2024, Copenhagen (Denmark)

Received: 2024-01-26:

• ERRATA CORRIGE: CfP: LogIn Project Workshop: Amplifying underrepresented voices in formal philosophy, 26 April 2024, London (UK)
• CfR: Workshop on Formal Models of Social Networks and Democracy, 8-9 February 2024, Groningen (The Netherlands)
• CfR: IMS Graduate Summer School in Logic 2024, 01 Jul 2024–19 Jul 2024, Singapore
• CfP: ESSLI Student Session: 35th European Summer School in Logic, Language and Information, 29 July – 9 August 2024, Leuven (Belgium)
• CfP: CiE 2024: Computability in Europe 2024, 8-12 July 2024, Amsterdam (The Netherlands)

Received: 2024-01-25:

• CfP: UCNC 2024: Unconventional Computation and Natural Computation, 17-21 June 2024, Pohang (Republic of Korea)
• CfP: TACL 2024: The 11th International Conference "Topology/ Algebra and Categories in Logic", 25 - 28 June & 1 - 5 July 2024, Barcelona (Spain)
• CfP: FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems, 9-11 September 2024, Milan (Italy)
• CfP: The 4th Tsinghua Logic Summer School, 1. - 5. July 2024, Beijing (China)

Received: 2024-01-21:

• CfP: Models/ Representation/ and Computation, (12 &) 13-15 June 2024, Paris (France)
• CfP: Special Track on Uncertain Reasoning (UR) @ FLAIRS-37, 18-21 May 2024, Miramar Beach (Florida/ USA)
• CfP: Special issue of AJL on the work of Ross Brady, deadline (extended!): 28 January 2024
• CfHosting Bid: DEON 2025, Deadline 8 April 2024
• CfNominations: Salomaa Prize in Automata Theory, Formal Languages, and Related Topics, deadline: 28 February 2024
• CfP: Special Track “Logic & Reasoning for XAI”, 17-19 July 2024, Valletta (Malta)

Received: 2024-01-17:

• CfP: SURe: 6th Scientific Understanding and Representation Annual Workshop, 17-19 June 2024, London, UK
• CfP (extended): FOMTIC:Foundations of Mathematics, Truth, and Implicit Commitments, 11 - 13 April 2024, Warsaw (Poland)
• CfP: (!Deadline Jan 19) HoTT/UF 2024: Final Call for Contributions and Participation, 2-3 April, Leuven (Belgium)
• CfA: Two fully funded PhD Positions in Informatics: Algorithms/ Logic and AI, Bergen (Norway), Deadline:
• CfA: Assistant Prof Philosophy of the formal sciences, Copenhagen (Denmark), Deadline: 3 March 2024
• CfA: PhD Position Computable Analysis and effective geom measure theory, Swansea (UK), Deadline: 26. January 2024

Received: 2024-01-14:

• Happy UNESCO World Logic Day 2024!

Received: 2024-01-13:

• CfA: 3 y PhD/Postdoc Position in Philosophy of AI, Tübingen (Germany), deadline: 15 February
• CfR: Belo Horizonte, 15 Jan 2015, Online [World Logic Day Event]
• CfP: COORDINATION 2024: 26th International Conference on Coordination Models and Languages, 18-20 June 2024, Groningen (The Netherlands)
• CfP: ICGT: 17th International Conference on Graph Transformation (part of STAF 2024), 8th-12th July, Twente (The Netherlands)

Received: 2024-01-12:

• CfR: RaTLoCC 2024: Ramsey Theory in Logic, Combinatorics and Complexity, 11 - 14 June 2024, Pisa (Italy)
• CfP: Ninth International Conference on Formal Structures for Computation and Deduction (FSCD 2024), 10-13 July 2024, Tallinn (Estonia)
• CfP: IJCAR 2024: The 12th International Joint Conference on Automated Reasoning, 1-6 July 2024. Nancy (France)
• CfA: 2 Lecturer Positions in Computer Science at Royal Holloway University of London (UK), deadline: 22. Jan 2024)
• CfA (in German): Prof in theoretical philosophy at Universität Salzburg (Austria), deadline: 28. February 2024

Received: 2024-01-11:

• CfR: Online Workshop: WLD In Nigeria: Logic - A World of Interdisciplinary Science 3, 13 January 2024, Online
• CfNominations: iaoa fellowship for distinguished scholars in the field of applied ontology, deadline: 21. January 2024
• CFP: CCC'24: The 15th Int. Conf. on Computational Creativity, 17-21 June 2024, Jönköping (Sweden)
• CfP: Trends in Logic 24, 18-21 June 2024, Kraków (Poland)
• CfA: LogIn Project Workshop: Amplifying underrepresented voices in formal philosophy, 26 April 2024, London (UK)

Received: 2024-01-10:

• CfR: 7th Workshop on Generalised Baire Spaces, 8 - 10 February 2024, Bristol (UK)

Received: 2024-01-09:

• CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Inbox, 17-21 June 2024, Groningen (The Netherlands)
• CfA: (deadline tomorrow) Travel Awards for Proofs Rules and Meanings (11-12 April 2024 / St. Andrews)
• CfP: LOFT15: Logic and the Foundations of Game and Decision Theory, 26-28 June 2024, Bayreuth (Germany)

Received: 2024-01-08:

• CfR: Thoughts on Interlinguistics and Logic, 12. Jan 2024, Online [World Logic Day Event]
• CfWorkshops: ECAI-2024: 27th European Conference on Artificial Intelligence (ECAI-2024), 19-24 October 2024, Santiago de Compostela (Spain)
• CfTutorials: (Deadline tomorrow!) AAMAS 2024: The 23rd Int. Conf. on Autonomous Agents and Multiagent Systems, 6-10 May 2024, Auckland (New Zealand)
• CfR: World Logic Day in Hungary, 12 Jan 2024, Hybrid: Pécs and Online [World Logic Day Event]

Received: 2024-01-07:

• CfR: Lecture "Intuitionistic Inductive Definitions” by Mark van Atten (CNRS/ENS), 15 Jan 2024, Online, [Word Logic Day Event]
• CfA: 4y PhD in Logic - the Computational Data Analytics group of Johannes Fürnkranz, JKU Linz (Austria), deadline: 07.02.2024

Received: 2024-01-06:

• CfNominations: ETAPS Test of Time Award 2024, deadline: 5 February 2024
• CfR: Vienna World Logic Day Lecture with Adnan Darwiche, 12 January 2024, virtual event

Received: 2024-01-02:

• CfA: funded PhD Studentship in Proof-theoretic Semantics, UCL (Londen, UK) deadline: 8 January 2024
• CfA: 4y PhD/Postdoc Project TAIGER: Training and Guiding AI Agents with Ethical Rules, TU Wien (Austria), deadline: 20 Jan 2024

Archived years: 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