These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << October 2025 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
4
|
|||
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
|
26
|
27
|
28
|
29
|
30
|
31
|
|
CfP topical collection of Synthese on Feminist Logic
Feminist Logic examines intersections of formal logic and feminist philosophy. As such it challenges traditional conceptions both of feminism and of logic. This is a very broad description, but it captures the diversity of the field of Feminist Logic that will also be reflected in the contributions to this topical collection.
Contributions combining logic and feminist philosophy are welcome. Note that the topics are not meant to be restricted to gender discourses but that submissions addressing intersectional feminist approaches are also particularly encouraged.
3 - 14 August 2026, 37th European Summer School in Logic, Language and Information (ESSLLI 2026), Prague (Czech Republic)
Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.
The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.
ESSLLI seeks courses on diverse topics, each course taking one or two weeks of 90 minutes per day. ESSLLI workshops follow the same structure (5 days, 90 minutes per day) with content assembled from external contributors. See here for the call-for-proposals.
1 - 4 October 2025, Logic and Meaning: Colloquium on Gottlob Frege’s Legacy, Online
This international colloquium will explore the lasting impact of Gottlob Frege, one of the founding figures of modern logic and analytic philosophy. Scholars from various fields, including logic, philosophy of language, and mathematics, will come together to discuss Frege’s contributions and their influence on contemporary thought.
Keynote speakers Susanne Bobzien (University of Oxford) Maria Jose Frapolli (University College London) Gottfried Gabriel (Universität Jena) Marco Ruffino (University of Campinas) Ed Zalta (Stanford University)
1 - 4 October 2025, Logic and Meaning: Colloquium on Gottlob Frege’s Legacy, Online
This international colloquium will explore the lasting impact of Gottlob Frege, one of the founding figures of modern logic and analytic philosophy. Scholars from various fields, including logic, philosophy of language, and mathematics, will come together to discuss Frege’s contributions and their influence on contemporary thought.
Keynote speakers Susanne Bobzien (University of Oxford) Maria Jose Frapolli (University College London) Gottfried Gabriel (Universität Jena) Marco Ruffino (University of Campinas) Ed Zalta (Stanford University)
1 - 4 October 2025, Logic and Meaning: Colloquium on Gottlob Frege’s Legacy, Online
This international colloquium will explore the lasting impact of Gottlob Frege, one of the founding figures of modern logic and analytic philosophy. Scholars from various fields, including logic, philosophy of language, and mathematics, will come together to discuss Frege’s contributions and their influence on contemporary thought.
Keynote speakers Susanne Bobzien (University of Oxford) Maria Jose Frapolli (University College London) Gottfried Gabriel (Universität Jena) Marco Ruffino (University of Campinas) Ed Zalta (Stanford University)
1 - 4 October 2025, Logic and Meaning: Colloquium on Gottlob Frege’s Legacy, Online
This international colloquium will explore the lasting impact of Gottlob Frege, one of the founding figures of modern logic and analytic philosophy. Scholars from various fields, including logic, philosophy of language, and mathematics, will come together to discuss Frege’s contributions and their influence on contemporary thought.
Keynote speakers Susanne Bobzien (University of Oxford) Maria Jose Frapolli (University College London) Gottfried Gabriel (Universität Jena) Marco Ruffino (University of Campinas) Ed Zalta (Stanford University)
6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA
FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and applications of formal methods in hardware and system verification. The conference encompasses a wide range of topics related to formal aspects of computer-aided system design, including verification, specification, synthesis, and testing and provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD 2025 is co-located with VSTTE 2025.
Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.
6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA
FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and applications of formal methods in hardware and system verification. The conference encompasses a wide range of topics related to formal aspects of computer-aided system design, including verification, specification, synthesis, and testing and provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD 2025 is co-located with VSTTE 2025.
Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.
6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA
FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and applications of formal methods in hardware and system verification. The conference encompasses a wide range of topics related to formal aspects of computer-aided system design, including verification, specification, synthesis, and testing and provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD 2025 is co-located with VSTTE 2025.
Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.
6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA
FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and applications of formal methods in hardware and system verification. The conference encompasses a wide range of topics related to formal aspects of computer-aided system design, including verification, specification, synthesis, and testing and provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD 2025 is co-located with VSTTE 2025.
Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.
20 - 21 October 2025, The 6th Workshop on Dynamic Logic (DaLí 2025)
Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions. Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations.
Previous editions of DaLí took place in Brasília (2017), Porto (2019), online (2020, 2022) and Tblisi (2023).
Submissions are invited on the general field of dynamic logic, its variants and applications. We solicit two categories of submissions:
- Regular papers - describing original research results, case studies, or surveys, should not exceed 15 pages (excluding bibliography of at most two pages).
- Short papers – describing original research results or case studies, maybe in an incubation phase, with 6 to 8 pages (excluding bibliography of at most one page)
Papers must follow the guidelines for Springer LNCS submissions. All submissions must be original and not simultaneously under review elsewhere.
6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA
FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and applications of formal methods in hardware and system verification. The conference encompasses a wide range of topics related to formal aspects of computer-aided system design, including verification, specification, synthesis, and testing and provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD 2025 is co-located with VSTTE 2025.
Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.
10 October 2025, Workshop on Pragmatic Reasoning in Language Models @ COLM 2025
The 1st Workshop on Pragmatic Reasoning in Language Models (PragLM) aims to stimulate research on LLMs as pragmatically competent language users. We invite contributions that will forward the discussion of understanding and improvement of LLMs' capability to generate natural language flexibly and efficiently across contexts, with relations to research on the cognitive and linguistic processes supporting effective, context-sensitive communication. Our interdisciplinary theme brings together researchers in NLP, computational pragmatics, cognitive science, and other fields.
11 - 16 April 2026, 29th International Joint Conferences on Theory and Practice of Software (ETAPS 2026), Turin, Italy
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.
The four main conferences of ETAPS 2026 solicit contributions of the following types. All page limits are given excluding the bibliography. Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere.
- ESOP: regular research papers of max 25 pp, experience reports of max 15 pp, and fresh perspectives providing new insights on programming languages and systems of max 15 pp. For the sake of flexibility, submitted research papers may be formatted in other formats. There is no page limit at the submission time. Please refer to https://etaps.org/2026/esop for more details.
- FASE: regular research papers and empirical evaluation papers of max 18 pp; new ideas and emerging results (NIER) papers of max 8 pp; tool demonstration papers and data showcase papers of max 8 pp (+ optional appendix of max 6 pp),
- FoSSaCS: regular research papers of max 18 pp
- TACAS: regular research papers, case study papers, and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp
16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China
The International LORI conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series also aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.
Invited speakers: Zoé Christoff (University of Groningen),Tim French (University of Western Australia), Aybüke Özgün (University of Amsterdam), François Schwarzentruber (ENS Lyon), Marija Slavkovik (University of Bergen) and Hongjun Zhou (Shaanxi Normal University, Xi’an)
Registration deadline: September 16th.
16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China
The International LORI conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series also aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.
Invited speakers: Zoé Christoff (University of Groningen),Tim French (University of Western Australia), Aybüke Özgün (University of Amsterdam), François Schwarzentruber (ENS Lyon), Marija Slavkovik (University of Bergen) and Hongjun Zhou (Shaanxi Normal University, Xi’an)
Registration deadline: September 16th.
16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China
The International LORI conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series also aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.
Invited speakers: Zoé Christoff (University of Groningen),Tim French (University of Western Australia), Aybüke Özgün (University of Amsterdam), François Schwarzentruber (ENS Lyon), Marija Slavkovik (University of Bergen) and Hongjun Zhou (Shaanxi Normal University, Xi’an)
Registration deadline: September 16th.
16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China
The International LORI conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series also aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.
Invited speakers: Zoé Christoff (University of Groningen),Tim French (University of Western Australia), Aybüke Özgün (University of Amsterdam), François Schwarzentruber (ENS Lyon), Marija Slavkovik (University of Bergen) and Hongjun Zhou (Shaanxi Normal University, Xi’an)
Registration deadline: September 16th.
20 - 21 October 2025, The 6th Workshop on Dynamic Logic (DaLí 2025)
Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions. Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations.
Previous editions of DaLí took place in Brasília (2017), Porto (2019), online (2020, 2022) and Tblisi (2023).
20 - 21 October 2025, The 6th Workshop on Dynamic Logic (DaLí 2025)
Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions. Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations.
Previous editions of DaLí took place in Brasília (2017), Porto (2019), online (2020, 2022) and Tblisi (2023).
21 October 2025, TULIP Day – The Utrecht Logic in Progress Day
Speakers include: Fausto Barbero (Helsinki), Marianna Girlando (Amsterdam), Matilda Häggblom (Helsinki), Johannes Korbmacher (Utrecht), Robin Martinot (Bochum), Fan Yang (Utrecht)
26 January 2026, P-AI-FM @ AAAI-26 – Workshop on Post-AI Formal Methods, 26 Jan 2026, Singapore, Singapore
We are pleased to announce the AAAI-26 Workshop on Post-AI Formal Methods (P-AI-FM), which will take place in conjunction with AAAI-26, January 26th, 2026, in Singapore.
The workshop aims to bring together the communities of Formal Methods and Artificial Intelligence, exploring how symbolic reasoning, verification, and trustworthy AI can jointly address the challenges of modern AI systems.
Submission Tracks:
* AAAI Main Track Submissions: If you submitted a paper to AAAI-26 (regardless of acceptance status), you are invited to also submit it to this workshop.
* Short / Position Papers (24 pages): Early ideas, works in progress, extended abstracts, or already published research.
12 - 13 April 2025, 14th International Conference on Formal Methods in Software Engineering (FORMALISE 2026), Rio de Janeiro, Brazil
The FormaliSE conference series promotes work at the intersection of the formal methods and software engineering communities, providing a venue to exchange ideas, experiences, techniques, and results. We believe more collaboration between these two communities can be mutually beneficial by fostering the creation of formal methods that are practically useful and by helping develop higher-quality software.
Originally a workshop event, since 2018, FormaliSE has been organized as a conference co-located with ICSE. The 14th edition of FormaliSE will also take place as a co-located conference of ICSE 2026.
We accept papers in four categories:
* Full research papers (10 pages of content + 2 pages of references) describing original research work and results.
* Case study papers (10 pages of content + 2 pages of references) discussing a significant application that suggests general lessons learned and motivates further research, or empirically validates theoretical results (such as a technique's scalability).
* Research ideas papers (4 pages of content + 1 page of references) describing new ideas in preliminary form, in a way that can stimulate interesting discussions at the conference, and suggest future work.
* (New) Extended Abstract (4 pages of content + 1 page of references) presenting ongoing research or new research ideas without a mature evaluation.
All papers submitted to the FormaliSE 2026 conference must be written in English, must be unpublished original work, and must not be under review or submitted elsewhere at the time of submission. Submissions must comply with FormaliSE's lightweight double-anonymous review process.
31 October 2025, Workshop on deriving, revising, and verifying concepts and programs
This workshop takes place on the occasion of Raoul Koudijs' PhD defense. It features talks about deriving and/or revising logical concept based on data examples, as well as an introductory talk about Dafny, a Hoare-logic inspired language used for the formal specification and verification of programs.
Speakers: Jean Christoph Jung - TU Dortmondt, Ana Ozaki - University of Oslo, Montserrat Hermo - University of the Basque Country (*over zoom)
31 October 2025, How Computing is Changing the World: Exploring Synergies and Challenges of AI and Quantum Technologies for Society
The QISS and InDeep research groups are pleased to invite you to a workshop exploring the synergies and challenges of AI and Quantum Technologies for society.
Novel computing technologies, including artificial intelligence and quantum computing, are rapidly transforming society. In this workshop, we will take stock of the recent advances in both fields, examine their ethical and legal dimensions and oversight, and discuss how to shape their societal impacts responsibly. To what extent do advances in these field reinforce one another? What lessons can successful interventions in one field offer the other? Join us for an engaging exchange at the intersection of technology, ethics, and society.
Participation is free of charge, but places are limited (registrations will be confirmed).
Find the registration and full programme of the Workshop on the QISSand InDeep event pages.