News and Events: Conferences

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

Sections

Headlines Calls for Paper

Headlines Upcoming conferences

Calls for Paper

  • 8 - 11 July 2024, Highlights in the Language Sciences Conference 2024, Nijmegen, the Netherlands

    Date: 8 - 11 July 2024
    Location: Nijmegen, the Netherlands

    The Language in Interaction Consortium (LiI) is pleased to announce the Highlights in the Language Sciences Conference 2024, celebrating the conclusion of our 10-year Gravitation Programme and the advances made in language-related disciplines including genetics, neuroscience, psychology, linguistics and computational modeling.

    The conference will take place 8-11 July 2024 at the Radboud University in Nijmegen. We are putting together an exciting programme with top-level key experts in the relevant fields of research. Confirmed speakers include David Poeppel (NYU, Strungmann Institute, Frankfurt), Ghislaine Dehaene-Lambertz (CNRS Paris), Vera Demberg (Universität des Saarlandes), Uri Hasson (Universiy of Princeton), Barbara Kaup (University Tübingen), Tal Linzen (NYU).

    Abstract submission for the poster session will open in October 2023.

  • 1 - 5 July 2024, 14th Panhellenic Logic Symposium (PLS14), Thessaloniki, Greece

    Date: 1 - 5 July 2024
    Location: Thessaloniki, Greece
    Deadline: Friday 22 March 2024

    The Panhellenic Logic Symposium (PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

    The Scientific Committee invites all researchers in the areas of the conference to submit their papers for presentation at PLS14. Areas of interest include (but are not limited to) Computability theory, Model theory, Set theory, Proof theory, Categorical logic, Philosophical logic, Nonclassical and modal logics, and Logic in Computer Science. Accepted papers will appear in an informal, electronic proceedings volume, which will be posted on the event's webpage. During the actual event, each accepted paper should be presented by at least one of its authors.

    Graduate students and early-career researchers are invited to submit a short, 1-page abstract on preliminary work that may not be ready for a full talk yet. Those accepted will be able to present their work in poster form in a special poster session. The session will also feature a mentoring component in which senior researchers will discuss the posters and provide feedback to the authors.

  • 13 - 14 June 2024, 23rd Annual Philosophy of Logic, Mathematics and Physics Graduate Conference, London, Canada

    Date: 13 - 14 June 2024
    Location: London, Canada
    Deadline: Monday 1 April 2024

    The graduate students of the philosophy department at Western University (London, Ontario) are excited to announce our 23rd annual Graduate Student Conference, taking place in person on June 13th and June 14th, 2024. The aim of this conference is to promote cooperation and critical engagement amongst graduate students doing research in the philosophies of physics, mathematics, and logic. We are pleased to announce that Philosopher, Dr. Marius Stan (Boston College) will be our keynote speaker.

    Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. This year, we will prioritize papers on the history of the philosophies of logic, mathematics, and physics, with a focus on the developments of the 18th, 19th, and 20th centuries. We hope to generate discussions about the deeply intertwined nature of these disciplines and to foster an awareness of the historical influence exerted by each on the others.

    For more information, see https://www.logicmathphysics.uwo.ca/?page_id=593 or contact the LMP Committee at .
  • 19 - 20 June 2024, C-FORS Graduate Conference: Constructional Approaches in the Foundations of Mathematics and Philosophy, Oslo, Norway

    Date: 19 - 20 June 2024
    Location: Oslo, Norway
    Deadline: Sunday 14 April 2024

    The advanced ERC project "C-FORS: Construction in the Formal Sciences" led by Professor Øystein Linnebo (University of Oslo) is glad to announce its first graduate conference. The topic is constructional approaches to foundations of mathematics and philosophy. The aim of the conference is to bring together graduate students working in the Philosophy of Mathematics and Logic, in Metaphysics and in Ontology and that are interested in (or critical of) constructional (i.e., iterative or hierarchical) accounts in these disciplines.

    Beside the current members of C-FORS, the discussion shall be guided by the two invited keynotes, Joel David Hamkins (Notre Dame) and Jon Erling Litland (UT Austin), who are both leading experts on topics relevant to the main theme of the conference. In addition, the conference involves the assignment of a commentator to lead the discussion on the contributed talk by each participant. Comments will be provided by three scholars that are also experts in their fields, namely Deborah Kant (Hamburg), Sam Roberts (Konstanz) and Chris Scambler (Oxford).

    Graduate students and early-career researchers (within one year from completion of their PhD) are invited to *submit abstracts (up to 1500 words) on the subject of the conference and prepared for blind review*. We particularly *encourage submissions from underrepresented groups*. The proposals should be suitable for a 35-40 minute presentation. The conference is intended to be in-person.

  • 18 - 20 September 2024, 10th International Conference on Computational Models of Argument (COMMA 2024), Hagen, Germany

    Date: 18 - 20 September 2024
    Location: Hagen, Germany
    Deadline: Thursday 18 April 2024

    The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation. This year the biennial COMMA event will be hosted at the FernUniversität in Hagen, Germany. COMMA 2024 will be preceded by the sixth edition of the Summer School on Argumentation (SSA 2024). In addition to the main conference track, COMMA 2024 will include system demonstrations, as well as workshops devoted to specific argumentation-related themes.

    We are happy to announce that the following workshops will take place prior to the COMMA 2024 conference:
     - 24th International Workshop on Computational Models of Natural Argument (CMNA 2024)
     - 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI 2024)
     - 5th International Workshop on Systems and Algorithms for Formal (SAFA 2024)

    We invite submission of original and unpublished work. Parallel submission to journals or other conferences or workshops with published proceedings is not permitted. The conference includes a Regular Track and an Innovative Applications Track. As to the latter, we encourage the submission of original papers about innovative applications, e.g., in law, medicine, e-democracy, risk assessment, intelligent user interfaces, recommender systems, argument mining etc. Innovative applications papers will be assessed in an equally rigorous reviewing procedure as regular track papers. The reviewing process is single blind. The length of each submission for both Regular and Innovative Applications papers must not exceed 12 pages.

    We also invite submissions of demonstration of systems and tools. Authors of accepted submissions will be invited to present their demonstrations during a special demonstration session. All those intending to demonstrate a system should notify the demonstrations coordinator Tjitze Rienstra by e-mail no later than 04 April 2024.

  • 7 July 2024, 5th workshop on Learning & Automata (LearnAut 2024)

    Date & Time: Sunday 7 July 2024, 23:59
    Location: Talinn, Estonia
    Deadline: Thursday 18 April 2024

    Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms.

    The aim of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods. The LearnAut workshop will consists of a number of invited talks, other talks from researchers who submitted their work to the workshop, and discussions. An important amount of time will be kept for interactions between participants.

    We invite submissions of recent work, including preliminary research, related to the theme of the workshop. The Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop. Note that accepted papers will be made available on the workshop website but will not be part of formal proceedings (i.e., LearnAut is a non-archival workshop).

    For more information, see https://learnaut24.github.io/ or contact Matteo Sammartino at .
  • 19 - 24 October 2024, 27th European Conference on Artificial Intelligence (ECAI-2024), Santiago de Compostela, Spain

    Date: 19 - 24 October 2024
    Location: Santiago de Compostela, Spain
    Deadline: Thursday 25 April 2024

    The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974.

    We invite all members of the international AI research community to submit their best work to ECAI. We welcome submissions on all aspects of AI. Submissions will be subject to double-blind peer review by the programme committee. They will be evaluated based on relevance, clarity, significance, originality, soundness, reproducibility, scholarship, and quality of presentation.

    We furthermore invite proposals for workshops and tutorials to be held during the first two days of the conference. Proposals from all subfields of AI, and organisers and presenters of all levels of seniority are welcome. Deadlines for Workshop and Tutorial proposals are respectively Monday, 15 January 2024 and Thursday, 15 February 2024.

    For more information, see https://www.ecai2024.eu/.
  • 9 - 11 September 2024, 29th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2024), Milan, Italy

    Date: 9 - 11 September 2024
    Location: Milan, Italy
    Deadline: Thursday 25 April 2024

    The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

    FMICS 2024 is co-located with FM 2024 and will be held at Politecnico di Milano in Milan, Italy.

    Papers must describe original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference, or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated.

    Submissions should clearly motivate relevance to industrial applications. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages (excluding references) formatted according to the Springer author guidelines LNCS style. Papers must be written in English.

    For more information, see https://fmics.inria.fr/2024 or contact Anne Haxthausen at , or Wendelin Serwe: at .
  • 26 - 31 May 2024, 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-25), Balaclava (Mauritius)

    Date: 26 - 31 May 2024
    Location: Balaclava (Mauritius)
    Deadline: Thursday 25 April 2024

    The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.

    In keeping with the tradition of LPAR, researchers and practitioners are in vited to submit short presentation papers (the papers can be full length, the presentation slots will be short), reporting on interesting work in progress, system and tool descriptions, experimental results, etc. They need not be original, and extended or revised versions of the papers may be submitted concurrently with or after LPAR to another conference or a journal.

    For more information, see https://lpar-25.info.
  • 8 July 2024, Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24), Tallinn, Estonia

    Date: Monday 8 July 2024
    Location: Tallinn, Estonia
    Deadline: Monday 29 April 2024

    Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.

    We solicit regular papers of up to 15 pages (including references). These must be original and not simultaneously submitted to another venue. They will be reviewed, and we plan to publish (pre- or post-) proceedings in a series like EPTCS or similar.

    In addition, we encourage the submission of abstracts (1-4 pages including references) describing work-in-progress, new ideas, challenges, or other interesting informal contributions.

    All submitted papers should be in PDF format following the EPTCS style guidelines.

  • 27 - 28 September 2024, Workshop on Truth, Definability and Quantification into Sentence Position, Vienna (Austria)

    Date: 27 - 28 September 2024
    Location: Vienna (Austria)
    Deadline: Wednesday 1 May 2024

    Can truth be defined? Frege argued that it couldn't. Ramsey argued that defining it would be easy if only we had an analysis of judgement. Today Horwich claims that truth cannot be defined explicitly because doing so would require quantification into sentence position and such quantification is not coherent. Instead he proposes a “minimal theory” of truth, which comprises all the unproblematic instances of the equivalence schema. Künne, by contrast, argues that quantification into sentence position is coherent and may actually be part of some natural languages. Künne uses such quantification to define truth explicitly: ∀x (x is true iff ∃p ((x is the proposition that p) & p)). Or in English: a representation (belief, assertion etc) is true just if things are as it represents them as being.

    Is truth definable? Is propositional quantification coherent? Do natural languages involve propositional quantification, and in what sense? What do the answers to these questions mean for philosophical attempts to define or explain truth? Is truth redundant if explicitly definable? Not redundant if not explicitly definable? We are interested in these and related questions (broadly conceived).

    Confirmed speakers are: Peter Fritz (Australian Catholic University), Paul Horwich (New York University), Wolfgang Künne (University of Hamburg), Poppy Mankowitz (University of Bristol)  and Cheryl Misak (University of Toronto).

    We invite submissions of extended abstracts (1000 words max.) for up to 3 further talks. Please send your anonymized abstracts by 22 March 2024 to . Selected speakers will be notified by mid April. We will cover accommodation of selected speakers (and on application offer them a travel subsidy of up to 400 Euros).

  • 9 - 11 October 2024, The Making of the Humanities XI, Lund, Sweden

    Date: 9 - 11 October 2024
    Location: Lund, Sweden
    Deadline: Wednesday 1 May 2024

    The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of fields, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

    This year’s special conference theme is "Shifting Cultures of Knowledge in the History of the Humanities". In 2024, we encourage papers that address the history of the humanities in relation to broader, multidisciplinary studies on knowledge and scholarship. 

    We welcome panels and papers on any period or region. We are especially interested in work that transcends the history of specific humanities disciplines by comparing scholarly practices across disciplines and civilisations. Abstracts of single papers (30 minutes including discussion) should contain the name of the speaker, full contact address (including email address), the title and a summary of the paper of maximally 250 words.  Although we invite submissions that explore this year's special conference theme, we remain fully open to abstracts addressing other subjects as well.

  • 9 - 10 September 2024, 20th International Conference on Formal Aspects of Component Software (FACS 2024), Milan, Italy

    Date: 9 - 10 September 2024
    Location: Milan, Italy
    Deadline: Wednesday 8 May 2024

    FACS 2024 is concerned with how formal methods can be applied to component- based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions.

    Invited speakers: Ana Cavalcanti (University of York, UK), David Parker (University of Oxford, UK) and Geguang Pu (ECNU, China). FACS 2024 is co-located with the 26th international symposium on formal methods (FM 2024).

    We solicit high-quality submissions reporting on:
    A - full papers: original research, applications and experiences, or surveys (16 pages);
    B - short papers: tools and demonstrations (6 pages);
    C - Special track papers (16 pages);

    All submitted papers should be in LNCS format and unpublished and not submitted for publication elsewhere. Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. All accepted papers will have to be presented at the conference by one of their authors.

    For more information, see https://facs-conference.github.io/2024/.
  • (New) 11 - 12 September 2024, 28th Workshop on the Semantics and Pragmatics of Dialogue (SemiDial 2024 / Trentologue), Trento, Italy

    Date: 11 - 12 September 2024
    Location: Trento, Italy
    Costs: cimec@unitn.it
    Deadline: Sunday 26 May 2024

    TrentoLogue will be the 28th edition of the SemDial workshop series  which aim to bring together researchers working on the semantics and  pragmatics of dialogue in fields such as formal semantics and  pragmatics, computational linguistics, artificial intelligence,  philosophy, psychology, and neuroscience.

    Keynote speakers: Uri Hasson, Princeton University Azzurra Ruggeri, Max Planck Institute Bernardo Magnini, Fondazone Bruno Kessler  (FBK).

    We welcome submissions with formal, computational, and empirical approaches to the semantics and pragmatics of dialogue.
    Long papers: Authors should submit an anonymous paper of at most 8  pages of content (up to 2 additional pages are allowed for references).
    Short papers: Authors should submit a non-anonymized paper of at most  2 pages of content (up to 1 additional page allowed for references). Submissions to this track can be non-archival on request.

  • (New) 16 - 18 September 2024, 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024), Bucharest, Romania

    Date: 16 - 18 September 2024
    Location: Bucharest, Romania
    Deadline: Saturday 1 June 2024

    The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

    The RuleML+RR 2024 conference is part of the event “Declarative AI: Rules,
    Reasoning, Decisions, and Explanations” (https://2024.declarativeai.net) and
    is co-located with DecisionCAMP 2024 and the Reasoning Web Summer School. Apart from the main track, it features the Rule Challenge, a Doctoral Consortium, an Industry Track and a Project Networking Session as associated events.

    RuleML+RR welcomes research from all areas of Rules and Reasoning. High-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications concerning explainable algorithmic decision-making that involve rule-based representation and reasoning are solicited. Main track Title and abstract submission deadline: June 1st, 2024.
    Associated events (Rule Challenge, Doctoral Consortium, Industry Track, and Project
    Networking Session) Paper submission deadline: July 21st, 2024.

    For more information, see https://2024.declarativeai.net/events/ruleml-rr or contact Ahmet Soylou at .
  • 18 - 21 June 2024, Cracow Logic Conference (CLoCk) 69 and Trends in Logic 24, Kraków, Poland

    Date: 18 - 21 June 2024
    Location: Kraków, Poland
    Deadline: Tuesday 18 June 2024

    The Department of Logic of the Jagiellonian University and Studia Logica organise a common event: Cracow Logic Conference 69 and Trends in Logic 24 -- 90 Years of Studia Logica with a historical lecture on Jan Łukasiewicz 1934 Studia Logica volume.

    Cracow Logic Conference (CLoCk) is the oldest Polish conference series on logic. For many years it existed under a deceptive name Konferencja Historii Logiki (Conference on the History of Logic), and was for the most part limited to the Polish logic community.  Since 2023 CLoCk went truly international and welcomes contributions on all areas of logic, as long as they are mathematical in the sense once conveyed by the name symbolic logic.

    Trends in Logic is the conference series of the journal Studia Logica aimed at worldwide promotion of logic and Studia Logica. The series began in 2003, and have been held annually at different logic centres. The series has been instrumental in increasing the visibility of Studia Logica and elevating its international standing.

    We call for papers on all areas of mathematical logic; we will also accept a limited number of non-mathematical contributions on history and/or philosophy of logic. Paper submission is via EasyChair.All papers must be original and not simultaneously submitted to another journal or conference. The list of our preferred topics include Algebraic logic, Model theory, Proof theory, Philosophical logic, History of logic.

    For more information, see https://iphils.uj.edu.pl/~trends-in-logic.
  • 15-19 July 2024 & 8-9 July 2024, 14th International Conference on Formal Ontology in Information Systems (FOIS 2024), Enschede (Netherlands) & online

    Date: 15-19 July 2024 & 08-09 July 2024
    Location: Enschede (Netherlands) & online
    Deadline: Monday 8 July 2024

    Formal ontology is the systematic study of the types of entities and relations making up the domains of interest represented in modern information systems. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology. FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology.

    FOIS 2024 will be held both online (8-9 July 2024) and in Enschede, the Netherlands (15-19 July 2024), by the Semantics, Cybersecurity & Services group of the University of Twente. The conference includes the following: Contributed Lectures - Workshops - Joint Ontology Workshops (JOWO) - Tutorials - Ontology showcase - Demonstrations - Project exhibitions.

    The conference encourages the submission of high-quality, not previously published results on both theoretical issues and practical advancements. FOIS 2024 seeks three types of full-length (14 pages) high-quality papers on a wide range of topics:-  Foundational papers address content-related ontological issues, their formal representation, and their relevance to some aspects of information systems. - Application and Methods papers address novel systems, methods, and tools related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents. - Domain ontology papers describe a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use.

    FIOS 2024 also currently calls for Workshop Proposals (submission deadline: 14 december) and

    Journal-first Paper submission (submission deadline: 17 April 2024).

Upcoming conferences

  • 30 - 31 March 2024, 4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM IV): "The Connectives in Logic and Language", Beijing, China

    Date: 30 - 31 March 2024
    Location: Beijing, China

    The propositional connectives – and, or, not, if-then, etc. – are fundamental building blocks in formal as well as natural languages. Propositional Logic is the fundament of practically all current systems of logic; every beginning logic course starts with it. Still, the proof theory and semantics of systems of propositional logic are far from trivial, and have been studied intensely by logicians in the last one and a half century, not least in recent decades. Perhaps the most familiar recent work in this area concerns conditionals in formal and natural languages. In this workshop we also focus on the apparently simpler connectives expressing (various versions of) conjunction, disjunction, and negation.

    Researchers working from a cross-linguistic perspective also focus on how the connectives are encoded in different languages, and ask whether classical logic is capable of capturing the variations and universals exhibited. There is also growing interest in the acquisition and processing of natural language connectives. In the context of the hotly discussed Large Language Models (LLMs), understanding connectives presents novel challenges that deserve in-depth exploration.

    The idea behind the TLLM workshops is to bring together logicians and linguists around a specific theme of common interest. Thus, we welcome contributions on any general or particular aspect of the propositional connectives in logic or languag.

    For more information, see http://tsinghualogic.net/JRC/tllm/2024connectives/ or contact Jialiang Yan at .
  • 6 - 7 April 2024, 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2024), Luxembourg City, Luxembourg (co-located with ETAPS)

    Date & Time: 6 - 7 April 2024, 23:59
    Location: Luxembourg City, Luxembourg

    Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

    CMCS 2024 will take place on April 6-7, 2024, as a satellite event of ETAPS 2024 in Luxembourg City. The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.

    For more information, see https://www.coalg.org/cmcs24/ or contact Henning Urbat at .
  • 6 - 11 April 2024, 27th European Joint Conferences on Theory and Practice of Software (ETAPS 2024), Luxembourg City, Luxembourg

    Date: 6 - 11 April 2024
    Location: Luxembourg City, Luxembourg

    ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998 , is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2024 is the twenty-seventh event in the series.

    Main conferences:
    * ESOP: European Symposium on Programming
    * FASE: Fundamental Approaches to Software Engineering
    * FoSSaCS: Foundations of Software Science and Computation Structures
    * TACAS: Tools and Algorithms for the Construction and Analysis of Systems

    For more information, see https://etaps.org/2024.
  • 8 - 11 April 2024, 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), Sheffield, UK

    Date & Time: 8 - 11 April 2024, 18:00
    Location: Sheffield, UK

    The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research.

    Invited Speakers:
    * Georg Gottlob, University of Oxford
    * Phokion Kolaitis, University of California Santa Cruz and IBM Research
    * Andrei Popescu, University of Sheffield
    * Uli Sattler, University of Manchester

    For more information, see https://foiks2024.github.io/ or contact .
  • 9 - 11 April 2024, 1st Conference of the European Network for Digital Democracy (EDDY), Rotterdam

    Date & Time: 9 - 11 April 2024, 09:00-17:00
    Location: Rotterdam

    In recent years, digital democracy has become a subject of academic research and is being put into practice around the world. However, the scientific investigations and practices of digital democracy are currently still living mostly in separate universes. The aim of this conference is to further advance digital democracy, by bringing together academics and practitioners actively working on or with digital democracy. This way we want to foster collaboration and knowledge exchange.

  • (New) 9 April 2024, 20 Years of MBCS

    Date & Time: Tuesday 9 April 2024, 13:00-17:30
    Location: Pakhuis de Zwijger, Piet Heinkade 179, Amsterdam

    As you may have already heard, the research master Brain and Cognitive Sciences (MBCS) is celebrating its 20th anniversary on April 9, from 13:00 - 17:30 in Pakhuis de Zwijger. As many of ILLC members have been instrumental in making the programme a success, you are of course also very welcome to join us in the festivities. If you are interested, please sign up before 1 april 2024.

    For more information, see here or contact Vincent Tijms at .
  • poster-proofs-rules-and-meanings.png

    11 - 12 April 2024, Workshop "Proofs, Rules, and Meanings"

    Date: 11 - 12 April 2024
    Location: St Andrews (Scotland) and online
    Costs: free

    We invite registrations for the workshop 'Proofs, Rules, and Meanings'. This interdisciplinary event is set to take place at the Arché Research Centre, University of St Andrews, (and livestreamed via Microsoft Teams) on 11th and 12th April 2024. It explores the relationship between proofs, rules, and meanings through the lens of proof-theoretic semantics.

    Emphasizing the interdisciplinary nature of the topics, this workshop will feature presentations on:
     - the contemporary logical and philosophical dimensions of proof-theoretic semantics;
     - its historical roots and precursors; and
     - its fruitful applications in philosophy, linguistics, computer science, mathematics, and beyond.

  • 11 - 13 April 2024, Foundations of Mathematics, Truth, and Implicit Commitments (FOMTIC), Warsaw, Poland

    Date: 11 - 13 April 2024
    Location: Warsaw, Poland

    In recent years, the notion of implicit commitments has received new attention in the Philosophy of Mathematics. Focusing on theories of foundational interest, in which substantial parts of mathematics can be reconstructed, philosophers, mathematicians, and logicians have been trying to determine the extent of the commitments (if there are any) implicit in foundational theories. This investigation started in the 60s with the work of Solomon Feferman and others on the so-called' reflection principles', statements expressing, for a given theory S, that S is sound. Famously, Feferman investigated whether, for a foundational theory S, such reflection principles are implicit commitments of S. Since the 60s, Feferman's investigation generated an enormous amount of literature and research programmes. Although much progress has been made in our understanding of implicit commitments, much work is still needed.

    Our conference aims to provide a platform to gather philosophers, mathematicians, and logicians working on implicit commitments and related notions in the context of philosophy and the foundation of mathematics.

    For more information, see here or contact .
  • Poster_Juniorendag2024.jpg

    19 April 2024, Anéla-/VIOT-Juniorendag 2024, Nijmegen, the Netherlands

    Date & Time: Friday 19 April 2024, 09:00
    Location: Nijmegen, the Netherlands
    Target audience: Researchers in the field of applied linguistics, including BA and MA students, PhD researchers and senior researchers

    On Friday, 19 April 2024, the Radboud University of Nijmegen will host the Juniorendag, organized by Anela and VIOT. BA and MA students, recently graduated students, and PhD candidates can present their thesis or their doctoral research at the Juniorendag in the field of applied linguistics (language use, language acquisition, language teaching, language proficiency or communication) in an informal atmosphere. In addition, the Anela-VIOT Thesis Award will be awarded during this day to the best MA thesis in the field of applied linguistics.

  • 22 - 23 April 2024, CIBD: Workshop on Theory and Applications of Craig Interpolation and Beth Definability

    Date: 22 - 23 April 2024
    Location: Amsterdam, the Netherlands
    Costs: Free

    The aim of this workshop is to bring together experts from different research communities (such as proof theory, model theory, proof complexity, verification, database theory, knowledge representation, automated reasoning, automata theory, philosophy, linguistics) in order to discuss and disseminate recent and ongoing research pertaining to Craig interpolation and Beth definability.

    Invited speakers: Michael Benedikt (University of Oxford, tbc), Raheleh Jalali (Czech Academy of Sciences), Jean Christoph Jung (TU Dortmund University), George Metcalfe (University of Bern), Thomas Place (LaBRI Bordeaux) and Philipp Ruemmer (University of Regensburg).

    For more information, see https://cibd.bitbucket.io/ or contact Balder ten Cate at .
  • 25 April 2024, CfP: Abstract Concepts/ Perception/ and Language, 25th April 2024, Cambridge, UK

    Date: Thursday 25 April 2024
    Location: Cambridge, UK

    This event, organised by members of the Semantics, Pragmatics, and Philosophy (SPP) research group of the University of Cambridge, aims to bring together those interested in abstract concepts across disciplinary boundaries. This workshop aims to encourage and explore innovative ways, both theoretical and experimental, of analysing and understanding the meaning of abstract concepts. This could include work on topics such as time, conceptual engineering, investigations into concepts such as freedom or justice, processing of abstract concepts, or diachronic investigations of scientific or social abstract concepts, to name just a few. 

    The workshop aims to be an environment in which PhD and graduate students may present their work and get feedback from their peers, as well as those who may not traditionally fall within their discipline's boundaries.  The event will also include talks from three academics: Dr. Sean Enda Power (University of Cork), Dr. Derek Ball (St Andrews University), and Prof. Kasia Jaszczolt (University of Cambridge). 

  • 26 April 2024, LogIn Project Workshop: Amplifying underrepresented voices in formal philosophy, London, UK

    Date: Friday 26 April 2024
    Location: London, UK

    The workshop aims to bring together researchers who work on formal philosophy broadly construed who are either members of traditionally underrepresented groups or who work outside of what is perceived as ``traditional’’ topics in logic and formal philosophy. It will be an occasion for dialogue between researchers who identify as members of underrepresented groups in academia and researchers who work on topics generally regarded as non-standard in the academic tradition.

    Confirmed speakers include: Gillian Russell (ANU), Sara Uckelman (Durham) and Frederique Jannsen-Lauret (Manchester). The workshop will be followed by a panel discussion on how to make formal academic philosophy a more inclusive environment.

  • 13 - 17 May 2024, DiλLL 2024: Differential λ-Calculus and Differential Linear Logic - 20 Years Later, Marseille, France

    Date: 13 - 17 May 2024
    Location: Marseille, France

    Twenty years after the publication of Ehrhard and Regnier’s first seminal paper on the subject, we are delighted to announce a conference on Differential λ-calculus and Differential Linear Logic, nicknamed DiλLL 2024. The programme will consist in a series of invited talks, a good proportion of which will be tutorials, targeted at young researchers as well as non-specialists. It will also include surveys of the main advances obtained in the course of twenty years, as well as research talks on current topics. For young researchers, it will also be possible to display posters in the premises of the conference during the whole week, in order to foster discussion around your work.

  • 16 - 18 May 2024, Formal Methods and Science in Philosophy V, Dubrovnik, Croatia

    Date: 16 - 18 May 2024
    Location: Dubrovnik, Croatia
    Costs: 135 EUR / 100 EUR (retired participants, students)

    The general subject of the conference are problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are formulated or solved using formal methods (as defined in logic, mathematics, formal linguistics, theoretical computer science, information science, AI) and/or with references to the results of natural and social sciences.

    The following special topics will be addressed:
    – use of formal methods in philosophy,
    – philosophical analysis of scientific notions (natural law, matter, change, cause, chance, time, space, uncertainty, quantum phenomena, probability, social interaction, etc.),
    – philosophical analysis of scientific methods (formalisms, rationality, values, norms, etc.),
    – the role and use of scientific notions and methods in philosophy (formal systems in philosophy, critical analysis, systematic philosophy, etc.).

    There will be a PhD student session with 20 minutes talks followed by 10 minutes discussion.

    For more information, see https://www.ifzg.hr/fmsph/ or contact .
  • 22 - 24 May 2024, Symposium "Engaging Rationality Today", Lille, France

    Date: 22 - 24 May 2024
    Location: Lille, France

    The international symposium "Engaging Rationality Today" will bring together specialists from multiple disciplines (philosophy, logic, psychology, anthropology, linguistics, etc.) to reflect collectively on contemporary meanings and uses of rationality. The current Western cultural context, which is marked by numerous challenges (war, fake news, A.I., populism) and critiques (post-colonialism, feminism, etc.), requires a reevalutation of the classic notion of rationality. They show the limits of the classical notion, grounded on concepts like objectivity, universality, argumentation, and causal relationships. But accepting every new conception without criteria seems to give way to relativism, thus leading to a dilemma. The symposium "Engaging Rationality Today" aims at tackling this dilemma by creating a space of dialogue between various conceptions of rationality. To do so, it is not only a question of examing what rationality is, but also, and above all, a question of studying the limits, blindspots, and problematic uses of the proposed definitions of rationality. The aim of the present project is to provide a comprehensive view of how rationality is currently understood, from various perspectives (philosophy, psychology, linguistics, etc.). We hope that by examining rationality’s multifaceted aspects, including what falls outside of the proposed definitions, contributors will be encouraged to reevalute their own defninitions through dialogue with others.

  • 24 - 25 May 2024, 2nd Logic and Philosophy: Historical and Contemporary Issues Conference, Vilnius, Lithuania

    Date: 24 - 25 May 2024
    Location: Vilnius, Lithuania

    Logic and Philosophy is a biennial conference organised and hosted by Vilnius University. The conference is intended as a venue for philosophical discussions on logic broadly construed. We invite submissions that address philosophy of logic, philosophical issues related to classical or non-classical logics, the history of logic, and philosophical applications of logic.

    Invited speakers: Timothy Williamson (Oxford / Yale), Graham Priest (CUNY), Sara L. Uckelman (Durham), Iryna Khomenko (Kyiv). A special session, with contributions by Timothy Williamson and Graham Priest, dedicated to the nature of logic and validity is planned as part of the programme. Related talks are particularly welcome.

  • _2023-12-02_103938.png

    25 - 26 May 2024, International Workshop on Logic and Philosophy: “Agency and Intentionality: Collective and Individual”

    Date & Time: 25 - 26 May 2024, 10:00-17:00
    Location: Tsinghua University, Beijing
    Target audience: Scholars and students interested in the interaction of logic and philosophy
    Costs: free

    The theme of the workshop is "Agency and intentionality: collective and individual". Collective intentionality and collective agency, and closely related topics such as common knowledge, team reasoning, public announcement and other forms of group communication, are among the key issues that are being studied right now in a variety of frameworks.

    Some of these frameworks are parsimonious extensions of frameworks for individual agency and individual intentionality, whereas others employ a more extended conceptual and ontological apparatus. And some of the analyses are primarily analytical and conceptual, while others are logical and formal. The main goal of the workshop is to bring these together to exchange results and discuss different views.

    Invited speakers: Branden Fitelson (Northeastern University), Marc Slors (Radboud University Nijmegen), Sonja Smets (University of Amsterdam) and Deborah Tollefsen (The University of Memphis).

    For more information, see http://tsinghualogic.net/JRC/3rdilpw/ or contact Yiyan Wang at .
  • 3 - 21 June 2024, CMU Summer School in Logic and Formal Epistemology, Pittsburgh, USA

    Date: 3 - 21 June 2024
    Location: Pittsburgh, USA

    The Department of Philosophy at Carnegie Mellon University hosts a summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences. During this three-week, intensive program, we introduce a small group of approximately 25 promising students to cross-disciplinary fields of research at an early stage in their career, forging lasting links between these disciplines along with friendships and professional contacts. 

    Programme:
    June 3-7: Francesca Zaffora Blando & Krzysztof Mierzewski "Chance and Randomness"
    June 10-14: Jonas Frey & Reid Barton "Categorical Semantics and Synthetic Topology"
    June 17-21: Clark Glymour & Kun Zhang "The Logic of Discovery"

  • 4 - 6 June 2024, 16th NASA Formal Methods Symposium (NFM 2024), Moffett Field, California/US

    Date: 4 - 6 June 2024
    Location: Moffett Field, California/US

    The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification processes. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

    This year’s symposium extends the focus to safety assurance of machine learning enabled autonomous systems, formal methods for digital transformation, and accessibility for new industries. There will be a tool demonstration session at the conference, where tool developers get to showcase their tools interactively with the attendee.

  • 11 - 14 June 2024, Workshop "Ramsey Theory in Logic, Combinatorics and Complexity" (RaTLoCC 2024), Pisa, Italy

    Date: 11 - 14 June 2024
    Location: Pisa, Italy

    The workshop wants to offer an opportunity for the communities working in proof theory of arithmetic, in reverse mathematics, in finite and infinite combinatorics of Ramsey theory, in proof complexity, and in bounded arithmetic, to be exposed to one another's recent results, methods, and goals.

    The goals of the workshop are to stimulate the interaction between researchers in the above-mentioned areas, to enhance the transfer of methods from one area to the other, as well as to set the ground for a unifying view on the logico-combinatorial study of combinatorial principles, such as Ramsey-type statements.

  • 17 - 21 June 2024, 21st International Conference on Unconventional Computation and Natural Computation (UCNC 2024), Pohang, Republic of Korea

    Date: 17 - 21 June 2024
    Location: Pohang, Republic of Korea

    The International Conference on Unconventional Computation and Natural Computation (UCNC) series is a forum bringing together scientists from many different backgrounds who are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 21st International Conference on Unconventional Computation and Natural Computation (UCNC 2024) will be held at the Pohang University of Science and Technology, Pohang, Republic of Korea on June 17-21, 2024 and will continue the tradition of focusing on current important theoretical and experimental results and their critical evaluation.

    For more information, see https://sites.google.com/view/ucnc-2024/ or contact .
  • 18 - 21 June 2024, 37th International Workshop on Description Logics (DL 2024), Bergen, Norway

    Date: 18 - 21 June 2024
    Location: Bergen, Norway

    The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 37th edition will be held in Bergen, Norway, from June 18th to June 21st.

    For more information, see https://dl2024.w.uib.no/ or contact .
  • LOGO_Large.jpeg

    24 - 28 June 2024, Logic Colloquium 2024 (LC 2024), Gothenburg, Sweden

    Date: 24 - 28 June 2024
    Location: Gothenburg, Sweden

    The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. In 2024, the meeting will be held 24-28 June at the University of Gothenburg in Sweden.

    The 2024 meeting will run for five days and comprise 10 plenary lectures, 3 tutorials and 6 special sessions as well as contributed talks. In addition, the 2024 Goedel Lecture will be delivered at the meeting.

    For more information, see https://lc2024.se or contact LC 2024 Organisers at .
  • 24 June - 5 July 2024, Vienna Inner Model Theory 2024, Vienna, Austria

    Date: 24 June - 5 July 2024
    Location: Vienna, Austria

    There will be two consecutive Inner Model Theory Events in Vienna this summer.

    1) June 24-28, 2024 at the Erwin Schrödinger Institute (ESI), Vienna
    This will be a conference focussing on new developments in inner model theory and connections to Large Cardinals, Determinacy and Forcing Axioms. The first week will be an invitation only workshop. Please let us know as soon as possible if you are interested in attending this meeting as space is limited.

    2) July 1-5, 2024 at TU Wien
    In this second week there will be three tutorials focussing on recent developments in inner model theory by Gabriel Goldberg, Nam Trang, and Farmer Schlutzenberg. The talks will take place in the mornings, followed by a light lunch buffet and ample of time for questions and discussions in smaller groups in the afternoons.

    For more information, see https://vimt2024.conf.tuwien.ac.at/ or contact Sandra Müller at .
  • taclLogo.png

    25 June - 5 July 2024, Topology, Algebra, and Categories in Logic (TACL 2024), Barcelona, Spain

    Date: 25 June - 5 July 2024
    Location: Barcelona, Spain

    Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order and model theory. The programme of the conference TACL 2024 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical and topological methods.

    Programme:
    School: June 25-28, 2024 (Barcelona)
    Conference: July 1-5, 2024 (Barcelona)

    For more information, see https://iiia.csic.es/tacl2024/ or contact Sara Ugolini at .
  • 26 - 28 June 2024, Fifteenth Conference on Logic and the Foundations of Game and Decision Theory (LOFT15), Bayreuth, Germany

    Date: 26 - 28 June 2024
    Location: Bayreuth, Germany

    This is the 15th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers that bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics, and mind sciences.

    Invited Speakers: Julia Staffel (University of Colorado Boulder), Thomas Bolander (Technical University of Denmark) and Willemien Kets (Utrecht University).

  • 26 - 28 June 2024, DCAI Special Session on Computational Linguistics/ Information/ Reasoning/ and AI (CLIRAI), Salamanca, Spain

    Date: 26 - 28 June 2024
    Location: Salamanca, Spain

    Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to the phenomena of partiality, underspecification, perspectives of agents, and context dependency. These phenomena are signature features of information in nature, natural languages, and reasoning.

    The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of language, thought, reasoning, and other related processes.

    For more information, see https://www.dcai-conference.net/tracks/special-sessions/clirai or contact Roussanka Loukanova at .
  • 1 - 3 July 2024, International Logic Olympiad 2024, Stanford, (USA)

    Date: 1 - 3 July 2024
    Location: Stanford, (USA)

    Offering high school students worldwide a chance to showcase excellence in logic and problem-solving, this contest is designed by the Stanford Logic Group, with aims to internationalize logic education and culminates in an on-campus final round at Stanford University.

    For more information, see https://www.logicolympiad.org/.
  • 1 - 5 July 2024, 4th Tsinghua Logic Summer School, Beijing, China

    Date: 1 - 5 July 2024
    Location: Beijing, China
    The Tsinghua University University of Amsterdam Joint Research Centre for Logic initiated a Logic Summer School Program in the year 2021. The program is primarily aimed at advanced undergraduate students, graduate students, and early career researchers in philosophy, computer science, mathematics, linguistics, cognitive sciences, and so on. Students and colleagues can learn here about the latest developments in logic interfacing with the aforementioned disciplines, including their theoretical results and technical backgrounds. The courses are particularly designed to supplement the logic courses that are taught in the usual curriculum.

    Courses:
    * Team semantics: Linguistic and Philosophical Applications by Maria Aloni (UvA)
    * The Modal μ-calculus by Yde Venema (UvA)

    For more information, see http://tsinghualogic.net/JRC/toss/toss2024cfp/ or contact Chenwei Shi at .
  • 1 - 6 July 2024, The 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France

    Date: 1 - 6 July 2024
    Location: Nancy, France

    IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger conference of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods Topics).

    A two-day workshop and tutorial programme will be co-organized with the conference. In addition, the annual CADE ATP System Competition (CASC) will be held during the conference. 

    For more information, see https://ijcar2024.loria.fr/.
  • 2 - 5 July 2024, Leeds Computability Days 2024: Computability, Reverse Mathematics, and Topology (LCD 2024), Leeds, UK

    Date: 2 - 5 July 2024
    Location: Leeds, UK

    We are pleased to announce that Leeds Computability Days 2024: Computability, Reverse Mathematics, and Topology (LCD 2024) will take place 02-05 July 2024 at the University of Leeds.

    Student members of the ASL may apply for modest travel awards to attend (deadline 31 March 2024).

    For more information, see https://www.computability.org/lcd2024/ or contact Paul Shafer at .
  • 8 - 12 July 2024, 51st EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2024), Tallinn, Estonia

    Date: 8 - 12 July 2024
    Location: Tallinn, Estonia

    ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 7.

    ICALP 2024 is co-located with Logic in Computer Science (LICS) 2024 and Formal Structures for Computation and Deduction (FSCD) 2024. The conference is planned as a physical, in-person event.  During the conference, the following awards will be delivered: the EATCS award,  the Gödel prize,  the Presburger award, the EATCS distinguished dissertation award, the best papers for each of the conference tracks, and the best student papers for each of the conference tracks.

    For more information, see https://compose.ioc.ee/icalp2024/.
  • 8 - 12 July 2024, Computability in Europe 2024: Twenty years of theoretical and practical synergies, Amsterdam, The Netherlands

    Date: 8 - 12 July 2024
    Location: Amsterdam, The Netherlands

    CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

    The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. CiE 2024 will be an anniversary event. It is the 20th conference organized by Ci , in the same place as the first edition, Amsterdam.

  • Greifswald_1652_Merian.jpg

    15 - 17 July 2024, Formal Ethics 2024 (FE2024), Greifswald, Germany

    Date: 15 - 17 July 2024
    Location: Greifswald, Germany

    “Formal Ethics” is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts and theories in moral and political philosophy. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on freedom and responsibility, welfare economics and population ethics, deontic logic and natural language semantics, value theory, and the evolution of norms and conventions.

    Invited speakers: Justin Bruner (University at Buffalo), Fabrizio Cariani (University of Maryland) and Anne Schwenkenbecher (Murdoch University).

    For more information, see https://www.wiko-greifswald.de/formal-ethics-2024/ or contact Allard Tamminga at .
  • 15 - 26 July 2024, The 2nd European Summer School in Artificial Intelligence (ESSAI 2024), Athens, Greece

    Date: 15 - 26 July 2024
    Location: Athens, Greece

    ESSAI 2024 is the second edition of the annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI 2024 will provide an interdisciplinary setting in which courses are offered in all areas of Artificial Intelligence and also from wider scientific, historical, and philosophical perspectives. ESSAI is a central meeting place for students and young researchers in Artificial Intelligence to discuss current research and share knowledge. Courses will consist of five 90-minute sessions, offered daily (Monday-Friday) in a single week, to allow students to develop in-depth knowledge of a topic.

    For more information, see https://essai2024.di.uoa.gr/.
  • 21 July - 4 August 2024, Course "Logic as a Tool for Modelling", Amsterdam, The Netherlands

    Date: 21 July - 4 August 2024
    Location: Amsterdam, The Netherlands

    The course "Logic as a tool for modelling" is part of the VU Amsterdam's summer school. The aim of the course is to introduce participants to the study of various types of logic as a versatile tool for elegantly modelling diverse phenomena. The overarching theme in the handling of applications is the notion of categories and categorisation. The course starts by discussing classical logic, through both semantics and syntax, as well as applications in the social sciences, addressing agency, and information flow. Then it focuses on various theories of categorization from Aristotle's classical perspective to modern prototype and exemplar theory and introduces logical formalisms that encompass these various views. The last part delves into formal linguistics, where words are categorized based on their role in sentence formation.

  • 22 - 24 July 2024, MCMP Summer School for Widening Participation in Mathematical Philosophy, Munich, Germany

    Date: 22 - 24 July 2024
    Location: Munich, Germany

    Following a series of eight successful MCMP-organized summer schools on mathematical philosophy for female students, the Munich Center for Mathematical Philosophy (MCMP) will this year broaden its offering, with a summer school for women and members of other groups that are under-represented in formal philosophy. These groups include under-represented gender identities, races and ethnicities, people with disabilities, people from low income and non-academic family backgrounds.

    The school's aim is to encourage students to engage with mathematical and scientific approaches to philosophical problems, and thereby help to redress the under-representation of women and other marginalized groups in formal philosophy. It offers the opportunity for study in an informal and interdisciplinary setting, for lively debate, and for the development of a network of students and professors interested in the application of formal methods to philosophy. This edition of the summer school will feature lectures by: Jingyi Wu (LSE): “Models of Diversity and Injustice” Sara Uckelman (Durham University): “What History of Logic Can Teach Us About the Future of Logic”. In addition, there will be an evening lecture by Barbara Vetter (FU Berlin): “First-generation philosophers: why they matter, and how to support them”.

  • 29 July - 9 August 2024, ESSLLI 2024 Student Session, Leuven, Belgium

    Date: 29 July - 9 August 2024
    Location: Leuven, Belgium

    The Student Session of the 35th European Summer School in Logic, Language, and Information (ESSLLI) will take place at ESSLLI 2024, on 29 July - 9 August 2024 in Leuven, Belgium. This is an excellent opportunity for students to receive valuable feedback from expert readers and to present their work to a diverse audience.

    For more information, see https://2024.esslli.eu/.
  • Prague.jpg

    19 - 23 August 2024, 15th International Conference on Advances in Modal Logic (AiML 2024), Prague, Czech Republic

    Date: 19 - 23 August 2024
    Location: Prague, Czech Republic

    Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2024 will be co-located with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).

    For more information, see https://www.cs.cas.cz/aiml2024/ or contact Agata Ciabattoni at , or David Gabelaia at .
  • 25 August - 1 September 2024, 14th International School on Rewriting (ISR 2024), Obergurgl, Austria

    Date: 25 August - 1 September 2024
    Location: Obergurgl, Austria

    Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification. The 14th International School on Rewriting takes place in Obergurgl, Austria.  The School is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications.

    It offers three parallel tracks, taught by well-known experts:
    - Track A: comprehensive introduction to first-order term rewriting, lecturer: Aart Middeldorp
    - Track B: comprehensive introduction to type theory and lambda calculus, lecturers: Herman Geuvers and Niels van der Weide
    - Track C: advanced courses on - Interoperability of Proof Systems using Lambdapi lecturer: Frederic Blanqui - Randomized Programming and Rewriting lecturer: Ugo Dal Lago - Tools in Rewriting lecturer: Nao Hirokawa - Termination and Complexity in Higher-Order Term Rewriting lecturer: Cynthia Kop - SAT/SMT Solving and Applications in Rewriting lecturer: Sarah Winkler.

    For more information, see http://cl-informatik.uibk.ac.at/isr24/.
  • 26 - 28 August 2024, Seventh Philosophy of Language and Mind Network Conference (PLM7), Prague

    Date: 26 - 28 August 2024
    Location: Prague
    Target audience: Philosophers of language and mind

    PLM is a European network of centers devoted to the Philosophy of Language and Mind. PLM was founded in 2010 and organizes international conferences, workshop and master classes taught by leading experts in the field.

    For more information, see https://plm7.auletris.com/ or contact .
  • 9 - 10 September 2024, 6th International Conference on Computational Linguistics in Bulgaria (CLIB 2024), Sofia, Bulgaria

    Date: 9 - 10 September 2024
    Location: Sofia, Bulgaria

    Computational Linguistics in Bulgaria (CLIB) is an international conference that aims at exploring novel approaches and methods in computational linguistics and natural language processing (NLP), especially with a view to their application to small and less-resourced languages such as Bulgarian and the bridging of the discrepancies between big and small languages with respect to language technologies.

    For more information, see http://dcl.bas.bg/clib/ or contact .
  • 9 - 13 September 2024, 2nd European Summer School on the Philosophy of Mathematics, Vienna, Austria

    Date: 9 - 13 September 2024
    Location: Vienna, Austria

    The second European Summer School on the Philosophy of Mathematics aims to bring together Master and PhD students interested in the connection between philosophy and mathematics, giving them the opportunity to discuss related topics with leading scholars in the field. Topics will be selected reflecting participants’ interests and may include:
    * Mathematical knowledge and mathematical understanding
    * Justification and representation in mathematics
    * Informal proofs and mathematical rigor
    * The role of intuition and diagrams in mathematical reasoning
    * Experimental mathematics and mathematical practice
    * Mathematical ontology

    The School will include tutorials by Jessica Carter (Aarhus University), Yacin Hamami (ETH Zurich) and Leon Horsten (University of Konstanz), as well as a training unit on "Quantitative and qualitative empirical methods for philosophers of mathematics" by Matthew Inglis and Deborah Kant.

  • 9 - 14 September 2024, 15th Conference on Interactive Theorem Proving (ITP 2024), Tbilisi, Georgia

    Date: 9 - 14 September 2024
    Location: Tbilisi, Georgia

    The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. This will be the 15th conference in the ITP series, while predecessor conferences from which it has evolved have been going since 1988.

    For more information, see https://www.viam.science.tsu.ge/itp2024/ or contact .
  • (New) 15 - 21 September 2024, Autumn school "Proof and Computation", Fischbachau, Germany

    Date: 15 - 21 September 2024
    Location: Fischbachau, Germany
    Target audience: Graduate or PhD students and young postdoctoral researchers

    This year's international autumn school "Proof and Computation" will be held from 15th to 21st September 2024 in Fischbachau near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

    Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

    For more information, see http://www.mathematik.uni-muenchen.de/~schwicht/pc24.php or contact Chuangjie Xu at .