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 2026 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|
29 June - 3 July 2026, Advances in Modal Logic 2026 (AiML 2026), Amsterdam, The Netherlands
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2026 is organized by the ILLC. Information about the AiML series can be obtained at http://www.aiml.net.
29 June - 3 July 2026, Advances in Modal Logic 2026 (AiML 2026), Amsterdam, The Netherlands
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2026 is organized by the ILLC. Information about the AiML series can be obtained at http://www.aiml.net.
29 June - 3 July 2026, Advances in Modal Logic 2026 (AiML 2026), Amsterdam, The Netherlands
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2026 is organized by the ILLC. Information about the AiML series can be obtained at http://www.aiml.net.
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence (ESSAI 2026), Vienna [A]
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.
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence (ESSAI 2026), Vienna [A]
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.
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence (ESSAI 2026), Vienna [A]
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.
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence (ESSAI 2026), Vienna [A]
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.
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence (ESSAI 2026), Vienna [A]
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.
12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
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.
12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
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.
12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
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.
12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
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.
15 - 17 July 2026, IACAP 2026 – International Association for Computing and Philosophy Conference, University of Kansas, Lawrence KS [US]
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/
12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
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.
15 - 17 July 2026, IACAP 2026 – International Association for Computing and Philosophy Conference, University of Kansas, Lawrence KS [US]
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/
15 - 17 July 2026, IACAP 2026 – International Association for Computing and Philosophy Conference, University of Kansas, Lawrence KS [US]
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/
20 - 23 July 2026, 23rd Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2026), Lisbon, Portugal
Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge.
KR2026 will be part of the Federated Logic Conference (FLoC 2026).
We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.
20 - 23 July 2026, 23rd Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2026), Lisbon, Portugal
Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge.
KR2026 will be part of the Federated Logic Conference (FLoC 2026).
We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.
20 - 23 July 2026, 23rd Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2026), Lisbon, Portugal
Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge.
KR2026 will be part of the Federated Logic Conference (FLoC 2026).
We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.
20 - 23 July 2026, 23rd Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2026), Lisbon, Portugal
Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge.
KR2026 will be part of the Federated Logic Conference (FLoC 2026).
We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.