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

  • 1ESSLLI_nuig4.jpg

    8 - 19 August 2022, 33rd European Summer School in Logic, Language and Information (ESSLLI 2022), Galway, Ireland

    Date: 8 - 19 August 2022
    Location: Galway, Ireland
    Deadline: Tuesday 15 June 2021

    Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

    The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

    Registration is now open. Early registration is available until the 5th of June 2022.

    For more information, see or contact Larry Moss at , or Theodorus Fransen at .
  • (Updated) 29 August 2022, Computational Linguistics Seminar, Alberto Testoni

    Date & Time: Monday 29 August 2022, 16:00
    Speaker: Alberto Testoni (University of Trento)
    Title: Generating Natural Language and Strategic Questions in Multimodal Referential Games
    Location: LAB42, Science Park 942, Amsterdam
    For more information, see
  • (Updated) 7 September 2022, LLAMA seminar, Dominik Wehr

    Date & Time: Wednesday 7 September 2022, 16:00-17:00
    Speaker: Dominik Wehr (Gothenburg University)
    Title: Towards Constructive Soundness of Cyclic Heyting Arithmetic
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see or contact Tobias Kappé at .
  • 15 September 2022, Logic and Interactive Rationality (LIRa), Zoé Christoff

    Date & Time: Thursday 15 September 2022, 16:30-18:00
    Speaker: Zoé Christoff (University of Groningen)
    Location: Online
  • (Updated) 28 September 2022, LLAMA seminar, Giovanna D'Agostino

    Date & Time: Wednesday 28 September 2022, 16:00-17:00
    Speaker: Giovanna D'Agostino (University of Udine)
    Location: Room F3.20, Science Park 107, Amsterdam / online via Zoom
    For more information, see or contact Tobias Kappé at .
  • (New) 12 October 2022, LLAMA seminar, Rosalie Iemhoff

    Date & Time: Wednesday 12 October 2022, 16:00-17:00
    Speaker: Rosalie Iemhoff (Utrecht University)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see or contact Tobias Kappé at .
  • 20 October 2022, ABC Day 2022 (ABC Networking Day)

    Date & Time: Thursday 20 October 2022, 12:00-19:00
    Location: Amsterdam (the Netherlands)

    ABC Day 2022 - an occasion to (re)connect with the ABC community, exchange ideas and foster new collaborations.

    The ABC Day 2022 is scheduled for the afternoon of 20 Oct, 2022, from 12.00 onwards, and will include the keynote ABC lecture by Sabine Kastner (Princeton University): Neural dynamics of the primate attention network.

  • 25 - 26 October 2022, Workshop "Connections between Epistemic Logic and Topology" (CELT2022), Haifa, Israel

    Date: 25 - 26 October 2022
    Location: Haifa, Israel
    Deadline: Monday 14 February 2022

    The link between epistemic logic and topology has its roots, on the one hand, in the topological semantics of modal logic, and on the other hand, in the intimate relations between topology and concurrency, and between topology and distributed computing. Recent years have witnessed an explosion of new work in this area, from the development of more expressive logics capable of capturing fine topological structure, to the leveraging of topological tools to represent concepts such as observations, questions, and dependence relations, and encoding deep connections with distributed computing. The richness of this area has spawned a thriving, interdisciplinary research program with applications in learning theory, network epistemology, public and private communication, inquisitive semantics, philosophy of science, and knowledge representation in distributed computing, among others.

    This workshop aims at bringing together scholars working on various ways of connecting logic and topology to showcase a variety of recent developments and applications in the area, and to foster new research collaborations.

  • (Updated) 2 November 2022, LLAMA seminar, Sam van Gool

    Date & Time: Wednesday 2 November 2022, 16:00-17:00
    Speaker: Sam van Gool (IRIF)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see or contact Tobias Kappé at .
  • Screenshot_2022-06-20_at_15.34.59.png

    (Updated) 7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands

    Date & Time: 7 - 12 November 2022, 09:00-17:00
    Location: Utrecht, The Netherlands
    Deadline: Thursday 15 September 2022

    The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

    The Autumn school will provide five courses:
    - Computational Content of Proofs by Ulrich Berger (Swansea University)
    - Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
    - Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
    - Proof Complexity by Raheleh Jalali (Utrecht University)
    - Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

    Workshop Speakers include:
    - Benno van den Berg (University of Amsterdam)
    - Marta Bílková (Czech Academy of Sciences)
    - Sebastian Enqvist (Stockholm University)
    - Stefan Hetzl (TU Wien)
    - Hajime Ishihara (Japan Advanced Institute of Science and Technology)
    - Gerhard Jäger (University of Bern)

    For more information, see here or at or contact Bahareh Afshari at .
  • download.png

    19 - 21 December 2022, 23rd Amsterdam Colloquium, Amsterdam (the Netherlands)

    Date: 19 - 21 December 2022
    Location: Amsterdam (the Netherlands)
    Deadline: Thursday 1 September 2022

    The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

    In addition to the general programme, the 23rd Amsterdam Colloquium will feature two workshops: one on Biases in Language and Cognition and one on Compositional Approaches to Projection. The Colloquium will also include a poster session, and host one evening lecture jointly organized with the E.W. Beth Foundation.

    For more information, see