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.
| << May 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
|
||||||
4 - 8 May 2026, 32nd Int’l Conference on Types for Proofs and Programs (TYPES 2026), Gothenburg [SE]
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.
TYPES solicits contributed talks to stimulate discussions. Talks proposing new ways of applying type theory are encouraged. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection of those will be based on extended abstracts of 2 pages.
For more information see https://types2026.cse.chalmers.se/call-for-contributions.html.
4 - 8 May 2026, 32nd Int’l Conference on Types for Proofs and Programs (TYPES 2026), Gothenburg [SE]
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.
TYPES solicits contributed talks to stimulate discussions. Talks proposing new ways of applying type theory are encouraged. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection of those will be based on extended abstracts of 2 pages.
For more information see https://types2026.cse.chalmers.se/call-for-contributions.html.
4 - 8 May 2026, 32nd Int’l Conference on Types for Proofs and Programs (TYPES 2026), Gothenburg [SE]
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.
TYPES solicits contributed talks to stimulate discussions. Talks proposing new ways of applying type theory are encouraged. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection of those will be based on extended abstracts of 2 pages.
For more information see https://types2026.cse.chalmers.se/call-for-contributions.html.
4 - 8 May 2026, 32nd Int’l Conference on Types for Proofs and Programs (TYPES 2026), Gothenburg [SE]
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.
TYPES solicits contributed talks to stimulate discussions. Talks proposing new ways of applying type theory are encouraged. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection of those will be based on extended abstracts of 2 pages.
For more information see https://types2026.cse.chalmers.se/call-for-contributions.html.
7 - 8 May 2026, Nothing but Negation: Young Researchers' Conference 2026, Frankfurt [D]
The early-career researchers of the CRC Negation in Language and Beyond (NegLaB) at Goethe University Frankfurt, are organizing Nothing but Negation: Young Researchers' Conference 2026.
The aim of this conference is to provide a dedicated space for junior researchers to explore negation from diverse theoretical and empirical perspectives, ranging from syntax, morphology, and semantics to pragmatics and cognitive science.
Submit your proposals for 30-minute talks (including 10 minutes of discussion) and posters in English. Abstracts should not exceed 300 words (excluding bibliography and max. one page of figures), be anonymized and in PDF format. Use OpenReview to upload your submissions (accessible via the OpenReview home page of the conference).
4 - 8 May 2026, 32nd Int’l Conference on Types for Proofs and Programs (TYPES 2026), Gothenburg [SE]
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.
TYPES solicits contributed talks to stimulate discussions. Talks proposing new ways of applying type theory are encouraged. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection of those will be based on extended abstracts of 2 pages.
For more information see https://types2026.cse.chalmers.se/call-for-contributions.html.
7 - 8 May 2026, Nothing but Negation: Young Researchers' Conference 2026, Frankfurt [D]
The early-career researchers of the CRC Negation in Language and Beyond (NegLaB) at Goethe University Frankfurt, are organizing Nothing but Negation: Young Researchers' Conference 2026.
The aim of this conference is to provide a dedicated space for junior researchers to explore negation from diverse theoretical and empirical perspectives, ranging from syntax, morphology, and semantics to pragmatics and cognitive science.
Submit your proposals for 30-minute talks (including 10 minutes of discussion) and posters in English. Abstracts should not exceed 300 words (excluding bibliography and max. one page of figures), be anonymized and in PDF format. Use OpenReview to upload your submissions (accessible via the OpenReview home page of the conference).
31 May - 5 June 2026, The 2026 ACM Symposium on Principles of Database Systems (PODS 2026), Bengaluru, India
The PODS symposium series, held in conjunction with the SIGMOD conference series, provides a premier annual forum for the communication of new advances in the theoretical foundation of database systems. The PODS community aims to provide a solid scientific basis for methods, techniques, and solutions for the data management challenges that continually arise in our data-driven society. It develops new ways of advancing data management to reflect the rich landscape of data requirements in applications nowadays. Our goal is to develop solutions that ensure high levels of efficiency, scalability, usability, expressiveness, robustness, security, clarity, and privacy, among others. The PODS community is an open space where researchers from various areas related to the principles of computer science can discuss, interact, and propose solutions to problems in data management.