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.
| << February 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
|
|
5 February 2025, LLAMA seminar, Iris van der Giessen
5 February 2025, KdVI General Mathematics Colloquium, Johan Commelin
Humanity has developed many different ways to communicate mathematics, ranging from the very intuitive to the rigorous and precise. In this talk I will explore how we communicate mathematics. Using various examples, I will explain how formal proof languages and computers can enhance the mathematical ecosystem, thereby allowing us to expand the ways in which we practice mathematics.
6 February 2025, Nihil meets AI (mid reflection meeting Nihil project)
The goal of this event is to explore possible applications of the results of the Nihil project in AI and related areas. After presentations of the project results, the AI advisors will give their feedback, suggestions and recommendations.
6 February 2025, Joint CLS-DIP-Nihil-LIRa session, Raffaella Bernardi
7 February 2025, Joint NiHil-DIP Session, Jakub Szymanik
10 February 2025, Workshop LeaLog@CSL: Learning and Logic
This workshop will take place as part of the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). It brings together researchers who are working on topics at the intersection of learning and logic, ranging from the logical foundations of learnability and computational learning theory to logical analyses of machine learning models and applications of machine learning in knowledge representation and reasoning.
The workshop will consists of 5 invited talks and 10 contributed talks.
10 February 2025, Logic Mentoring Workshop LMW@CSL
The Logic Mentoring Workshop (LMW) will introduce young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and panel sessions from leaders in the subject.
10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2025 will be held on the 10th–14th of February 2025 and is organised jointly by the TCS group at the Vrije Universiteit Amsterdam and the ILLC.
Two workshops are co-located with CSL, and will take place on Monday, February 10: the 12th Logic Mentoring Workshop (LMW@CSL 2025) and the Workshop on Learning and Logic (LeaLog@CSL 2025).
10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2025 will be held on the 10th–14th of February 2025 and is organised jointly by the TCS group at the Vrije Universiteit Amsterdam and the ILLC.
Two workshops are co-located with CSL, and will take place on Monday, February 10: the 12th Logic Mentoring Workshop (LMW@CSL 2025) and the Workshop on Learning and Logic (LeaLog@CSL 2025).
11 February 2025, Set Theory Day
On 11 February, we will have a day of presentations by Master of Logic students who have recently completed an individual reading project on an advanced topic in Set Theory.
All interested students and staff members are welcome to attend, see details below.
10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2025 will be held on the 10th–14th of February 2025 and is organised jointly by the TCS group at the Vrije Universiteit Amsterdam and the ILLC.
Two workshops are co-located with CSL, and will take place on Monday, February 10: the 12th Logic Mentoring Workshop (LMW@CSL 2025) and the Workshop on Learning and Logic (LeaLog@CSL 2025).
10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2025 will be held on the 10th–14th of February 2025 and is organised jointly by the TCS group at the Vrije Universiteit Amsterdam and the ILLC.
Two workshops are co-located with CSL, and will take place on Monday, February 10: the 12th Logic Mentoring Workshop (LMW@CSL 2025) and the Workshop on Learning and Logic (LeaLog@CSL 2025).
13 February 2025, Logic and Interactive Rationality (LIRa), Maria Aloni
10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2025 will be held on the 10th–14th of February 2025 and is organised jointly by the TCS group at the Vrije Universiteit Amsterdam and the ILLC.
Two workshops are co-located with CSL, and will take place on Monday, February 10: the 12th Logic Mentoring Workshop (LMW@CSL 2025) and the Workshop on Learning and Logic (LeaLog@CSL 2025).
14 February 2025, STiHAC Joint Meeting, Peter Holy
14 February 2025, Meaning, Logic, and Cognition (MLC) Seminar, Pablo Rivas-Robledo
19 February 2025, AI, Culture, and Society, Dr Kim Baraka and Dr Rosa Wevers
19 February 2025, KdVI General Mathematics Colloquium, Ronald de Wolf
20 February 2025, Logic and Interactive Rationality (LIRa), Gerhard Schurz
24 February 2025, Nordic Online Logic Seminar, Elaine Pimentel
The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.
26 February 2025, LLAMA seminar, Sebastian Enqvist
27 February 2025, Logic and Interactive Rationality (LIRa), Michael Cohen
28 February 2025, Meaning, Logic, and Cognition (MLC) Seminar, Dean McHugh