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 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
|
|||
3 - 4 April 2025, 3rd Amsterdam / Saint-Etienne Workshop on Social Choice
Join us for the 3rd Amsterdam/Saint-Etienne Workshop on Social Choice on at Science Park in Amsterdam! We will be discussing questions of social choice in all of its many facets, including in particular the perspectives provided by computer science, economics, and political science. Registration is free but required.
3 - 4 April 2025, 3rd Amsterdam / Saint-Etienne Workshop on Social Choice
Join us for the 3rd Amsterdam/Saint-Etienne Workshop on Social Choice on at Science Park in Amsterdam! We will be discussing questions of social choice in all of its many facets, including in particular the perspectives provided by computer science, economics, and political science. Registration is free but required.
7 - 8 April 2025, Eleventh International Conference on Fundamentals of Software Engineering 2025 (FSEN '25), Västerås (Sweden)
Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.
Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen
7 - 8 April 2025, Eleventh International Conference on Fundamentals of Software Engineering 2025 (FSEN '25), Västerås (Sweden)
Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.
Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen
(New) CFP Special Issue of Annals of Mathematics and Artificial Intelligence (AMAI) on Uncertainty and Reasoning in AI
Uncertainty is a central phenomenon that touches all subfields of artificial intelligence. As many have observed, dealing with uncertainty remains one of the central challenges and limits the capabilities of AI approaches. For instance, many problems in AI (in reasoning, planning, learning, perception, and robotics) require the agent to operate with incomplete or uncertain information.
This special issue of the Annals of Mathematics and Artificial Intelligence (AMAI) focuses on all aspects of uncertainty that concern reasoning and is devoted to the Uncertain Reasoning Special Track in 2023 and in 2024, which was located at the respective International Florida Artificial Intelligence Research Society Conference (FLAIRS).
Submissions should be prepared following the guidelines of AMAI. The submissions themselves are made via the submission page provided at https://submission.springernature.com/new-submission/10472/3. When submitting, please select "S806: Uncertainty and Reasoning in AI" in the submission system to ensure that the submission is connected with the special issue.