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.

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.

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

Workshop at the Annual Conference of the German Linguistic Society (DGfS 2024).

Figurative and non-literal language, such as metaphor, metonymy, or personification, poses a special challenge for computational analysis, since these expressions are not used with their usual, ordinary meanings, as represented in corpus data or recorded in lexical resources, but with different, derived meanings.

We aim to bring together computational linguists working on the automatic analysis of non-literal language. A special focus will be on non-conventionalized usages, such as novel metaphors or innovative forms of metonymy. In addition, we are particularly interested in approaches applicable to languages other than English, for example low-resource languages or domains.

The 6th Asian Workshop on Philosophical Logic will be held on 4-6 March 2024 at Hokkaido University in Sapporo, Japan. The Asian Workshop on Philosophical Logic is a series of events initiated by a group of Asian logicians. Its first installment took place at JAIST in Japan in 2012. The primary goal of the workshop is to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. It emphasizes the interaction between philosophical ideas and formal theories. Topics of interest include, but are not restricted to, non-classical logics, philosophical logics, algebraic logic, as well as their applications in computer science, cognitive science, and social sciences.

Invited speakers: Patrick Blackburn (University of Roskilde), Ryo Kashima (Tokyo Institute of Technology), Shawn Standefer (National Taiwan University) and Fan Yang (Utrecht University).

The 6th Asian Workshop on Philosophical Logic will be held on 4-6 March 2024 at Hokkaido University in Sapporo, Japan. The Asian Workshop on Philosophical Logic is a series of events initiated by a group of Asian logicians. Its first installment took place at JAIST in Japan in 2012. The primary goal of the workshop is to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. It emphasizes the interaction between philosophical ideas and formal theories. Topics of interest include, but are not restricted to, non-classical logics, philosophical logics, algebraic logic, as well as their applications in computer science, cognitive science, and social sciences.

Invited speakers: Patrick Blackburn (University of Roskilde), Ryo Kashima (Tokyo Institute of Technology), Shawn Standefer (National Taiwan University) and Fan Yang (Utrecht University).

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)

The Day of Computational Game Theory (CGT Day) serves as a platform for researchers in algorithmic game theory, social choice, and algorithmic mechanism design to connect. Especially young researchers are encourged to present and discuss their work in a relaxed and welcoming atmosphere. The CGT Day alternates every year between Germany and the Netherlands and this is its 14th edition.

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

The Day of Computational Game Theory (CGT Day) serves as a platform for researchers in algorithmic game theory, social choice, and algorithmic mechanism design to connect. Especially young researchers are encourged to present and discuss their work in a relaxed and welcoming atmosphere. The CGT Day alternates every year between Germany and the Netherlands and this is its 14th edition.

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.

CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics.

Topic: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.

CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics.

Topic: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.

CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics.

Topic: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.

CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics.

Topic: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.

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.

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.

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.

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

CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics.

Topic: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.

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.

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

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.