News and Events: Conferences

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
Click on an event to view details.

CfP topical collection of Synthese on Feminist Logic

Deadline: Wednesday 1 October 2025

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.

For more information, see https://link.springer.com/collections/hiejjifchd or contact Sara Ayhan at .

1 - 4 October 2025, Logic and Meaning: Colloquium on Gottlob Frege’s Legacy, Online

Date: 1 - 4 October 2025
Location: Online
Deadline: Sunday 1 June 2025

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

Date: 1 - 4 October 2025
Location: Online
Deadline: Sunday 1 June 2025

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

Date: 1 - 4 October 2025
Location: Online
Deadline: Sunday 1 June 2025

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

Date: 1 - 4 October 2025
Location: Online
Deadline: Sunday 1 June 2025

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

Date: 6 - 10 October 2025
Location: Menlo Park, USA
Deadline: Sunday 20 April 2025

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.

For more information, see https://fmcad.org/FMCAD25/.

6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA

Date: 6 - 10 October 2025
Location: Menlo Park, USA
Deadline: Sunday 20 April 2025

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.

For more information, see https://fmcad.org/FMCAD25/.

6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA

Date: 6 - 10 October 2025
Location: Menlo Park, USA
Deadline: Sunday 20 April 2025

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.

For more information, see https://fmcad.org/FMCAD25/.

6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA

Date: 6 - 10 October 2025
Location: Menlo Park, USA
Deadline: Sunday 20 April 2025

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.

For more information, see https://fmcad.org/FMCAD25/.
WechatIMG1425.jpg

20 - 21 October 2025, The 6th Workshop on Dynamic Logic (DaLí 2025)

Date & Time: 20 - 21 October 2025, 08:30-17:30
Location: Shaanxi Normal University, Xi'an, China
Target audience: Researchers in Logic
Costs: Registration Fee
Deadline: Friday 10 October 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, including (but not restricted to):
- Dynamic logic, foundations and applications
- Logics with regular modalities
- Modal/temporal/epistemic/game logics
- Kleene and action algebras and their variants
- The interface between logic and learning
- Quantum dynamic logic
- Co-algebraic modal/dynamic logics
- Graded and fuzzy dynamic logics
- Dynamic logics for cyber-physical systems
- Dynamic epistemic logic
- Complexity and decidability of variants of dynamic logics and temporal logics
- Model checking, model generation and theorem proving for dynamic

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.

For more information, see http://www.dali2025.cn/ or contact Lei Li at .

6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA

Date: 6 - 10 October 2025
Location: Menlo Park, USA
Deadline: Sunday 20 April 2025

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.

For more information, see https://fmcad.org/FMCAD25/.
PragLM.png

10 October 2025, Workshop on Pragmatic Reasoning in Language Models @ COLM 2025

Date: Friday 10 October 2025
Location: Montreal, Canada
Deadline: Monday 23 June 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.

For more information, see https://sites.google.com/berkeley.edu/praglm/ or contact Polina Tsvilodub at .

16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China

Date & Time: 16 - 19 October 2025, 23:00
Location: Xi'an, China
Target audience: logicians, philosophers, AI researchers, game theorists, computer scientists
Deadline: Monday 9 June 2025

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)

For more information, see https://golori.org/lori2025/ or contact Chenwei Shi at .

16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China

Date & Time: 16 - 19 October 2025, 23:00
Location: Xi'an, China
Target audience: logicians, philosophers, AI researchers, game theorists, computer scientists
Deadline: Monday 9 June 2025

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)

For more information, see https://golori.org/lori2025/ or contact Chenwei Shi at .

16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China

Date & Time: 16 - 19 October 2025, 23:00
Location: Xi'an, China
Target audience: logicians, philosophers, AI researchers, game theorists, computer scientists
Deadline: Monday 9 June 2025

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)

For more information, see https://golori.org/lori2025/ or contact Chenwei Shi at .

16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China

Date & Time: 16 - 19 October 2025, 23:00
Location: Xi'an, China
Target audience: logicians, philosophers, AI researchers, game theorists, computer scientists
Deadline: Monday 9 June 2025

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)

For more information, see https://golori.org/lori2025/ or contact Chenwei Shi at .
WechatIMG1425.jpg

20 - 21 October 2025, The 6th Workshop on Dynamic Logic (DaLí 2025)

Date & Time: 20 - 21 October 2025, 08:30-17:30
Location: Shaanxi Normal University, Xi'an, China
Target audience: Researchers in Logic
Costs: Registration Fee
Deadline: Friday 10 October 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).

For more information, see http://www.dali2025.cn/ or contact Lei Li at .
WechatIMG1425.jpg

20 - 21 October 2025, The 6th Workshop on Dynamic Logic (DaLí 2025)

Date & Time: 20 - 21 October 2025, 08:30-17:30
Location: Shaanxi Normal University, Xi'an, China
Target audience: Researchers in Logic
Costs: Registration Fee
Deadline: Friday 10 October 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).

For more information, see http://www.dali2025.cn/ or contact Lei Li at .