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