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.
The Dutch Formal Methods Day is a full-day event dedicated to formal methods in the Netherlands. This event is an opportunity for people in academia, industry and education who are interested in formal methods, in the broadest sense, to come together, learn, and network. There will be numerous talks, giving a broad overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk.
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.
ScaDS.AI Dresden/Leipzig is pleased to dedicate its 12th International Summer School on AI and Big Data, which will take place in Leipzig from June 22 to 26, 2026, to the theme of Neuro+Symbolic AI, focusing on an emerging paradigm that combines the strengths of neural learning and symbolic reasoning, augmented with foundations in each of these.
This annual summer school aims to bring together PhD students, graduate students, researchers as well as practitioners from across the field of Artificial Intelligence. Participants can expect a rich program of short courses taught by leading experts, complemented by hands-on tutorials, interactive formats, and invited talks that provide a comprehensive overview of recent advances and key achievements in Neuro-Symbolic AI.
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.
Broadly viewed, Craig Interpolation (CI), Beth Definability (BD), and Second-Order Quantifier Elimination (SOQE) concern the existence and computation of formulas that capture consequences or logical constraints under some syntactic restrictions. Since such existence/computation questions arise in many areas of computer science, CI, BD, and SOQE have been thoroughly investigated by different communities, which has led to a large number of results, from foundational issues to practical applications. Relevant fields include proof theory, model theory, proof complexity, automated reasoning, automata theory, knowledge representation, program verification and databases as well as philosophy and linguistics.
The aim of the workshop is to bring together researchers from the many relevant fields to exchange experiences and findings about approaches, techniques, ongoing research and important open problems. We strongly believe that CI, BD, and SOQE – beyond sharing a similar historical background – offer a common basis for fruitful cross-disciplinary exchange.
CI-BD-SOQE continues a series of previous workshops on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination. Contributions shall be in the form of original research (full papers or extended abstracts) and abstracts of previously published research. If selected, at least one author is expected to present their work in person at the conference.
The registration is open for the 37th European Summer School in Logic, Language and Information (ESSLLI).
ESSLLI is a yearly recurring event, which has been organized since 1989. It provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science. Courses (foundational, introductory and advanced) and workshops cover a wide variety of topics within three interdisciplinary areas of interest: language and computation, logic and language, and logic and computation. In addition to the workshops and courses there are usually four evening lectures, given by prominent researchers, on topics that are at the forefront of research in logic, language and computer science, also from wider scientific, historical, and philosophical perspectives. Its relevance to students of artificial intelligence is evident.
While classical cryptographic schemes always have to fear the risk of being broken, in particular with the possibility that quantum computers are built, quantum cryptography promises unconditional security solely based on the laws of physics. This field of research is currently in an exciting phase in which theoretical concepts and ideas are not only experiencing the transition to experimental implementations, but are also attracting the interest of industry.
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 second edition of the Beta in Bestuur & Beleid (STEM in Governance & Policy) Summer School will take place at Kasteel Spelderholt in Beekbergen. Are you considering a move to the public sector and would you like to discover how you, as a STEM professional, can make an impact in policy and governance? Then sign up via this link.
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 2026 edition is organized in collaboration with Universiteit Gent. The Masterclass is intended to be a fully interactive in-person event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers with an opportunity to discuss their ongoing work in a helpful and constructive environment.
Early career researchers are invited to send an abstract of at most 250 words. You can submit your abstract, including your affiliation and status (bachelor’s student, master’s student, PhD student, postdoc, other) to mc-pmp-brussels at outlook.com or use this form: https://forms.gle/PQKg6EjP2wx95ehi6.
The talks will consist of a 20 minute presentation followed by 10 minutes for discussion. Notification of acceptance will be sent out by 01 July 2026. Notice that submitting an abstract is not mandatory for attending the Masterclass.
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.