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.

This workshop explores the philosophy of understanding, especially in the light of complex scientific phenomena, technological innovations such as quantum and AI, and science communication. It will address the nature and scope of both expert and public understanding of science and technology.

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.

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

The Scandinavian Logic Symposium (SLSS) is symposium organized by the Scandinavial Logic Society. In 2024, it takes place in June in Reykjavik, Iceland. The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.
Invited Speakers: Fausto Barbero (University of Helsinki), Sara Negri (University of Genoa), Aybüke Özgün (ILLC, University of Amsterdam).

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.

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

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

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

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

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

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.

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.

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

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

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.

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

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

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.

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.

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.

The last decade has seen a steady increase in work on question meaning, in particular polar question meaning, with relatively new notions like bias becoming front and center. At the same time, the empirical field has widened to include some understanding of various forms fulfilling the polar question function. Spanning not only interrogatives but also declaratives, tags, and alternatives, these forms raise important questions for the relationship between form and meaning. This workshop brings together work that continues this line of research. Topics range from fromal accounts of aspects of polar(-like) question forms across languages to manifestations of meaning in pragmatic and social levels that connect to formal grammatical events such as clausal structure, negation, focus and intonation.

Invited speakers: Diti Bhadra (University of Minnesota), Regine Eckardt (Konstanz University), Lisa Matthewson (University of British Columbia) and Deniz Rudin (University of Southern California).

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.

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.

The last decade has seen a steady increase in work on question meaning, in particular polar question meaning, with relatively new notions like bias becoming front and center. At the same time, the empirical field has widened to include some understanding of various forms fulfilling the polar question function. Spanning not only interrogatives but also declaratives, tags, and alternatives, these forms raise important questions for the relationship between form and meaning. This workshop brings together work that continues this line of research. Topics range from fromal accounts of aspects of polar(-like) question forms across languages to manifestations of meaning in pragmatic and social levels that connect to formal grammatical events such as clausal structure, negation, focus and intonation.

Invited speakers: Diti Bhadra (University of Minnesota), Regine Eckardt (Konstanz University), Lisa Matthewson (University of British Columbia) and Deniz Rudin (University of Southern California).

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.

The last decade has seen a steady increase in work on question meaning, in particular polar question meaning, with relatively new notions like bias becoming front and center. At the same time, the empirical field has widened to include some understanding of various forms fulfilling the polar question function. Spanning not only interrogatives but also declaratives, tags, and alternatives, these forms raise important questions for the relationship between form and meaning. This workshop brings together work that continues this line of research. Topics range from fromal accounts of aspects of polar(-like) question forms across languages to manifestations of meaning in pragmatic and social levels that connect to formal grammatical events such as clausal structure, negation, focus and intonation.

Invited speakers: Diti Bhadra (University of Minnesota), Regine Eckardt (Konstanz University), Lisa Matthewson (University of British Columbia) and Deniz Rudin (University of Southern California).

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).

Non-classical logics - such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, relevance logic - have many applications in AI, Computer Science, Philosophy, Linguistics, and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area.

ARQNL 2024 is associated with IJCAR 2024, the International Joint Conference on Automated Reasoning.

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)

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.

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).

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).

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.

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.

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.

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.

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.