[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-02:
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:
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:
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:
Received: 2024-08-30:
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:
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:
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:
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:
Received: 2024-04-23:
Received: 2024-04-20:
Received: 2024-04-18:
Received: 2024-04-15:
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:
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:
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:
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:
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:
Received: 2024-02-21:
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:
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:
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:
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:
Received: 2024-01-28:
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:
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:
Received: 2024-01-13:
Received: 2024-01-12:
Received: 2024-01-11:
Received: 2024-01-10:
Received: 2024-01-09:
Received: 2024-01-08:
Received: 2024-01-07:
Received: 2024-01-06:
Received: 2024-01-02:
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