uva.nl

Institute for Logic, Language and Computation

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

  • (New) 19 April 2024, EDEV Online Seminar, Costanza Larese

    Date & Time: Friday 19 April 2024, 11:30-13:00
    Speaker: Costanza Larese
    Title: Towards Bounded Epistemic Logics
    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.

    For more information, see https://edevpro3.wordpress.com/c-larese-towards-bounded-epistemic-logics/ or contact Caterina Sisti at .

  • 19 April 2024, FOAM Seminar, Tim van Erven

    Date & Time: Friday 19 April 2024, 15:00-16:25
    Speaker: Tim van Erven
    Title: How Fast Can We Compute (Approximate) Nash Equilibria in Zero-sum Matrix Games?
    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)
    Title: Asserting untrue alternatives
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    For more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35240/Rick-Nouwen-Utrecht.
  • 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.

    For more information, see https://uva.fra1.qualtrics.com/jfe/form/SV_6Eui1omADfYPI6G or contact .

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

  • 24 April 2024, FOAM Seminar, Michael Benedikt

    Date & Time: Wednesday 24 April 2024, 16:00-17:25
    Speaker: Michael Benedikt
    Title: Logic and asymptotic combinatorics of Graph Neural Networks
    Location: Room L1.08, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk13b/ or contact Gregor Behnke at , or Ronald de Haan at .

  • 24 April 2024, MoL thesis presentations - Logic, Language and Philosophy

    Date & Time: Wednesday 24 April 2024, 17:00-19:10
    Speaker: MoL students
    Title: MoL thesis presentations - Logic, Language and Philosophy
    Location: Room C1.12. Science Park 904, Amsterdam

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

  • (Updated) 25 April 2024, Computational Linguistics Seminar, Paul Röttger

    Date & Time: Thursday 25 April 2024, 16:00
    Speaker: Paul Röttger (Università Bocconi)
    Title: Evaluating Values and Opinions in Large Language Models
    Location: Room L3.33 at LAB42, Amsterdam Science Park 900, plus live streaming on Zoom

    Much 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

    Date & Time: Friday 26 April 2024, 16:00-18:00
    Speaker: Lukas Schembecker (Hamburg)
    Title: Coding into the orbits of cofinitary permutations
    Location: Online via Zoom
    For 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)

    Date & Time: Friday 26 April 2024, 16:00
    Speaker: Pushkar Mishra (Meta (Facebook) AI Research)
    Location: Room L1.01 at LAB42, Amsterdam Science Park, plus live streaming on Zoom
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.

  • (Updated) 1 May 2024, LLAMA seminar, Lide Grotenhuis

    Date & Time: Wednesday 1 May 2024, 16:00-17:00
    Speaker: Lide Grotenhuis (ILLC)
    Title: Intuitionistic μ-calculus with the Lewis arrow
    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 .

  • 3 May 2024, STiHAC Joint Meeting, Philipp Lücke

    Date & Time: Friday 3 May 2024, 16:00-18:00
    Speaker: Philipp Lücke (Hamburg)
    Title: Ordinal definability and very large cardinals
    Location: Online via Zoom
    For more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html.

  • (New) 8 May 2024, LLAMA seminar, Neer Bhardwaj

    Date & Time: Wednesday 8 May 2024, 16:00-17:00
    Speaker: Neer Bhardwaj (Weizmann Institute of Science)
    Title: Integer-valued o-minimal functions
    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 .

  • 16 May 2024, Logic and Interactive Rationality (LIRa), Mina Young Pedersen

    Date & Time: Thursday 16 May 2024, 16:30-18:00
    Speaker: Mina Young Pedersen (University of Bergen)
    Location: online only
    For 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

    Date & Time: Friday 17 May 2024, 15:00-16:25
    Speaker: Emir Demirovic (TU Delft)
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk14/ or contact Gregor Behnke at , or Ronald de Haan at .

  • 24 May 2024, NihiL Seminar, Richard Booth

    Date & Time: Friday 24 May 2024, 16:00-17:30
    Speaker: Richard Booth (University of Michigan, Ann Arbor)
    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 .

  • (New) 29 May 2024, LLAMA seminar, Todd Schmid

    Date & Time: Wednesday 29 May 2024, 16:00-17: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/#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.
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2024/01/lira-session-adam-bjorndahl-2/.

  • (New) 3 June 2024, Symposium: The Quantum Leaps of Harry Buhrman

    Date & Time: Monday 3 June 2024, 12:30
    Location: Turing room, CWI, Science Park 125 , Amsterdam

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

  • 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, FOAM Seminar, 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 .

  • 14 June 2024, DIP Colloquium, Robert C. May

    Date & Time: Friday 14 June 2024, 16:00-17:30
    Speaker: Robert C. May (UC Davis)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    For more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35242/Robert-C-May-UC-Davis.

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

    For more information, see https://events.illc.uva.nl/CiE/CiE2024/ or contact .

  • 3 - 6 September 2024, 17th International Symposium on Algorithmic Game Theory (SAGT)

    Date & Time: 3 - 6 September 2024, 18:00
    Location: CWI, Amsterdam
    Deadline: Tuesday 21 May 2024

    SAGT 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

    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 .