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

  • (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)
    Title: On Co-lex Ordering Finite Automata and Regular Languages
    Location: Room F3.20, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-dagostino-2022 or contact Tobias Kappé at .
  • 6comsoc300.png

    (New) 29 September 2022, Computational Social Choice Seminar, Sreedurga Gogulapati

    Date & Time: Thursday 29 September 2022, 15:00
    Speaker: Sreedurga Gogulapati (IISc Bangalore)
    Title: Participatory Budgeting with Weak Ordinal Ballots
    Location: Room L3.35, 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 .
  • (New) 29 September 2022, The Utrecht Logic in Progress Series (TULIPS), Benjamin Rin

    Date & Time: Thursday 29 September 2022, 15:30-17:00
    Speaker: Benjamin Rin (Utrecht)
    Title: "The Computational Complexity of Arimaa"
    Location: Janskerkhof 13, room 0.06, Utrecht

    This is a hybrid talk. Contact the organizer for a link to the online meeting in Microsoft Teams.

    For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at .
  • (Updated) 29 September 2022, Logic and Interactive Rationality (LIRa), Thomas Randriamahazaka

    Date & Time: Thursday 29 September 2022, 16:30-18:00
    Speaker: Thomas Randriamahazaka (University of St Andrews)
    Title: Aboutness and partiality: a duality-theoretic perspective
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • (New) 30 September 2022, Cool Logic, Mike Cruchten

    Date & Time: Friday 30 September 2022, 17:00-19:00
    Speaker: Mike Cruchten
    Title: The theory of regular lasso languages
    Location: Room TBA, ILLC, Science Park, Amsterdam

    The theory of regular languages has been studied extensively and offers many nice connections to logic, algebra, and coalgebra. Unfortunately, the theory of omega-regular languages is slightly less well-behaved, in particular with regards to coalgebra. To bridge the gap we introduce the theory of regular lasso languages, a theory combining the simplicity of regular languages with the expressiveness of omega-regular languages. As with any other topic related to automata theory, plenty of pictures will be provided.

    For more information, see https://coollogic.wixsite.com/website or contact Tuva Bardal, Paul Talma at .
  • 7comsoc300.png

    (New) 4 October 2022, Computational Social Choice Seminar, Federico Fioravanti

    Date & Time: Tuesday 4 October 2022, 11:00
    Speaker: Federico Fioravanti
    Title: False-name-proof and Strategy-proof Voting Rules under Separable Preferences
    Location: Room L3.35, Lab42, Science Park 900, Amsterdam
    For more information, see here or at https://staff.fnwi.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at .
  • 6 October 2022, Logic and Interactive Rationality (LIRa), Lingyuan Ye

    Date & Time: Thursday 6 October 2022, 16:30-18:00
    Speaker: Lingyuan Ye
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • (New) 7 October 2022, Meaning, Logic, and Cognition (MLC) Seminar, Émile Enguehard

    Date & Time: Friday 7 October 2022, 15:00-16:30
    Speaker: Émile Enguehard
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 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 https://events.illc.uva.nl/llama/#talk-iemhoff-2022 or contact Tobias Kappé at .
  • (New) 14 October 2022, Meaning, Logic, and Cognition (MLC) Seminar, Beste Kamali

    Date & Time: Friday 14 October 2022, 15:00-16:30
    Speaker: Beste Kamali
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 5comsoc300.png

    18 October 2022, Computational Social Choice Seminar, Ujjwal Kumar

    Date & Time: Tuesday 18 October 2022, 11:00
    Speaker: Ujjwal Kumar (Indian Statistical Institute, Kolkata)
    Title: Local Incentive Compatibility in Ordinal Type-Spaces
    Location: Room L3.35, 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 .
  • 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.

  • 20 October 2022, Logic and Interactive Rationality (LIRa), Adam Bjorndhal

    Date & Time: Thursday 20 October 2022, 16:30-18:00
    Speaker: Adam Bjorndhal
    Location: Room F3.20, Science Park 107, Amsterdam / online via Zoom
  • 24 - 25 October 2022, Workshop "Connections between Epistemic Logic and Topology" (CELT2022), Haifa, Israel

    Date: 24 - 25 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.

  • 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 https://events.illc.uva.nl/llama/#talk-vangool-2022 or contact Tobias Kappé at .
  • (New) 4 November 2022, DIP Colloquium, Zach Weber

    Date & Time: Friday 4 November 2022, 15:00-16:30
    Speaker: Zach Weber (University of Otago)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • Screenshot_2022-06-20_at_15.34.59.png

    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: Tuesday 20 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 https://uswpt.sites.uu.nl/ or contact Bahareh Afshari at .
  • 9 November 2022, ILLC Diversity Talks, Prof. Moshe Vardi

    Date & Time: Wednesday 9 November 2022, 16:30-18:00
    Speaker: Prof. Moshe Vardi
    Title: Artificial Intelligence: Ethics Versus Public Policy
    Location: Room D1.111, Science Park 904, Amsterdam / Online via Zoom

    We would like to announce an upcoming talk in the ILLC Diversity Talks Series. On Wednesday 9 November 16:30 – 18:00, Moshe Vardi will give a talk on “Artificial Intelligence: Ethics Versus Public Policy”. Due to family reasons, Moshe will give the talk remotely, but we encourage everyone to attend on-location at SP 904 Room D1.111!  Alternatively, you are welcome to join us on Zoom.

    In a recent survey, many ILLC members expressed their interest in a talk on Ethical AI. Moshe Vardi acted as advisor for the ILLC for many years, and we hope that this event will bring together everyone interested in this topic.

    The talk will be followed by a reception in the ILLC Common Area at LAB42 (SP 900, LAB42, 6th floor).

    For more information, see here or at https://illc-diversity-talks.github.io/ or contact ILLC Diversity Committee at .
  • 10 November 2022, Logic and Interactive Rationality (LIRa), Franz Berto

    Date & Time: Thursday 10 November 2022, 16:30-18:00
    Speaker: Franz Berto
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 16 November 2022, LLAMA seminar, Iris van der Giessen

    Date & Time: Wednesday 16 November 2022, 16:00-17:00
    Speaker: Iris van der Giessen (University of Birmingham)
    Location: Room TBA, Science Park, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-van-der-giessen-2022 or contact Tobias Kappé at .
  • 17 November 2022, Logic and Interactive Rationality (LIRa), Paolo Galeazzi

    Date & Time: Thursday 17 November 2022, 16:30
    Speaker: Paolo Galeazzi
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • (New) 18 November 2022, DIP Colloquium, Justin Khoo

    Date & Time: Friday 18 November 2022, 15:00-16:30
    Speaker: Justin Khoo (MIT)
    Location: Room F3.20, Science Park 107, Amsterdam
  • (New) 23 November 2022, LLAMA seminar, Matteo Acclavio

    Date & Time: Wednesday 23 November 2022, 16:00-17:00
    Speaker: Matteo Acclavio (Università Roma Tre)
    Location: Room TBA, Science Park, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-acclavio-2022 or contact Tobias Kappé at .
  • (New) 25 November 2022, Meaning, Logic, and Cognition (MLC) Seminar, Marloes Oomen

    Date & Time: Friday 25 November 2022, 15:00-16:30
    Speaker: Marloes Oomen
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • download.png

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

    Date: 19 - 21 December 2022
    Location: Amsterdam (the Netherlands)
    Deadline: Wednesday 7 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 https://events.illc.uva.nl/AC/AC2022/.
  • 12 January 2023, Logic and Interactive Rationality (LIRa), Erman Acar

    Date & Time: Thursday 12 January 2023, 16:30-18:00
    Speaker: Erman Acar (ILLC & IvI, University of Amsterdam)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • (New) 14 April 2023, DIP Colloquium, Deniz Rudin

    Date & Time: Friday 14 April 2023, 15:00-16:30
    Speaker: Deniz Rudin (USC)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • (New) 12 May 2023, DIP Colloquium, Bridget Copley

    Date & Time: Friday 12 May 2023, 15:00-16:30
    Speaker: Bridget Copley (CNRS/Université Paris 8)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam