The annual ILLC PhD Day is coming up! We look forward to another inspiring day of research and exchange within the ILLC community. The programme will feature presentations and posters by our PhD candidates, as well as opportunities to meet fellow researchers and discuss ongoing work across the four ILLC research units.
All new and senior PhD candidates are invited to present their research by submitting a poster or talk proposal. Due to limited slots, talks will be selected based on submitted abstracts. Please send your abstract (max. one page), clearly indicating whether it is for a post or a talk , by 31 December 2025.
Logic and game theory are foundational disciplines that have significantly developed, influencing diverse fields such as computer science, economics, artificial intelligence, and social choice theory. Recent trends highlight innovative applications of logic to model strategic interactions, analyse equilibria, and design systems with rational agents, as well as advancements in game-theoretic reasoning for logic-based systems. This conference aims to bring together researchers to explore the latest research, tools, and applications at the intersection of logic and game theory.
Submissions on any topic related to logic and game theory are welcome.
This year's editions welcomes submissions in two categories: short abstracts and extended abstracts. Both types will be reviewed by the PC. Submissions should be sent by the corresponding author to rtlg2025 at gmail.com specifying the category. At least one author of each accepted paper is expected to attend the workshop and present their work. A proceedings volume of extended abstracts will be published shortly after the workshop.
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It 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, the PLS 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.
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. 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.
The logical appearance of meaning: a two-day symposium organized at the occasion of Paul Dekker's retirement. This event is open to everyone with an interest in logic and the philosophy of language. Thanks to the hybrid format you can also join us remotely, but if you can, we warmly welcome you to attend the symposium in person.
Additionally, you are welcome to the borrel held at Kapitein Zeppos on Monday 12 January starting at 17:30. To help us plan for the event, we kindly ask you to fill out the registration form.
The Australasian Association for Logic is hosting a Southern Summer Logic Day in celebration of the UNESCO World Logic Day. To register for the event and to obtain a Zoom link, please reach out to Guillermo Badia.
Please note that the starting time in Amsterdam is indeed 00:01 on Wednesday, 14 January 2026.
The 2026 Dutch Winter School on Logic and Verification is a 3.5 day event aimed at PhD/graduate students in theoretical computer science with an interest in software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.
The winter school is organized as part of the project "Cyclic Structures in Programs and Proofs".
Registration is open. Hotel block booking ends 24 Nov. Early registration ends 7 Dec 2025.
This masterclass Prof. Kourken Michaelian is devoted to the philosophy of memory and aims to provide an intensive forum for discussion of core debates and emerging directions in the field. It will combine two lectures by Prof. Michaelian with presentations by selected participants.
This one-day symposium aims to bring together game theory researchers from across the Netherlands, with a special emphasis on early-career researchers and PhD-students.
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)
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.
DA2PL will accept two kinds of submissions:
See the website for the topic suggestions and formatting requirements.
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 TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.
TYPES solicits contributed talks to stimulate discussions. Talks proposing new ways of applying type theory are encouraged. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection of those will be based on extended abstracts of 2 pages.
For more information see https://types2026.cse.chalmers.se/call-for-contributions.html.
The early-career researchers of the CRC Negation in Language and Beyond (NegLaB) at Goethe University Frankfurt, are organizing Nothing but Negation: Young Researchers' Conference 2026.
The aim of this conference is to provide a dedicated space for junior researchers to explore negation from diverse theoretical and empirical perspectives, ranging from syntax, morphology, and semantics to pragmatics and cognitive science.
The Linguistics and English Language Postgraduate Conference is an annual event hosted by the School of Philosophy, Psychology and Language Sciences at the University of Edinburgh, and is open to students and recent graduates from all over the world. The event is held in-person only (no online or hybrid options available).
Postgraduates and recent PG grads are invited to submit abstracts in any subfield of linguistics, philosophy of language, and linguistic anthropology (except language pedagogy) for both oral and poster presentations. The presentations should be accessible to a general linguistics audience.
Talks will be 20 minutes + 10 minutes for questions. Abstracts should be 500 words excluding tables, references, and examples. Use this form to submit your abstracts.
ESSAI is an annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI is the largest school of broad AI in Europe.
The ESSAI 2026 will offer an intensive 5-day program featuring various AI courses and tutorials. With over 30 lecturers from multiple fields, participants will have the opportunity to engage in 5+ parallel tracks of sessions each day.
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 ISR is open to master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. Participants can follow one of two tracks: basic or advance.
IACAP has a long tradition of promoting philosophical dialogue and interdisciplinary research on all aspects of computing. Its members have contributed to the philosophical and ethical debates about computing, information technologies, and artificial intelligence. The 2026 annual conference will continue this tradition by bringing together researchers from various fields who are interested in the topics covered in various tracks.
The International Association for Computing and Philosophy (IACAP) is pleased to put out this call for abstracts for its next conference in 2026.
For submissions, visit the conference website and follow the steps as laid out here: https://www.iacap.org/2025/10/10/iacap-2026-kansas/
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. Visit also the general NMR webpage: https://nmr.krportal.org/.
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.
This workshop aims to teach participants the fundamentals of higher category theory using the proof assistant Rzk. The participants will learn both the classical point of view and the type theoretic point of view in two lecture series, and, in the exercise sessions, will learn how to use the proof assistant Rzk to prove basic higher categorical results.
Students with some familiarity with homotopy theory, category theory, homotopy type theory, and/or proof assistants who are interested in learning about ∞-categories are particularly encouraged.