The TLLM workshops aim to bring together logicians, philosophers, and linguists around a specific theme of common interest. For the 2026 event, the theme is unusually wide, and we welcome contributions on any general or particular aspect of the modalities in logic or language.
The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories.
Registration deadline: 22 March 2026 (AoE)
EuroGP is the premier annual conference on Genetic Programming (GP), the oldest and the only meeting worldwide explicitly devoted to this branch of evolutionary computation. It is always a high-quality, enjoyable, friendly event, attracting participants from all continents, and offering excellent opportunities for networking, informal contact, and exchange of ideas with fellow researchers. It will feature a mixture of oral presentations and poster sessions and invited keynote speakers. EuroGP 2026 will be held as part of EvoStar 2026.
In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc.
The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.
ETAPS is a primary 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 2026 is the twenty-nineth 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
Several satellite workshops and other events will take place during the weekend before the main conferences.
DA2PL-2026 (From Multiple-Criteria Decision Aid to Preference Learning) aims to bring together researchers from decision analysis and machine learning. It provides a forum for discussing recent advances and identifying new research challenges in the intersection of both fields, thereby supporting a cross-fertilisation of these disciplines.
Join us for the 4th edition of the Amsterdam/Saint-Etienne Workshop on Social Choice, jointly organised by GATE and ILLC. This edition will take place in Saint-Etienne, France. Registration is free but required (students also welcome).
Travel grants for a small number of participants are available. To be considered, register and submit your contribution by 20 February 2026. For more information, visit the workshop's website.
NMR is the premier forum for results in the area of Nonmonotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
Reseracher are invited to submit full papers or extended abstracts. Areas of interest include (but are not limited to): Categorical logic, Computability theory, History of Logic, Logic in Computer Science, Logic in Human Reasoning, Model theory Nonclassical and modal logics, Philosophical logic, Proof theory, Reasoning in AI, Set theory.
Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style. Submissions will happen through EasyChair.
The DL workshop is the major annual event of the description logic research community. It aims to bring together researchers from academia and industry that work in this field or in related fields. The workshop is co-located with KR 2026, the 23rd International Conference on Principles of Knowledge Representation and Reasoning as part of FLOC 2026, the Federated Logic Conference.
Two submission categories are open: extended abstracts (2-4 pages) and full papers (max. 11 pages).
Invited are contributions on all aspects of description logics, including, but not limited to: - Foundations of description logics - Extensions of description logics - Integration of description logics with other formalisms - Applications of description logics - Systems and tools of all kinds around description logics.
The course has the aim of bringing together researchers working in diverse areas of logic to present and discuss key contemporary research themes, ranging from proof theory to the semantics of non-classical logics. Particular attention is given to both technical developments and their philosophical significance. The programme consists of a series of lectures designed to introduce participants to current lines of research and ongoing debates in logic, while also providing young researchers with a broad overview of the field.
The Scuola Normale Superiore will award 15 scholarships, ensuring gender balance, covering accommodation and meals (travel expenses to Pisa are not included). Applicants must hold at least a Master's degree in Logic or a related discipline. Applications - including an up-to-date Curriculum Vitae - must be submitted through the designated online form by 31 March 2026. Selection will be based on the evaluation of the submitted CV.
The SCML-2026 conference is dedicated to all research that strives to combine "Symbolic Computation" (SC) and "Machine Learning" (ML) as two major approaches to "Artificial Intelligence". It presents, in particular, plenty of opportunities to discuss new research projects, form project consortia, and identify funding programs in this area.
SCML-2026 is a "presentation-oriented" conference that solicits submissions in the form of extended abstracts (1-2 pages) which are only briefly reviewed with respect to their relevance to the topics of the conference. The abstracts of accepted presentations are collectively published as a "conference booklet" in the frame of the SCML publication forum. At least one author of an accepted abstract is required to register as a presenter at the conference.
Submission deadline is unknown, please contact the organizer for more information.
The course "Logic as a tool for modelling" is part of VU Amsterdam's summer school. The aim of the course is to introduce participants to the study of various types of logical formalisms that have been used to model diverse phenomena.
The course is particularly relevant to BSc, MSc and PhD students in fields such as computer science, philosophy, economics, social sciences, law, who are interested in learning about techniques and tools from logic to be used in their own research, in particularly more so because the content of the course is adjusted based on the interests and backgrounds of the students.
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.
ISR 2026 is organised by the Software Science group of Radboud University Nijmegen and the Theory group of VU Amsterdam. The school is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications.
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity.
This year's edition is a part of the Federated Logic Conference FLoC’26.
LCC meetings are aimed at the foundational interconnections between logic and computational complexity.
Welcomed are submissions of abstracts based on work which may be submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback.
There is a remarkable divide in the field of Logic in Computer Science between two distinct strands: one focuses on semantics and compositionality (“Structure”), the other on expressiveness and complexity (“Power”). These two traditions are studied by almost disjoint research communities using distinct technical languages and methods. We believe that bringing these communities and research fields together is an important objective for Computer Science, which may hold the key to fundamental advances in the field.
The aim of this workshop is to attract researchers working at the boundary of these two strands, as well as those on either side of the divide who are interested in establishing new connections.
Researchers wishing to give a talk at the workshop are invited to submit an extended abstract of up to three pages (excluding references) describing the key points of the proposed presentation on the topics of semantics and/or compositionality in the field of Logic in Computer Science.
Submissions at all stages of development are invited, including novel contributions, previously published work, work in progress, and survey-style presentations. Depending on the number of submissions, contributed talks will be 20–30 minutes in length.
The Symposium is an international logic conference bringing together researchers in philosophical logic, mathematical logic, and logic in computer science.
The Nordic Logic Summer School will take place immediately before the symposium. It is aimed primarily at PhD students and early-career researchers and offers introductory and advanced courses in logic and its applications.
The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. The scope of SLSS is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, among others.
The Symposium is an international logic conference bringing together researchers in philosophical logic, mathematical logic, and logic in computer science. It will take place from August 21 to August 23, 2026.
The Nordic Logic Summer School will take place immediately before the symposium, from August 17 to August 20, 2026. It is aimed primarily at PhD students and early-career researchers and offers introductory and advanced courses in logic and its applications.
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 scope of SLSS is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, among others.
The aim of ICTCS is to foster cross-fertilization of ideas across different areas of theoretical computer science and to provide an environment where junior researchers and PhD students can interact with senior researchers.
ICTCS 2026 includes three special tracks devoted to significant application domains of theoretical computer science. The aim is to solicit contributions that, while not primarily situated within theoretical computer science, address substantive theoretical questions emerging from applied research problems. The three special tracks are listed on the website.
Two types of contributions (in English, CEUR-WS format) are solicited.
Regular papers: Up to 12 pages (bibliography excluded), presenting original results not published or submitted elsewhere. Authors may include an appendix; reviewers are not required to consider it.
Communications: Up to 5 pages (bibliography excluded), suitable for extended abstracts of published or submitted papers, ongoing research reports, and PhD thesis or project overviews.
The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). The next edition will be held from 21 to 24 September 2024 in Würzburg, Germany (noon until noon to allow travel on the same day). The conference will cover the whole range of mathematical logic and the foundations of the exact sciences.
In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.
The programme committee invites the submission of abstracts for talks in all fields of an online form. Alternatively, abstracts can also be submitted independently of the registration by email.