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.
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)
Abstract submission deadline: 09 December 2025 (AoE)
Full paper submission deadline: 16 December 2025 (AoE)
All submissions should present original works that have not been previously published. Submissions should be written in English and follow the LNCS template (max. 12 pages incl. the reference list, appendixes, acknowledgements, etc.). Submissions should be sent electronically via EasyChair by the corresponding author. It is expected that at least one of the authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and resubmit for the post-conference proceedings, which will be published in the "Logic in Asia" series.
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)
Abstract submission deadline: 09 December 2025 (AoE)
Full paper submission deadline: 16 December 2025 (AoE)
All submissions should present original works that have not been previously published. Submissions should be written in English and follow the LNCS template (max. 12 pages incl. the reference list, appendixes, acknowledgements, etc.). Submissions should be sent electronically via EasyChair by the corresponding author. It is expected that at least one of the authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and resubmit for the post-conference proceedings, which will be published in the "Logic in Asia" series.
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)
Abstract submission deadline: 09 December 2025 (AoE)
Full paper submission deadline: 16 December 2025 (AoE)
All submissions should present original works that have not been previously published. Submissions should be written in English and follow the LNCS template (max. 12 pages incl. the reference list, appendixes, acknowledgements, etc.). Submissions should be sent electronically via EasyChair by the corresponding author. It is expected that at least one of the authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and resubmit for the post-conference proceedings, which will be published in the "Logic in Asia" series.
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.
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 - 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.
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.