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.
Headlines Upcoming Events
8 - 19 August 2022, 33rd European Summer School in Logic, Language and Information (ESSLLI 2022), Galway, IrelandLocation: Galway, IrelandDeadline: 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.
(Updated) 29 August 2022, Computational Linguistics Seminar, Alberto TestoniSpeaker: Alberto Testoni (University of Trento)Title: Generating Natural Language and Strategic Questions in Multimodal Referential GamesLocation: LAB42, Science Park 942, AmsterdamFor more information, see https://projects.illc.uva.nl/LaCo/CLS/.
(Updated) 7 September 2022, LLAMA seminar, Dominik WehrSpeaker: Dominik Wehr (Gothenburg University)Title: Towards Constructive Soundness of Cyclic Heyting ArithmeticLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
15 September 2022, Logic and Interactive Rationality (LIRa), Zoé ChristoffSpeaker: Zoé Christoff (University of Groningen)Location: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2022/05/lira-session-zoe-christoff/.
(Updated) 28 September 2022, LLAMA seminar, Giovanna D'AgostinoSpeaker: Giovanna D'Agostino (University of Udine)Location: Room F3.20, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-dagostino-2022 or contact Tobias Kappé at t.kappe at uva.nl.
(New) 12 October 2022, LLAMA seminar, Rosalie IemhoffSpeaker: Rosalie Iemhoff (Utrecht University)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-iemhoff-2022 or contact Tobias Kappé at t.kappe at uva.nl.
20 October 2022, ABC Day 2022 (ABC Networking Day)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.For more information, see https://abc.uva.nl/content/events/conferences/2022/oct/abc-networking-day-2022.html.
25 - 26 October 2022, Workshop "Connections between Epistemic Logic and Topology" (CELT2022), Haifa, IsraelLocation: Haifa, IsraelDeadline: 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.For more information, see https://projects.illc.uva.nl/lgc/seminar/2022/02/lira-related-event-celt2022-connections-between-epistemic-logic-and-topology/ or contact Aybüke Özgün at a.ozgun at uva.nl.
(Updated) 2 November 2022, LLAMA seminar, Sam van GoolSpeaker: Sam van Gool (IRIF)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-vangool-2022 or contact Tobias Kappé at t.kappe at uva.nl.
(Updated) 7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: 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)
19 - 21 December 2022, 23rd Amsterdam Colloquium, Amsterdam (the Netherlands)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 https://events.illc.uva.nl/AC/AC2022/.