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
- 19 March 2024, NihiL Seminar, Justin Bledin
- (Updated) 19 March 2024, Joint NiHil-DIP Session, Justin Bledin
- (Updated) 20 March 2024, LLAMA seminar, Sonia Marin
- 20 March 2024, Women in Logic Online, Valeria de Paiva
- 21 March 2024, Logic and Interactive Rationality (LIRa), Daniel Greco
- (New) 22 March 2024, EDEV Online Seminar, Antonio Piccolomini d'Aragona
- (Updated) 22 March 2024, DIP Colloquium, Emar Maier
- (New) 25 March 2024, Nordic Online Logic Seminar, Albert Visser
- 27 March 2024, Logic and Interactive Rationality (LIRa), Tim French
- 4 April 2024, Computational Social Choice Seminar, Federico Fioravanti
- 5 April 2024, Language Evolution Amsterdam (LEA), Marieke Woensdregt
- 9 - 11 April 2024, 1st Conference of the European Network for Digital Democracy (EDDY), Rotterdam
- (New) 9 April 2024, 20 Years of MBCS
- (Updated) 10 April 2024, LLAMA seminar, Timo Lang
- (New) 11 April 2024, Logic and Interactive Rationality (LIRa), Caleb Schultz Kisby
- 16 April 2024, Computational Linguistics Seminar, Anouck Braggaar
- 17 April 2024, LLAMA seminar, Chase Ford
- (Updated) 18 April 2024, Logic and Interactive Rationality (LIRa), Hans van Ditmarsch
- 19 April 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Tim van Erven
- 19 April 2024, DIP Colloquium, Rick Nouwen
- 19 April 2024, SignLab Open House
- 22 - 23 April 2024, CIBD: Workshop on Theory and Applications of Craig Interpolation and Beth Definability
- 25 April 2024, Computational Linguistics Seminar, Paul Röttger
- 1 May 2024, LLAMA seminar, Lide Grotenhuis
- 29 May 2024, LLAMA seminar, Todd Schmid
- 30 May 2024, Logic and Interactive Rationality (LIRa), Adam Bjorndahl
- 7 June 2024, ILLC Open Day and Reunion
- 14 June 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Bernhard Nebel
- 21 June 2024, Current Affairs Meeting 2024
- 8 - 12 July 2024, Computability in Europe 2024: Twenty years of theoretical and practical synergies, Amsterdam, The Netherlands
- 27 September 2024, Current Affairs Meeting & ILLC Autumn Colloquium 2024
- 12 December 2024, Current Affairs Meeting & ILLC Winter Colloquium 2023 (+ Christmas party)
Upcoming Events
-
19 March 2024, NihiL Seminar, Justin Bledin
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 ZoomFor more information, see https://projects.illc.uva.nl/nihil/seminar or contact Søren Brinck Knudstorp at s.b.knudstorp at uva.nl. -
(Updated) 19 March 2024, Joint NiHil-DIP Session, Justin Bledin
Speaker: Justin Bledin (Johns Hopkins University)Title: Free Choice With Arbitrary ObjectsLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam -
(Updated) 20 March 2024, LLAMA seminar, Sonia Marin
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 ZoomFor more information, see https://events.illc.uva.nl/llama/#talk- or contact Tobias Kappé at t.kappe at uva.nl. -
20 March 2024, Women in Logic Online, Valeria de Paiva
Speaker: Valeria de PaivaTitle: Women in Logic Online - Network MathematicsLocation: online via zoomThis 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 office at vcla.at. -
21 March 2024, Logic and Interactive Rationality (LIRa), Daniel Greco
Speaker: Daniel Greco (Yale University)Title: Idealization in EpistemologyLocation: Online onlyFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/02/lira-session-daniel-greco/. -
(New) 22 March 2024, EDEV Online Seminar, Antonio Piccolomini d'Aragona
Speaker: Antonio Piccolomini d'AragonaTitle: Proof-theoretic Semantics: On Why, When and How Epistemic Concerns Meet Proof TheoryLocation: 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/a-piccolomini-proof-theoretic-semantics-on-why-when-and-how-epistemic-concerns-meet-proof-theory/ or contact Caterina Sisti at caterina.sisti at sns.it. -
(Updated) 22 March 2024, DIP Colloquium, Emar Maier
Speaker: Emar Maier (Groningen)Title: Depicting eventsLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35239/Emar-Maier-Groningen-TBA. -
(New) 25 March 2024, Nordic Online Logic Seminar, Albert Visser
Speaker: Albert VisserTitle: Restricted Sequential TheoriesLocation: ZoomThe 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 .
For more information, see https://scandinavianlogic.org/2024-03-16-NOL-Seminar-Albert-Visser.html or contact Val Goranko at valentin.goranko at philosophy.su.se. -
27 March 2024, Logic and Interactive Rationality (LIRa), Tim French
Speaker: Tim French (The University of Western Australia)Title: Aleatoric Reasoning: The World as an Urn of MarblesLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/02/lira-session-tim-french/. -
4 April 2024, Computational Social Choice Seminar, Federico Fioravanti
Speaker: Federico FioravantiTitle: Fuzzy ClassificationsLocation: Room L3.33, Lab42, Science Park 900, AmsterdamFor more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
5 April 2024, Language Evolution Amsterdam (LEA), Marieke Woensdregt
Speaker: Marieke Woensdregt (RU Nijmegen)Location: P.C. Hoofthuis Room 4.04, Spuistraat 134, Amsterdam / Online via ZoomFor more information, see https://sites.google.com/view/lela-amsterdam or contact Marieke Schouwstra at m.schouwstra at uva.nl. -
9 - 11 April 2024, 1st Conference of the European Network for Digital Democracy (EDDY), Rotterdam
Location: RotterdamDeadline: Thursday 1 February 2024In 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.
For more information, see https://www.eddy-network.eu/in-person-conference/. -
(New) 9 April 2024, 20 Years of MBCS
Location: Pakhuis de Zwijger, Piet Heinkade 179, AmsterdamDeadline: Monday 1 April 2024As 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 v.tijms at uva.nl. -
(Updated) 10 April 2024, LLAMA seminar, Timo Lang
Speaker: Timo Lang (University College London)Title: Cut-elimination, Cut-restrictionLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-lang-2024 or contact Tobias Kappé at t.kappe at uva.nl. -
(New) 11 April 2024, Logic and Interactive Rationality (LIRa), Caleb Schultz Kisby
Speaker: Caleb Schultz Kisby (Indiana University Bloomington)Location: Online (only), via ZoomFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/03/lira-session-caleb-schultz-kisby/. -
16 April 2024, Computational Linguistics Seminar, Anouck Braggaar
Speaker: Anouck Braggaar (Tilburg University)Title: Evaluating Task-oriented Dialogue Systems: A Systematic Review of Measures, Constructs and their OperationalisationsLocation: 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
Speaker: Chase Ford (Leiden University)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/ or contact Tobias Kappé at t.kappe at uva.nl. -
(Updated) 18 April 2024, Logic and Interactive Rationality (LIRa), Hans van Ditmarsch
Speaker: Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)Title: Distributed Knowledge RevisitedLocation: ILLC seminar room F1.15 in Science Park 107 and onlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/02/lira-session-hans-van-ditmarsch-4/. -
19 April 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Tim van Erven
Speaker: Tim van ErvenLocation: Room L3.33, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk13/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
19 April 2024, DIP Colloquium, Rick Nouwen
Speaker: Rick Nouwen (Utrecht)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35240/Rick-Nouwen-Utrecht-TBA. -
19 April 2024, SignLab Open House
Location: Doelenzaal (Spui 425, room C0.07)Costs: FreeDeadline: Friday 12 April 2024Op 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 signlab.amsterdam at gmail.com. -
22 - 23 April 2024, CIBD: Workshop on Theory and Applications of Craig Interpolation and Beth Definability
Location: Amsterdam, the NetherlandsCosts: FreeDeadline: Friday 15 March 2024The 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 b.d.tencate at uva.nl. -
25 April 2024, Computational Linguistics Seminar, Paul Röttger
Speaker: Paul Röttger (Università Bocconi)Location: Room L3.33 at LAB42, Amsterdam Science Park 900, plus live streaming on ZoomFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
1 May 2024, LLAMA seminar, Lide Grotenhuis
Speaker: Lide Grotenhuis (ILLC)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk- or contact Tobias Kappé at t.kappe at uva.nl. -
29 May 2024, LLAMA seminar, Todd Schmid
Speaker: Todd Schmid (St. Mary's College of California)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/ or contact Tobias Kappé at t.kappe at uva.nl. -
30 May 2024, Logic and Interactive Rationality (LIRa), Adam Bjorndahl
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/. -
7 June 2024, ILLC Open Day and Reunion
Location: ILLC, Science Park, AmsterdamOn 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 p.vanormondt at uva.nl. -
14 June 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Bernhard Nebel
Speaker: Bernhard Nebel (Freiburg)Title: On the Computational Complexity of Multi-Agent Pathfinding on Directed GraphsLocation: Room L3.33, ILLC Lab42, Science Park 900, AmsterdamAbstract:
“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 g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
21 June 2024, Current Affairs Meeting 2024
Location: ILLC Common Room F1.21, Science Park 107, AmsterdamNote: 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 p.vanormondt at uva.nl. -
8 - 12 July 2024, Computability in Europe 2024: Twenty years of theoretical and practical synergies, Amsterdam, The Netherlands
Location: Amsterdam, The NetherlandsDeadline: Saturday 10 February 2024CiE (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 e.pimentel at ucl.ac.uk. -
27 September 2024, Current Affairs Meeting & ILLC Autumn Colloquium 2024
Location: ILLC Common Room F1.21, Science Park 107, AmsterdamThe 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 p.vanormondt at uva.nl / b.r.m.gattinger at uva.nl.. -
12 December 2024, Current Affairs Meeting & ILLC Winter Colloquium 2023 (+ Christmas party)
Location: ILLC Common Room F1.21, Science Park 107, AmsterdamThe 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 p.vanormondt at uva.nl / b.r.m.gattinger at uva.nl..