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.
| << April 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
|
||
Special Issue of Acta Informatica on Horn Clauses for Verification and Synthesis
The aim of this special issue is to collect state of the art research on Constrained Horn Clauses (CHCs). Many program verification and synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in Constrained Logic Programming and Computer Aided Verification have centered around efficiently solving problems presented as Horn clauses. Thus, CHCs are an enabling technology for state of the art verification and synthesis techniques. CHCs are relevant for several communities like Constraint / Logic Programming, Program Verification, and Automated Deduction.
Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent, transition systems, petri-nets, smart contracts) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Machine learning and automated reasoning - CHC encoding of analysis and verification problems - Resource analysis - Case studies and tools - Challenging problems.
17 - 19 July 2026, NMR 2026 – 24th International Workshop on Nonmonotonic Reasoning, Lisbon [PT]
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.
Two types of submissions are invited: full papers and extended abstracts. Special focus is on papers on systems and applications, as well as position papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers. Workshop activities will include invited talks and presentations of technical papers.
All submissions should be formatted in CEUR style (1-column). Paper registration closes on 03 April, but submissions remain open until 10 April.
3 - 5 April 2026, The 5th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM2026) "Modality in Logic and Language", Tsinghua University, Beijing, China
The TLLM workshops aim to bring together logicians, philosophers, and linguists around a specific theme of common interest. For the 2026 event, the theme is unusually wide, and we welcome contributions on any general or particular aspect of the modalities in logic or language.
3 - 5 April 2026, The 5th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM2026) "Modality in Logic and Language", Tsinghua University, Beijing, China
The TLLM workshops aim to bring together logicians, philosophers, and linguists around a specific theme of common interest. For the 2026 event, the theme is unusually wide, and we welcome contributions on any general or particular aspect of the modalities in logic or language.
3 - 5 April 2026, The 5th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM2026) "Modality in Logic and Language", Tsinghua University, Beijing, China
The TLLM workshops aim to bring together logicians, philosophers, and linguists around a specific theme of common interest. For the 2026 event, the theme is unusually wide, and we welcome contributions on any general or particular aspect of the modalities in logic or language.
6 - 8 April 2026, 8th Asian Workshop on Philosophical Logic, Chongqing [CN]
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)
6 - 8 April 2026, 8th Asian Workshop on Philosophical Logic, Chongqing [CN]
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)
6 - 8 April 2026, 8th Asian Workshop on Philosophical Logic, Chongqing [CN]
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)
8 - 10 April 2026, 29th European Conference on Genetic Programming (EuroGP), Toulouse [FR]
EuroGP is the premier annual conference on Genetic Programming (GP), the oldest and the only meeting worldwide explicitly devoted to this branch of evolutionary computation. It is always a high-quality, enjoyable, friendly event, attracting participants from all continents, and offering excellent opportunities for networking, informal contact, and exchange of ideas with fellow researchers. It will feature a mixture of oral presentations and poster sessions and invited keynote speakers. EuroGP 2026 will be held as part of EvoStar 2026.
8 - 10 April 2026, 29th European Conference on Genetic Programming (EuroGP), Toulouse [FR]
EuroGP is the premier annual conference on Genetic Programming (GP), the oldest and the only meeting worldwide explicitly devoted to this branch of evolutionary computation. It is always a high-quality, enjoyable, friendly event, attracting participants from all continents, and offering excellent opportunities for networking, informal contact, and exchange of ideas with fellow researchers. It will feature a mixture of oral presentations and poster sessions and invited keynote speakers. EuroGP 2026 will be held as part of EvoStar 2026.
17 - 19 July 2026, 24th International Workshop on Nonmonotonic Reasoning, Lisbon [PT]
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.
8 - 10 April 2026, 29th European Conference on Genetic Programming (EuroGP), Toulouse [FR]
EuroGP is the premier annual conference on Genetic Programming (GP), the oldest and the only meeting worldwide explicitly devoted to this branch of evolutionary computation. It is always a high-quality, enjoyable, friendly event, attracting participants from all continents, and offering excellent opportunities for networking, informal contact, and exchange of ideas with fellow researchers. It will feature a mixture of oral presentations and poster sessions and invited keynote speakers. EuroGP 2026 will be held as part of EvoStar 2026.
11 - 12 April 2026, CMCS 2026 – 18th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, Turin [IT]
In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc.
The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.
Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications (and neighbouring fields as well).
Regular papers (max 18 pages in Springer LNCS style, excl. references)must be original, unpublished, and not submitted for publication elsewhere. Short contributions (max. 2 pages incl. references) may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. Both types of contributions must be submitted electronically as a PDF file via the Easychair system.
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.
11 - 12 April 2026, CMCS 2026 – 18th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, Turin [IT]
In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc.
The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.
Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications (and neighbouring fields as well).
Regular papers (max 18 pages in Springer LNCS style, excl. references)must be original, unpublished, and not submitted for publication elsewhere. Short contributions (max. 2 pages incl. references) may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. Both types of contributions must be submitted electronically as a PDF file via the Easychair system.
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.
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.
17 - 19 July 2026, 39th International Workshop on Description Logics (DL 2026), Lisbon [PT]
The DL workshop is the major annual event of the description logic research community. It aims to bring together researchers from academia and industry that work in this field or in related fields. The workshop is co-located with KR 2026, the 23rd International Conference on Principles of Knowledge Representation and Reasoning as part of FLOC 2026, the Federated Logic Conference.
Two submission categories are open: extended abstracts (2-4 pages) and full papers (max. 11 pages).
Invited are contributions on all aspects of description logics, including, but not limited to: - Foundations of description logics - Extensions of description logics - Integration of description logics with other formalisms - Applications of description logics - Systems and tools of all kinds around description logics.
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.
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.
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.
16 - 17 April 2026, DA2PL-2026: From Multiple-Criteria Decision Aid to Preference Learning, Brussels [BE]
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:
- Long papers (min. 8 pages) which will undergo a full review process and are submitted before the paper submission deadline.
- Extended abstracts (max. 2 pages) which will undergo a light review process and will be reviewed on the fly. They can be submitted up to the deadline for giving camera-ready version of papers.
See the website for the topic suggestions and formatting requirements.
16 - 17 April 2026, DA2PL-2026: From Multiple-Criteria Decision Aid to Preference Learning, Brussels [BE]
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:
- Long papers (min. 8 pages) which will undergo a full review process and are submitted before the paper submission deadline.
- Extended abstracts (max. 2 pages) which will undergo a light review process and will be reviewed on the fly. They can be submitted up to the deadline for giving camera-ready version of papers.
See the website for the topic suggestions and formatting requirements.
23 - 24 April 2026, 4th Amsterdam/Saint-Etienne Workshop on Social Choice
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.
23 - 24 April 2026, 4th Amsterdam/Saint-Etienne Workshop on Social Choice
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.