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.
You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
Headlines Upcoming Events
- 22 - 23 April 2024, CIBD: Workshop on Theory and Applications of Craig Interpolation and Beth Definability
- 24 April 2024, FOAM Seminar, Michael Benedikt
- 24 April 2024, MoL thesis presentations - Logic, Language and Philosophy
- (Updated) 25 April 2024, Computational Linguistics Seminar, Paul Röttger
- 26 April 2024, STiHAC Joint Meeting, Lukas Schembecker
- (New) 26 April 2024, Computational Linguistics Seminar, Pushkar Mishra AI Research)
- (Updated) 1 May 2024, LLAMA seminar, Lide Grotenhuis
- 3 May 2024, STiHAC Joint Meeting, Philipp Lücke
- (New) 8 May 2024, LLAMA seminar, Neer Bhardwaj
- 16 May 2024, Logic and Interactive Rationality (LIRa), Mina Young Pedersen
- 17 May 2024, FOAM Seminar, Emir Demirovic
- 24 May 2024, NihiL Seminar, Richard Booth
- (New) 29 May 2024, LLAMA seminar, Todd Schmid
- 30 May 2024, Logic and Interactive Rationality (LIRa), Adam Bjorndahl
- 3 June 2024, Symposium: The Quantum Leaps of Harry Buhrman
- 7 June 2024, ILLC Open Day and Reunion
- 14 June 2024, FOAM Seminar, Bernhard Nebel
- (Updated) 14 June 2024, DIP Colloquium, Robert C. May
- (New) 17 June 2024, FOAM Seminar, Yuri Gurevich
- (New) 21 June 2024, Dutch Logic PhD Day 2024, Vrije Universiteit Amsterdam
- 21 June 2024, Current Affairs Meeting 2024
- 8 - 12 July 2024, Computability in Europe 2024: Twenty years of theoretical and practical synergies, Amsterdam, The Netherlands
- 3 - 6 September 2024, 17th International Symposium on Algorithmic Game Theory (SAGT)
- 27 September 2024, Current Affairs Meeting & ILLC Autumn Colloquium 2024
- 12 December 2024, Current Affairs Meeting & ILLC Winter Colloquium 2023 (+ Christmas party)
Upcoming Events
-
22 - 23 April 2024, CIBD: Workshop on Theory and Applications of Craig Interpolation and Beth Definability
Location: Amsterdam, the NetherlandsCosts: FreeDeadline: Friday 15 March 2024The aim of this workshop is to bring together experts from different research communities (such as proof theory, model theory, proof complexity, verification, database theory, knowledge representation, automated reasoning, automata theory, philosophy, linguistics) in order to discuss and disseminate recent and ongoing research pertaining to Craig interpolation and Beth definability.
Invited speakers: Michael Benedikt (University of Oxford, tbc), Raheleh Jalali (Czech Academy of Sciences), Jean Christoph Jung (TU Dortmund University), George Metcalfe (University of Bern), Thomas Place (LaBRI Bordeaux) and Philipp Ruemmer (University of Regensburg).
For more information, see https://cibd.bitbucket.io/ or contact Balder ten Cate at b.d.tencate at uva.nl. -
24 April 2024, FOAM Seminar, Michael Benedikt
Speaker: Michael BenediktTitle: Logic and asymptotic combinatorics of Graph Neural NetworksLocation: Room L1.08, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk13b/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
24 April 2024, MoL thesis presentations - Logic, Language and Philosophy
Speaker: MoL studentsTitle: MoL thesis presentations - Logic, Language and PhilosophyLocation: Room C1.12. Science Park 904, AmsterdamIn April 2024 the MoL students planning to graduate this summer will present their ongoing thesis projects to the ILLC community. This session will include our students in Logic, Language and Philosophy.
Speakers: Flip Lijnzaad, Teodor-Ștefan Zotescu, Alex Stan, Paul Talma, Ruiting Hu, Urtė Jakubauskaitė, Frank Goossens, Arunavo Ganguly and Radu Ghita.
For more information, see here or contact Maria Aloni at m.d.aloni at uva.nl. -
(Updated) 25 April 2024, Computational Linguistics Seminar, Paul Röttger
Speaker: Paul Röttger (Università Bocconi)Title: Evaluating Values and Opinions in Large Language ModelsLocation: Room L3.33 at LAB42, Amsterdam Science Park 900, plus live streaming on ZoomMuch recent work seeks to evaluate values and opinions in large language models (LLMs), motivated by concerns around real-world LLM applications. For example, politically-biased LLMs may subtly influence society when they are used by millions of people. Such real-world concerns, however, stand in stark contrast to the artificiality of current evaluations using multiple-choice surveys and questionnaires: real users do not ask LLMs survey questions. In my talk, I will present recent work in which we challenge the prevailing constrained evaluation paradigm for values and opinions in LLMs. I will also outline the steps we are now taking to build more realistic unconstrained evaluations for political values and opinions in LLMs.
For more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
26 April 2024, STiHAC Joint Meeting, Lukas Schembecker
Speaker: Lukas Schembecker (Hamburg)Title: Coding into the orbits of cofinitary permutationsLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
(New) 26 April 2024, Computational Linguistics Seminar, Pushkar Mishra AI Research)
Speaker: Pushkar Mishra (Meta (Facebook) AI Research)Location: Room L1.01 at LAB42, Amsterdam Science Park, plus live streaming on ZoomFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
(Updated) 1 May 2024, LLAMA seminar, Lide Grotenhuis
Speaker: Lide Grotenhuis (ILLC)Title: Intuitionistic μ-calculus with the Lewis arrowLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/ or contact Tobias Kappé at t.kappe at uva.nl. -
3 May 2024, STiHAC Joint Meeting, Philipp Lücke
Speaker: Philipp Lücke (Hamburg)Title: Ordinal definability and very large cardinalsLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
(New) 8 May 2024, LLAMA seminar, Neer Bhardwaj
Speaker: Neer Bhardwaj (Weizmann Institute of Science)Title: Integer-valued o-minimal functionsLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/ or contact Tobias Kappé at t.kappe at uva.nl. -
16 May 2024, Logic and Interactive Rationality (LIRa), Mina Young Pedersen
Speaker: Mina Young Pedersen (University of Bergen)Location: online onlyFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/04/lira-session-mina-young-pedersen-2/. -
17 May 2024, FOAM Seminar, Emir Demirovic
Speaker: Emir Demirovic (TU Delft)Location: Room L3.33, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk14/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
24 May 2024, NihiL Seminar, Richard Booth
Speaker: Richard Booth (University of Michigan, Ann Arbor)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://projects.illc.uva.nl/nihil/seminar or contact Søren Brinck Knudstorp at s.b.knudstorp at uva.nl. -
(New) 29 May 2024, LLAMA seminar, Todd Schmid
Speaker: Todd Schmid (St. Mary's College of California)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk- or contact Tobias Kappé at t.kappe at uva.nl. -
30 May 2024, Logic and Interactive Rationality (LIRa), Adam Bjorndahl
Speaker: Adam Bjorndahl (Carnegie Mellon University)Location: ILLC seminar room F1.15 in Science Park 107 and online.For more information, see https://projects.illc.uva.nl/lgc/seminar/2024/01/lira-session-adam-bjorndahl-2/. -
3 June 2024, Symposium: The Quantum Leaps of Harry Buhrman
Location: Turing room, CWI, Science Park 125 , AmsterdamOn June 3, CWI and the UvA organize a farewell symposium to celebrate the many contributions Harry Buhrman has made to theoretical computer science and to quantum computing over the course op his 30+ years in Amsterdam, including his co-founding (together with Kareljan Schoutens) of the research center QuSoft in 2015.
This special symposium will include talks by close colleagues Lance Fortnow and Gilles Brassard, as well as by many colleagues from Amsterdam. More info can be found on the CWI website.Please register if you like to attend this symposium, also on the CWI website.
Participations is free of costs and reservations are on first-come, first served basis.
We are looking forward to meeting you at this special event.For more information, see https://www.cwi.nl/en/events/farewell-symposium-harry-buhrman/ or contact Susanne van Dam at susanne at cwi.nl. -
7 June 2024, ILLC Open Day and Reunion
Location: ILLC, Science Park, AmsterdamOn June 7th, the ILLC will organise an Open Day, similar to the open day held in 2019. The open day will be followed by an ILLC Reunion for all former and current staff and students.
More details will follow in due course.For more information, see https://www.illc.uva.nl/Media/ILLC-Open-Day/ or contact Peter van Ormondt at p.vanormondt at uva.nl. -
14 June 2024, FOAM Seminar, Bernhard Nebel
Speaker: Bernhard Nebel (Freiburg)Title: On the Computational Complexity of Multi-Agent Pathfinding on Directed GraphsLocation: Room L3.33, ILLC Lab42, Science Park 900, AmsterdamAbstract:
“Multi-agent pathfinding”, also called “pebble motion on graphs” or “cooperative pathfinding”, is the problem of deciding the existence of or generating a collision-free movement plan for a set of agents moving on a graph. While the non-optimizing variant of multi-agent pathfinding on undirected graphs is known to be a polynomial-time problem since forty years, a similar result for directed graphs was missing. In the talk, it will be shown that this problem is NP-complete. For strongly connected directed graphs, however, the problem is polynomial. And both of these results hold even if one allows for synchronous rotations on fully occupied cycles.For more information, see https://events.illc.uva.nl/FOAM/posts/talk15/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
(Updated) 14 June 2024, DIP Colloquium, Robert C. May
Speaker: Robert C. May (UC Davis)Title: Frege's Logic: From Begriffsschrift to GrundgesetzeLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35242/Robert-C-May-UC-Davis. -
(New) 17 June 2024, FOAM Seminar, Yuri Gurevich
Speaker: Yuri GurevichTitle: On Logic and AI (and Mathematics)Location: Room TBA at LAB42, Amsterdam Science Park 900For more information, see https://events.illc.uva.nl/FOAM/posts/talk15b/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
(New) 21 June 2024, Dutch Logic PhD Day 2024, Vrije Universiteit Amsterdam
Location: Vrije Universiteit AmsterdamTarget audience: PhD students in logic (and related areas) in the Netherlands (if places are available, the event is also open to master's students).Costs: FreeDeadline: Friday 24 May 2024The Dutch Logic PhD Day 2024 is a VvL event that brings together PhD students in Logic and related areas (such as philosophy, computer science and AI) to foster exchanges of ideas and collaborations between young researchers from all over the Netherlands.
The event is planned as a full-day event, during which PhDs students will have the possibility to present their research in the form of contributed talks.
For more information, see here or at https://verenigingvoorlogica.nl/en/PhD-Day/ or contact dutch.logic.phd.day at gmail.com. -
21 June 2024, Current Affairs Meeting 2024
Location: ILLC Common Room F1.21, Science Park 107, AmsterdamNote: Because this year's Summer Colloquium will merge with the ILLC Open day, we are organising only the Current Affairs Meeting this time.
The purpose of the Current Affairs Meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.For more information, contact Peter van Ormondt at p.vanormondt at uva.nl. -
8 - 12 July 2024, Computability in Europe 2024: Twenty years of theoretical and practical synergies, Amsterdam, The Netherlands
Location: Amsterdam, The NetherlandsDeadline: Saturday 10 February 2024CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. CiE 2024 will be an anniversary event. It is the 20th conference organized by Ci , in the same place as the first edition, Amsterdam.
For more information, see https://events.illc.uva.nl/CiE/CiE2024/ or contact e.pimentel at ucl.ac.uk. -
3 - 6 September 2024, 17th International Symposium on Algorithmic Game Theory (SAGT)
Location: CWI, AmsterdamDeadline: Tuesday 21 May 2024SAGT brings together researchers from Computer Science, Economics, Mathematics, Operations Research, Psychology, Physics, and Biology to present and discuss original research at the intersection of Algorithms and Game Theory. The program of SAGT 2024 will include a tutorial day, invited lectures and presentations of peer-reviewed submissions.
For more information, see https://www.cwi.nl/sagt-2024/. -
27 September 2024, Current Affairs Meeting & ILLC Autumn Colloquium 2024
Location: ILLC Common Room F1.21, Science Park 107, AmsterdamThe ILLC Colloquium is a festive event that brings together the six research units at the ILLC. Each colloquium consists of two or three talks by representatives from different units, sometimes followed by Wild Idea Talks.
The ILLC colloquium is preceded by the Current Affairs Meeting.
The purpose of the Current Affairs Meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.
For more information, see here or contact Peter van Ormondt / Malvin Gattinger at p.vanormondt at uva.nl / b.r.m.gattinger at uva.nl.. -
12 December 2024, Current Affairs Meeting & ILLC Winter Colloquium 2023 (+ Christmas party)
Location: ILLC Common Room F1.21, Science Park 107, AmsterdamThe ILLC Colloquium is a festive event that brings together the six research units at the ILLC. Each colloquium consists of two or three talks by representatives from different units, sometimes followed by Wild Idea Talks.
The ILLC colloquium is preceded by the Current Affairs Meeting.
The purpose of the Current Affairs Meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.
For more information, see here or contact Peter van Ormondt / Malvin Gattinger at p.vanormondt at uva.nl / b.r.m.gattinger at uva.nl..