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

  • 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 .
  • (Updated) 19 March 2024, Joint NiHil-DIP Session, Justin Bledin

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

    Date & Time: Wednesday 20 March 2024, 16:00-17:00
    Speaker: Sonia Marin (University of Birmingham)
    Title: On intuitionistic diamonds (and lack thereof)
    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

    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)
    Title: Idealization in Epistemology
    Location: Online only
  • (New) 22 March 2024, EDEV Online Seminar, Antonio Piccolomini d'Aragona

    Date & Time: Friday 22 March 2024, 11:30-13:00
    Speaker: Antonio Piccolomini d'Aragona
    Title: Proof-theoretic Semantics: On Why, When and How Epistemic Concerns Meet Proof Theory
    Location: Online (https://meet.google.com/ykg-hdam-xso)

    The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

  • (Updated) 22 March 2024, DIP Colloquium, Emar Maier

    Date & Time: Friday 22 March 2024, 16:00-17:30
    Speaker: Emar Maier (Groningen)
    Title: Depicting events
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • (New) 25 March 2024, Nordic Online Logic Seminar, Albert Visser

    Date & Time: Monday 25 March 2024, 16:00-17:30
    Speaker: Albert Visser
    Title: Restricted Sequential Theories
    Location: Zoom

    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 .

  • 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)
    Title: Aleatoric Reasoning: The World as an Urn of Marbles
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 13comsoc300.png

    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.

  • (New) 9 April 2024, 20 Years of MBCS

    Date & Time: Tuesday 9 April 2024, 13:00-17:30
    Location: Pakhuis de Zwijger, Piet Heinkade 179, Amsterdam
    Deadline: Monday 1 April 2024

    As you may have already heard, the research master Brain and Cognitive Sciences (MBCS) is celebrating its 20th anniversary on April 9, from 13:00 - 17:30 in Pakhuis de Zwijger. As many of ILLC members have been instrumental in making the programme a success, you are of course also very welcome to join us in the festivities. If you are interested, please sign up before 1 april 2024.

    For more information, see here or contact Vincent Tijms at .
  • (Updated) 10 April 2024, LLAMA seminar, Timo Lang

    Date & Time: Wednesday 10 April 2024, 16:00-17:00
    Speaker: Timo Lang (University College London)
    Title: Cut-elimination, Cut-restriction
    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) 11 April 2024, Logic and Interactive Rationality (LIRa), Caleb Schultz Kisby

    Date & Time: Thursday 11 April 2024, 17:00
    Speaker: Caleb Schultz Kisby (Indiana University Bloomington)
    Location: Online (only), via Zoom
  • 16 April 2024, Computational Linguistics Seminar, Anouck Braggaar

    Date & Time: Tuesday 16 April 2024, 16:00
    Speaker: Anouck Braggaar (Tilburg University)
    Title: Evaluating Task-oriented Dialogue Systems: A Systematic Review of Measures, Constructs and their Operationalisations
    Location: Room L3.36 at LAB42, Amsterdam Science Park, plus live streaming on Zoom.
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 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 .
  • (Updated) 18 April 2024, Logic and Interactive Rationality (LIRa), Hans van Ditmarsch

    Date & Time: Thursday 18 April 2024, 16:30-18:00
    Speaker: Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)
    Title: Distributed Knowledge Revisited
    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
  • EDIT2DSC_1862.JPG

    19 April 2024, SignLab Open House

    Date & Time: Friday 19 April 2024, 18:15-22:00
    Location: Doelenzaal (Spui 425, room C0.07)
    Costs: Free
    Deadline: Friday 12 April 2024

    Op 19 april organiseert het Signlab weer een open avond. Kom je ook?
    Aanmelden is verplicht en kan uiterlijk tot 12 april.

    Het programma is als volgt:
    18.15 Inloop
    18.30-20.30 Lezingen en demo's
    20.30-22.00 Borrel!

    Er zijn de hele avond tolken NGT-NL aanwezig. Vragen of opmerkingen? Mail ons gerust op signlab.amsterdam at gmail.com. Ook vragen we je om ons te mailen als je je hebt aangemeld, maar toch niet meer kan komen. Misschien is er dan nog plek voor iemand anders.

  • 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 .
  • 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/.
  • 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 .
  • 29 May 2024, LLAMA seminar, Todd Schmid

    Date & Time: Wednesday 29 May 2024, 01:00
    Speaker: Todd Schmid (St. Mary's College of California)
    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 .
  • 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 .