News and Events: Upcoming Events

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

Upcoming Events

  • 28 February 2024, LLAMA seminar, Philip Dittmann

    Date & Time: Wednesday 28 February 2024, 16:00-17:00
    Speaker: Philip Dittmann (TU Dresden)
    Title: Asymptotic theories: from finite structures to infinite fields
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-dittmann-2024 or contact Tobias Kappé at .
  • 1 March 2024, NihiL Seminar, Giorgio Sbardolini

    Date & Time: Friday 1 March 2024, 16:00-17:30
    Speaker: Giorgio Sbardolini (ILLC)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://projects.illc.uva.nl/nihil/seminar or contact Søren Brinck Knudstorp at .
  • 7 March 2024, Logic and Interactive Rationality (LIRa), Cat Saint-Croix

    Date & Time: Thursday 7 March 2024, 16:30-18:00
    Speaker: Cat Saint-Croix (University of Minnesota, Twin Cities)
    Location: Online (only), via Zoom
  • 8 March 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Kristin Yvonne Rozier

    Date & Time: Friday 8 March 2024, 15:00-16:25
    Speaker: Kristin Yvonne Rozier
    Title: On the Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam

    Abstract:

    Temporal logics have become essential tools of many AI applications, from verification to planning to synthesis. Mission-time Linear Temporal Logic (MLTL) adds closed-interval integer bounds on the temporal operators of LTL, enabling unit-agnostic specification over finite traces. It is arguably the most-used variation of MTL, and the most-used subset of STL in industrial and AI applications. M...

    For more information, see https://events.illc.uva.nl/FOAM/posts/talk12/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 8 March 2024, STiHAC Joint Meeting, Fatima Scha

    Date & Time: Friday 8 March 2024, 16:00-18:00
    Speaker: Fatima Scha (Amsterdam)
    Title: Introducing Intuitionistic Logic of Paradox: Gluts in Kripke Models
    Location: Online via Zoom
  • 13 March 2024, LLAMA seminar, Wolfgang Poiger

    Date & Time: Wednesday 13 March 2024, 16:00-17:00
    Speaker: Wolfgang Poiger (University of Luxembourg)
    Title: Algebraic and coalgebraic analysis of some many-valued modal logics
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-poiger-2024 or contact Tobias Kappé at .
  • (Updated) 14 March 2024, Computational Linguistics Seminar, Christopher Summerfield

    Date & Time: Thursday 14 March 2024, 16:00
    Speaker: Christopher Summerfield (University of Oxford)
    Title: Using language models to help people find common ground
    Location: Room L3.33 at LAB42, Amsterdam Science Park 900, plus live streaming on Zoom
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 15 March 2024, NihiL Seminar, Richard Booth

    Date & Time: Friday 15 March 2024, 16:00-17:30
    Speaker: Richard Booth
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://projects.illc.uva.nl/nihil/seminar or contact Søren Brinck Knudstorp at .
  • 19 March 2024, NihiL Seminar, Justin Bledin

    Date & Time: Tuesday 19 March 2024, 16:00-17:30
    Speaker: Justin Bledin (Johns Hopkins University)
    Title: Free Choice With Arbitrary Objects (joint seminar talk with DIP)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://projects.illc.uva.nl/nihil/seminar or contact Søren Brinck Knudstorp at .
  • 19 March 2024, DIP Colloquium, Justin Bledin

    Date & Time: Tuesday 19 March 2024, 16:00-17:30
    Speaker: Justin Bledin (Johns Hopkins University)(Abstract)
    Title: Free Choice With Arbitrary Objects (joint talk with the NihiL Seminar)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 20 March 2024, LLAMA seminar, Sonia Marin

    Date & Time: Wednesday 20 March 2024, 16:00-17:00
    Speaker: Sonia Marin (University of Birmingham)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk- or contact Tobias Kappé at .
  • WiL_Online_-_Valeria_de_Paiva_1.jpg

    (New) 20 March 2024, Women in Logic Online, Valeria de Paiva

    Date & Time: Wednesday 20 March 2024, 17:00
    Speaker: Valeria de Paiva
    Title: Women in Logic Online - Network Mathematics
    Location: online via zoom

    This is the first talk in a new series of seminars we are calling "Women in Logic Online". Valeria will talk about the initiative "Women in Logic", and then move on to discuss her project "Network Mathematics", which puts together previous strands of work in language, logic, and mathematics. You will learn about three small prototypes designed to make use of the new tools of AI to improve access to mathematics, especially to Category Theory.

    For more information, see https://www.vcla.at/2024/02/women-in-logic-online/ or contact Andrea Hackl at .
  • 21 March 2024, Logic and Interactive Rationality (LIRa), Daniel Greco

    Date & Time: Thursday 21 March 2024, 16:30-18:00
    Speaker: Daniel Greco (Yale University)
    Location: Online only
  • 22 March 2024, DIP Colloquium, Emar Maier

    Date & Time: Friday 22 March 2024, 16:00-17:30
    Speaker: Emar Maier (Groningen)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • (Updated) 27 March 2024, Logic and Interactive Rationality (LIRa), Tim French

    Date & Time: Wednesday 27 March 2024, 16:30-18:00
    Speaker: Tim French (The University of Western Australia)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 13comsoc300.png

    (New) 4 April 2024, Computational Social Choice Seminar, Federico Fioravanti

    Date & Time: Thursday 4 April 2024, 14:00
    Speaker: Federico Fioravanti
    Title: Fuzzy Classifications
    Location: Room L3.33, Lab42, Science Park 900, Amsterdam
    For more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • 5 April 2024, Language Evolution Amsterdam (LEA), Marieke Woensdregt

    Date & Time: Friday 5 April 2024, 11:00
    Speaker: Marieke Woensdregt (RU Nijmegen)
    Location: P.C. Hoofthuis Room 4.04, Spuistraat 134, Amsterdam / Online via Zoom
    For more information, see https://sites.google.com/view/lela-amsterdam or contact Marieke Schouwstra at .
  • 9 - 11 April 2024, 1st Conference of the European Network for Digital Democracy (EDDY), Rotterdam

    Date & Time: 9 - 11 April 2024, 09:00-17:00
    Location: Rotterdam
    Deadline: Thursday 1 February 2024

    In recent years, digital democracy has become a subject of academic research and is being put into practice around the world. However, the scientific investigations and practices of digital democracy are currently still living mostly in separate universes. The aim of this conference is to further advance digital democracy, by bringing together academics and practitioners actively working on or with digital democracy. This way we want to foster collaboration and knowledge exchange.

  • 10 April 2024, LLAMA seminar, Timo Lang

    Date & Time: Wednesday 10 April 2024, 16:00-17:00
    Speaker: Timo Lang (University College London)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-lang-2024 or contact Tobias Kappé at .
  • (New) 17 April 2024, LLAMA seminar, Chase Ford

    Date & Time: Wednesday 17 April 2024, 16:00-17:00
    Speaker: Chase Ford (Leiden University)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/ or contact Tobias Kappé at .
  • 18 April 2024, Logic and Interactive Rationality (LIRa), Hans van Ditmarch

    Date & Time: Thursday 18 April 2024, 16:30-18:00
    Speaker: Hans van Ditmarch (University of Toulouse, CNRS, IRIT)
    Location: ILLC seminar room F1.15 in Science Park 107 and online.
  • 19 April 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Tim van Erven

    Date & Time: Friday 19 April 2024, 15:00-16:25
    Speaker: Tim van Erven
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk13/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 19 April 2024, DIP Colloquium, Rick Nouwen

    Date & Time: Friday 19 April 2024, 16:00-17:30
    Speaker: Rick Nouwen (Utrecht)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 22 - 23 April 2024, CIBD: Workshop on Theory and Applications of Craig Interpolation and Beth Definability

    Date: 22 - 23 April 2024
    Location: Amsterdam, the Netherlands
    Costs: Free
    Deadline: Friday 15 March 2024

    The 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 .
  • (Updated) 25 April 2024, Computational Linguistics Seminar, Paul Röttger

    Date & Time: Thursday 25 April 2024, 16:00
    Speaker: Paul Röttger (Università Bocconi)
    Location: Room L3.33 at LAB42, Amsterdam Science Park 900, plus live streaming on Zoom
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • (New) 1 May 2024, LLAMA seminar, Lide Grotenhuis

    Date & Time: Wednesday 1 May 2024, 16:00-17:00
    Speaker: Lide Grotenhuis (ILLC)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk- or contact Tobias Kappé at .
  • 30 May 2024, Logic and Interactive Rationality (LIRa), Adam Bjorndahl

    Date & Time: Thursday 30 May 2024, 16:30-18:00
    Speaker: Adam Bjorndahl (Carnegie Mellon University)
    Location: ILLC seminar room F1.15 in Science Park 107 and online.
  • 7 June 2024, ILLC Open Day and Reunion

    Date & Time: Friday 7 June 2024, 13:00-22:00
    Location: ILLC, Science Park, Amsterdam

    On 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 .
  • 14 June 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Bernhard Nebel

    Date & Time: Friday 14 June 2024, 15:00-16:25
    Speaker: Bernhard Nebel (Freiburg)
    Title: On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam

    Abstract:
    “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 , or Ronald de Haan at .
  • 21 June 2024, Current Affairs Meeting 2024

    Date & Time: Friday 21 June 2024, 15:30-17:30
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam

    Note: 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 .
  • 8 - 12 July 2024, Computability in Europe 2024: Twenty years of theoretical and practical synergies, Amsterdam, The Netherlands

    Date: 8 - 12 July 2024
    Location: Amsterdam, The Netherlands
    Deadline: Saturday 10 February 2024

    CiE (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.

  • 27 September 2024, Current Affairs Meeting & ILLC Autumn Colloquium 2024

    Date & Time: Friday 27 September 2024, 15:30-17:30
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam

    The 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 .
  • 12 December 2024, Current Affairs Meeting & ILLC Winter Colloquium 2023 (+ Christmas party)

    Date & Time: Thursday 12 December 2024, 15:30-17:30
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam

    The 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 .