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.

<< July 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.
Vienna.jpg

30 June - 3 July 2025, 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), TU Wien, Vienna, Austria

Date: 30 June - 3 July 2025
Location: TU Wien, Vienna, Austria

The biennial International Conference on Deontic Logic and Normative Systems (DEON) conference series aims at bringing together researchers interested in the formal study of normative concepts, normative reasoning, and normative systems using methods from computer science, artificial intelligence, philosophy, linguistics, mathematics, and law. The series particularly aims at fostering interdisciplinary collaboration that combines methods from these various fields.

In addition to the general themes of the DEON conference series, DEON 2025 encourages the submission of papers on the special theme of Normative AI. The central aim of Normative AI is to ensure that AI systems make morally, legally, and socially acceptable decisions. As AI becomes increasingly important to human society, it is crucial to ensure that these technologies have a positive and responsible impact. This highly interdisciplinary field involves the evaluation and development of theories, formal frameworks, and algorithms, integrating both symbolic and sub-symbolic AI methods.

For more information, see https://sites.google.com/view/deon-2025/ or contact Kees van Berkel, Agata Ciabattoni at .

30 June - 4 July 2025, European Conference on Object-Oriented Programming (ECOOP 2025), Bergen, Norway

Date: 30 June - 4 July 2025
Location: Bergen, Norway
Deadline: Wednesday 5 March 2025

ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense. ECOOP was originally focused on object orientation, but now includes all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions to real problems as well as evaluations of existing solutions.

For more information, see https://2025.ecoop.org or contact Giorgio Audrito at .
Vienna.jpg

30 June - 3 July 2025, 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), TU Wien, Vienna, Austria

Date: 30 June - 3 July 2025
Location: TU Wien, Vienna, Austria

The biennial International Conference on Deontic Logic and Normative Systems (DEON) conference series aims at bringing together researchers interested in the formal study of normative concepts, normative reasoning, and normative systems using methods from computer science, artificial intelligence, philosophy, linguistics, mathematics, and law. The series particularly aims at fostering interdisciplinary collaboration that combines methods from these various fields.

In addition to the general themes of the DEON conference series, DEON 2025 encourages the submission of papers on the special theme of Normative AI. The central aim of Normative AI is to ensure that AI systems make morally, legally, and socially acceptable decisions. As AI becomes increasingly important to human society, it is crucial to ensure that these technologies have a positive and responsible impact. This highly interdisciplinary field involves the evaluation and development of theories, formal frameworks, and algorithms, integrating both symbolic and sub-symbolic AI methods.

For more information, see https://sites.google.com/view/deon-2025/ or contact Kees van Berkel, Agata Ciabattoni at .

30 June - 4 July 2025, European Conference on Object-Oriented Programming (ECOOP 2025), Bergen, Norway

Date: 30 June - 4 July 2025
Location: Bergen, Norway
Deadline: Wednesday 5 March 2025

ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense. ECOOP was originally focused on object orientation, but now includes all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions to real problems as well as evaluations of existing solutions.

For more information, see https://2025.ecoop.org or contact Giorgio Audrito at .
Vienna.jpg

30 June - 3 July 2025, 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), TU Wien, Vienna, Austria

Date: 30 June - 3 July 2025
Location: TU Wien, Vienna, Austria

The biennial International Conference on Deontic Logic and Normative Systems (DEON) conference series aims at bringing together researchers interested in the formal study of normative concepts, normative reasoning, and normative systems using methods from computer science, artificial intelligence, philosophy, linguistics, mathematics, and law. The series particularly aims at fostering interdisciplinary collaboration that combines methods from these various fields.

In addition to the general themes of the DEON conference series, DEON 2025 encourages the submission of papers on the special theme of Normative AI. The central aim of Normative AI is to ensure that AI systems make morally, legally, and socially acceptable decisions. As AI becomes increasingly important to human society, it is crucial to ensure that these technologies have a positive and responsible impact. This highly interdisciplinary field involves the evaluation and development of theories, formal frameworks, and algorithms, integrating both symbolic and sub-symbolic AI methods.

For more information, see https://sites.google.com/view/deon-2025/ or contact Kees van Berkel, Agata Ciabattoni at .

30 June - 4 July 2025, European Conference on Object-Oriented Programming (ECOOP 2025), Bergen, Norway

Date: 30 June - 4 July 2025
Location: Bergen, Norway
Deadline: Wednesday 5 March 2025

ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense. ECOOP was originally focused on object orientation, but now includes all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions to real problems as well as evaluations of existing solutions.

For more information, see https://2025.ecoop.org or contact Giorgio Audrito at .

16 September 2025, 11th Workshop on Formal and Cognitive Reasoning (FCR 2025), Potsdam, Germany

Date: Tuesday 16 September 2025
Location: Potsdam, Germany
Deadline: Friday 4 July 2025

In real-life AI applications, information is usually pervaded by uncertainty and subject to change, and thus requires non-classical systems. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanisms, such as analogical or defeasible reasoning, have to be considered, possibly in combination with machine learning methods. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning, both to describe human reasoning and to model AI approaches.

This series of workshops aims to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular, provide a forum for research work linking different paradigms of reasoning. A special focus is on papers that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal and experimental or heuristic issues. FCR'25 will be co-located with the 48th German Conference on Artificial Intelligence (KI 2025).

We welcome papers on the following and any related topics: Action and change Agents and multi-agent systems, Analogical reasoning, Argumentation theories, Belief change and belief merging, Cognitive modelling and empirical data, Common sense and defeasible reasoning, Computational thinking, Decision theory and preferences, Inductive reasoning and cognition, Knowledge representation in theory and practice, Learning and knowledge discovery in data, Neuro-symbolic AI, Nonmonotonic and uncertain reasoning, Ontologies and description logics, Probabilistic approaches of reasoning, and Syllogistic reasoning.

Long technical papers as well as short position papers and abstracts of published works are welcome. Papers should be formatted in CEUR style (1-column style) without enabled header and footer. The length of each paper is limited to 20 pages (including references and acknowledgements). - All papers must be written in English and submitted in PDF format via the EasyChair system. One of the authors is expected to participate in the workshop and present their paper.

For more information, see https://fcr.krportal.org/2025/.

30 June - 4 July 2025, European Conference on Object-Oriented Programming (ECOOP 2025), Bergen, Norway

Date: 30 June - 4 July 2025
Location: Bergen, Norway
Deadline: Wednesday 5 March 2025

ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense. ECOOP was originally focused on object orientation, but now includes all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions to real problems as well as evaluations of existing solutions.

For more information, see https://2025.ecoop.org or contact Giorgio Audrito at .

7 - 11 July 2025, Logic Colloquium 2025, Vienna, Austria

Date: 7 - 11 July 2025
Location: Vienna, Austria
Deadline: Tuesday 15 April 2025

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. The meeting will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.

Program outline:
- The 2025 Gödel Lecture, delived by Joan Bagaria (ICREA)
- Talks by Plenary speakers: B. Afshari (Gothenburg), U. Buchholtz (Nottingham), T. Colcombet (Paris IRIF), S. Gandon (Clermont-Ferrand), P. Lutz (UC Berkeley), M. Malliaris (Chicago), S. Shelah (Hebrew U), B. Siskind (TU Wien) and S. Smets (Amsterdam).
- Tutorials by H. Towsner (UPenn) and D. Sinapova (Rutgers).
- Special sessions on Proof Theory, Model Theory, Set Theory, Computability Theory, Logic in Computer Science, Logic and Leibniz, and Condensed Mathematics

For more information, see https://www.colloquium.co/lc2025 or contact .

7 - 11 July 2025, Logic Colloquium 2025, Vienna, Austria

Date: 7 - 11 July 2025
Location: Vienna, Austria
Deadline: Tuesday 15 April 2025

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. The meeting will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.

Program outline:
- The 2025 Gödel Lecture, delived by Joan Bagaria (ICREA)
- Talks by Plenary speakers: B. Afshari (Gothenburg), U. Buchholtz (Nottingham), T. Colcombet (Paris IRIF), S. Gandon (Clermont-Ferrand), P. Lutz (UC Berkeley), M. Malliaris (Chicago), S. Shelah (Hebrew U), B. Siskind (TU Wien) and S. Smets (Amsterdam).
- Tutorials by H. Towsner (UPenn) and D. Sinapova (Rutgers).
- Special sessions on Proof Theory, Model Theory, Set Theory, Computability Theory, Logic in Computer Science, Logic and Leibniz, and Condensed Mathematics

For more information, see https://www.colloquium.co/lc2025 or contact .

7 - 11 July 2025, Logic Colloquium 2025, Vienna, Austria

Date: 7 - 11 July 2025
Location: Vienna, Austria
Deadline: Tuesday 15 April 2025

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. The meeting will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.

Program outline:
- The 2025 Gödel Lecture, delived by Joan Bagaria (ICREA)
- Talks by Plenary speakers: B. Afshari (Gothenburg), U. Buchholtz (Nottingham), T. Colcombet (Paris IRIF), S. Gandon (Clermont-Ferrand), P. Lutz (UC Berkeley), M. Malliaris (Chicago), S. Shelah (Hebrew U), B. Siskind (TU Wien) and S. Smets (Amsterdam).
- Tutorials by H. Towsner (UPenn) and D. Sinapova (Rutgers).
- Special sessions on Proof Theory, Model Theory, Set Theory, Computability Theory, Logic in Computer Science, Logic and Leibniz, and Condensed Mathematics

For more information, see https://www.colloquium.co/lc2025 or contact .

7 - 11 July 2025, Logic Colloquium 2025, Vienna, Austria

Date: 7 - 11 July 2025
Location: Vienna, Austria
Deadline: Tuesday 15 April 2025

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. The meeting will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.

Program outline:
- The 2025 Gödel Lecture, delived by Joan Bagaria (ICREA)
- Talks by Plenary speakers: B. Afshari (Gothenburg), U. Buchholtz (Nottingham), T. Colcombet (Paris IRIF), S. Gandon (Clermont-Ferrand), P. Lutz (UC Berkeley), M. Malliaris (Chicago), S. Shelah (Hebrew U), B. Siskind (TU Wien) and S. Smets (Amsterdam).
- Tutorials by H. Towsner (UPenn) and D. Sinapova (Rutgers).
- Special sessions on Proof Theory, Model Theory, Set Theory, Computability Theory, Logic in Computer Science, Logic and Leibniz, and Condensed Mathematics

For more information, see https://www.colloquium.co/lc2025 or contact .

7 - 11 July 2025, Logic Colloquium 2025, Vienna, Austria

Date: 7 - 11 July 2025
Location: Vienna, Austria
Deadline: Tuesday 15 April 2025

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. The meeting will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.

Program outline:
- The 2025 Gödel Lecture, delived by Joan Bagaria (ICREA)
- Talks by Plenary speakers: B. Afshari (Gothenburg), U. Buchholtz (Nottingham), T. Colcombet (Paris IRIF), S. Gandon (Clermont-Ferrand), P. Lutz (UC Berkeley), M. Malliaris (Chicago), S. Shelah (Hebrew U), B. Siskind (TU Wien) and S. Smets (Amsterdam).
- Tutorials by H. Towsner (UPenn) and D. Sinapova (Rutgers).
- Special sessions on Proof Theory, Model Theory, Set Theory, Computability Theory, Logic in Computer Science, Logic and Leibniz, and Condensed Mathematics

For more information, see https://www.colloquium.co/lc2025 or contact .

14 - 18 July 2025, Computability in Europe 2025 (CiE 2025), Lisbon, Portugal

Date: 14 - 18 July 2025
Location: Lisbon, Portugal
Deadline: Sunday 26 January 2025

CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Computability in Europe 2025 "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations" will feature two Tutorial Speakers, 6 Invited Speakers, 6 Special Sessions and the Women in Computability program.

(New) 23 - 28 February 2026, Computer Science Logic 2026 (CSL 2026), Paris, France

Date: 23 - 28 February 2026
Location: Paris, France
Deadline: Tuesday 15 July 2025

CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.  CSL 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University.

Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including appendices or references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.

Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The paper should be submitted via Easychair.

For more information, see https://csl2026.github.io/.

14 - 18 July 2025, Computability in Europe 2025 (CiE 2025), Lisbon, Portugal

Date: 14 - 18 July 2025
Location: Lisbon, Portugal
Deadline: Sunday 26 January 2025

CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Computability in Europe 2025 "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations" will feature two Tutorial Speakers, 6 Invited Speakers, 6 Special Sessions and the Women in Computability program.

14 - 18 July 2025, Computability in Europe 2025 (CiE 2025), Lisbon, Portugal

Date: 14 - 18 July 2025
Location: Lisbon, Portugal
Deadline: Sunday 26 January 2025

CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Computability in Europe 2025 "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations" will feature two Tutorial Speakers, 6 Invited Speakers, 6 Special Sessions and the Women in Computability program.

14 - 18 July 2025, Computability in Europe 2025 (CiE 2025), Lisbon, Portugal

Date: 14 - 18 July 2025
Location: Lisbon, Portugal
Deadline: Sunday 26 January 2025

CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Computability in Europe 2025 "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations" will feature two Tutorial Speakers, 6 Invited Speakers, 6 Special Sessions and the Women in Computability program.

14 - 18 July 2025, Computability in Europe 2025 (CiE 2025), Lisbon, Portugal

Date: 14 - 18 July 2025
Location: Lisbon, Portugal
Deadline: Sunday 26 January 2025

CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Computability in Europe 2025 "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations" will feature two Tutorial Speakers, 6 Invited Speakers, 6 Special Sessions and the Women in Computability program.

28 July - 2 August 2025, The 30th International Conference on Automated Deduction (CADE-30), Stuttgart, Germany

Date: 28 July - 2 August 2025
Location: Stuttgart, Germany
Deadline: Monday 17 February 2025

CADE is the major international forum for presenting research on all aspects of automated deduction. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. The conference program includes invited talks, paper presentations, workshops, tutorials, and system competitions. 

For more information, see https://www.dhbw-stuttgart.de/cade-30/ or contact .

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

28 July - 2 August 2025, The 30th International Conference on Automated Deduction (CADE-30), Stuttgart, Germany

Date: 28 July - 2 August 2025
Location: Stuttgart, Germany
Deadline: Monday 17 February 2025

CADE is the major international forum for presenting research on all aspects of automated deduction. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. The conference program includes invited talks, paper presentations, workshops, tutorials, and system competitions. 

For more information, see https://www.dhbw-stuttgart.de/cade-30/ or contact .

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

28 July - 2 August 2025, The 30th International Conference on Automated Deduction (CADE-30), Stuttgart, Germany

Date: 28 July - 2 August 2025
Location: Stuttgart, Germany
Deadline: Monday 17 February 2025

CADE is the major international forum for presenting research on all aspects of automated deduction. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. The conference program includes invited talks, paper presentations, workshops, tutorials, and system competitions. 

For more information, see https://www.dhbw-stuttgart.de/cade-30/ or contact .

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

28 July - 2 August 2025, The 30th International Conference on Automated Deduction (CADE-30), Stuttgart, Germany

Date: 28 July - 2 August 2025
Location: Stuttgart, Germany
Deadline: Monday 17 February 2025

CADE is the major international forum for presenting research on all aspects of automated deduction. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. The conference program includes invited talks, paper presentations, workshops, tutorials, and system competitions. 

For more information, see https://www.dhbw-stuttgart.de/cade-30/ or contact .

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

31 July - 1 August 2025, 29th Conference on Computational Natural Language Learning (CoNLL 2025), Vienna, Austria

Date: 31 July - 1 August 2025
Location: Vienna, Austria
Deadline: Friday 14 March 2025

CoNLL is a yearly conference organized by SIGNLL (ACL's Special Interest Group on Natural Language Learning). This year, CoNLL will be colocated with ACL 2025. The focus of CoNLL is on theoretically, cognitively and scientifically motivated approaches to computational linguistics, rather than on work driven by particular engineering applications.

For more information, see here or at https://www.conll.org.