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
- 21 November 2024, Logic and Interactive Rationality (LIRa), Johan van Benthem
- (New) 22 November 2024, STiHAC Joint Meeting, Tristan van der Vlugt
- 22 November 2024, DIP Colloquium, Bart Geurts
- 25 November 2024, Combining Uncertain Evidence: PhD defense workshop
- 25 November 2024, Women in Logic Online, Laura Kovács
- (New) 25 November 2024, Nordic Online Logic Seminar, Wesley Holliday
- 26 November 2024, NihiL Seminar, Haoyu Wang
- 28 November 2024, Logic and Interactive Rationality (LIRa), Fernando Raymundo Velázquez Quesada
- (New) 2 December 2024, KdVI General Mathematics Colloquium, Matthias Christandl
- 4 December 2024, PhD assembly on 4 December
- 4 December 2024, LLAMA seminar, Valentina Trucco Dalmas
- 5 December 2024, Logic and Interactive Rationality (LIRa), Balder ten Cate
- 6 December 2024, DIP Colloquium, Yale Weiss
- (New) 6 December 2024, STiHAC Joint Meeting, Ralf Schindler
- (New) 9 December 2024, Responsible Digital Transformations Keywords Project: Creativity
- 12 December 2024, Current Affairs Meeting & ILLC Winter Colloquium 2023 (+ Christmas party)
- 13 December 2024, Annual VvL Seminar 2024
- 13 December 2024, FOAM Seminar, Marianna Girlando
- 17 January 2025, DIP Colloquium, Mora Maldonado
- (New) 6 February 2025, Joint CLS-DIP-Nihil-LIRa session, Raffaella Bernardi
- (New) 10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
- 13 February 2025, Logic and Interactive Rationality (LIRa), Maria Aloni
- 6 March 2025, Logic and Interactive Rationality (LIRa), Bartosz Więckowski
- 20 March 2025, Logic and Interactive Rationality (LIRa), Tai-Wei Hu
- 28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)
Upcoming Events
-
21 November 2024, Logic and Interactive Rationality (LIRa), Johan van Benthem
Speaker: Johan van Benthem (ILLC, University of Amsterdam & Department of Philosophy, Stanford University)Title: Connecting Different Logics: Translation, Reduction, TrackingLocation: ILLC seminar room F1.15 in Science Park 107 and onlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/10/lira-session-johan-van-benthem-5/. -
(New) 22 November 2024, STiHAC Joint Meeting, Tristan van der Vlugt
Speaker: Tristan van der Vlugt (Vienna)Title: Subseries numbers for convergent subseriesLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
22 November 2024, DIP Colloquium, Bart Geurts
Speaker: Bart Geurts (Nijmegen)Title: Early communication and the evolution of speech actsLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35245/Bart-Geurts-Nijmegen. -
25 November 2024, Combining Uncertain Evidence: PhD defense workshop
Location: Room C0.01 (Potgieterzaal), University Library, Singel 425, AmsterdamIn celebration of the PhD defense of Daira Pinto Prieto, we are organizing a workshop focused on aggregation methods, uncertainty, and learning. The workshop will begin at 9 AM at the Amsterdam University Library and will be followed by Daira's defense of her thesis, Combining Uncertain Evidence: Logic and Complexity, at 2 PM in the Agnietenkapel.
For more information, see https://sites.google.com/view/dpp-phd-defense-workshop/home or contact Daira Pinto Prieto at d.pintoprieto at uva.nl. -
25 November 2024, Women in Logic Online, Laura Kovács
Speaker: Laura Kovács (TU Wien)Title: Automating Game Reasoning in Blockchain SecurityLocation: Online via ZoomWe are pleased to announce that Laura Kovács will hold the second talk in the seminar series “Women in Logic Online”! She will present a game-theoretic approach for the security analysis of blockchain protocols.
For more information, see https://www.vcla.at/2024/10/women-in-logic-online-talk-announcement/ or contact VCLA at office at vcla.at. -
(New) 25 November 2024, Nordic Online Logic Seminar, Wesley Holliday
Speaker: Wesley HollidayTitle: From constructive mathematics and quantum mechanics to Fundamental LogicLocation: 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-11-11-NOL-Seminar-Wesley-Holliday.html or contact Val Goranko at valentin.goranko at philosophy.su.se. -
26 November 2024, NihiL Seminar, Haoyu Wang
Speaker: Haoyu Wang (ILLC)Title: Knowing How to Understand (Generalized) Tensor DisjunctionLocation: 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. -
28 November 2024, Logic and Interactive Rationality (LIRa), Fernando Raymundo Velázquez Quesada
Speaker: Fernando Raymundo Velázquez Quesada (University of Bergen)Location: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/09/lira-session-fernando-raymundo-velazquez-quesada/. -
(New) 2 December 2024, KdVI General Mathematics Colloquium, Matthias Christandl
Speaker: Matthias ChristandlTitle: Quantum entropyLocation: Room L016, CWI, Science Park 123, AmsterdamQuantum entropy (aka von Neumann entropy) is the quantum generalization of Shannon entropy. Its utility in quantum information theory parallels that of Shannon entropy in traditional information theory, thereby being a foundational concept for the field. Of particular importance are the relations of the quantum entropies of a larger system and its individual parts. Finding all of them would be settling the 'laws of quantum information theory' (Pippenger). So how far have we come?
No prior knowledge in quantum information or even classical information theory is assumed. I will point out some relations to linear algebra, functional analysis, symplectic geometry and representation theory. The closure of the mentioned relations form a cone. The patient listener will be looking forward to a filled version of one
For more information, see https://kdvi.uva.nl/news-and-events/colloquia/general-mathematics-colloquium.html or contact Jeroen Zuiddam at j.zuiddam at uva.nl. -
4 December 2024, PhD assembly on 4 December
Location: ILLC Common Room F1.21, Science Park 107, AmsterdamTarget audience: PhD candidates of the ILLCAll PhD candidates of the ILLC are invited to attend the PhD assembly held in the Common Room of Science Park 107 on 4 December, 13.00-14.00 o'clock. Here, you can ask all your questions to the management team of the ILLC. Lunch will be provided!
For more information, contact the ILLC PhD office at phd-illc at uva.nl. -
4 December 2024, LLAMA seminar, Valentina Trucco Dalmas
Speaker: Valentina Trucco Dalmas (University of Groningen)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-trucco-dalmas-2024 or contact Marianna Girlando at m.girlando at uva.nl. -
5 December 2024, Logic and Interactive Rationality (LIRa), Balder ten Cate
Speaker: Balder ten CateTitle: Preservation theorems for algebras of binary relationLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/10/lira-session-balder-ten-cate/. -
6 December 2024, DIP Colloquium, Yale Weiss
Speaker: Yale Weiss (CUNY)Title: Constructivism: Views from Relevance LogicLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35249/Yale-Weiss. -
(New) 6 December 2024, STiHAC Joint Meeting, Ralf Schindler
Speaker: Ralf Schindler (Münster)Location: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
(New) 9 December 2024, Responsible Digital Transformations Keywords Project: Creativity
Location: Bushuis/Oost-Indisch Huis, Workshop Space. Kloveniersburgwal 48, 1012 CX AmsterdamTarget audience: EveryoneCosts: NoneIn each edition of the Responsible Digital Transformations (RDT) Keywords Project, we explore the diverse interpretations of a certain concept or keyword across disciplines. In line with the current RDT campaign theme, this third edition will focus on the concept of 'Creativity' in the age of generative AI.
Speakers:
Dr. Monika Kackovic: Associate Professor FEB and coordinator of the MSc BA Entrepreneurship and Innovation in the Creative Industries (EMCI) program.
Dr. Claudio Celis Bueno: Assistant Professor in New Media and Digital Cultures and co-coordinator of the AI and Cultural Production research group.
Christoph Finkensiep: Assistant Professor in Generative AI in the Arts, and cognitive scientist at the Music Cognition Group.
The afternoon is moderated by Dr. Nanne van Noord, Assistant Professor of Visual Culture and Multimedia in the Multimedia Analytics Lab.For more information, see https://rdt.uva.nl/content/events/2024/12/rdt-keywords-project-creativity.html?origin=CJCAY6rNSWy3BO1bhFG7aA or contact Isa Verhoeven at i.verhoeven2 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.. -
13 December 2024, Annual VvL Seminar 2024
Location: Room 4.225, Atlas Building, Het Eeuwsel 53, EindhovenThe Dutch Association for Logic (VvL) will hold an in-person joint seminar organized by Eindhoven University. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis.
Main speaker: Alexandru Baltag (ILLC),
MSc Thesis Prize winners: Aude Corbeel (UvA), Sterre Lutz (UU), Ruben Mud (RUG) and Valentin Müller (UvA). -
13 December 2024, FOAM Seminar, Marianna Girlando
Speaker: Marianna GirlandoLocation: Room L3.36, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk19/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
17 January 2025, DIP Colloquium, Mora Maldonado
Speaker: Mora Maldonado (Nantes)Location: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35246/Mora-Maldonado-Nantes. -
(New) 6 February 2025, Joint CLS-DIP-Nihil-LIRa session, Raffaella Bernardi
Speaker: Raffaella Bernardi (University of Trento)Title: The interplay between language and reasoning.Location: Room TBA, ILLC, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/11/joint-cls-dip-nihil-lira-session-raffaella-bernardi/. -
(New) 10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
Location: Amsterdam, the NetherlandsCSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2025 will be held on the 10th–14th of February 2025 and is organised jointly by the TCS group at the Vrije Universiteit Amsterdam and the ILLC.
Two workshops are co-located with CSL, and will take place on Monday, February 10: the 12th Logic Mentoring Workshop (LMW@CSL 2025) and the Workshop on Learning and Logic (LeaLog@CSL 2025).
For more information, see https://csl2025.github.io/ or contact Balder ten Cate at b.d.tencate at uva.nl. -
13 February 2025, Logic and Interactive Rationality (LIRa), Maria Aloni
Speaker: Maria Aloni (ILLC, University of Amsterdam)Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/08/lira-session-maria-aloni-2/. -
6 March 2025, Logic and Interactive Rationality (LIRa), Bartosz Więckowski
Speaker: Bartosz Więckowski (Goethe Universität Frankfurt am Main)Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/10/lira-session-bartosz-wieckowski/. -
20 March 2025, Logic and Interactive Rationality (LIRa), Tai-Wei Hu
Speaker: Tai-Wei Hu (University of Bristol)Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2024/08/lira-session-tai-wei-hu/. -
28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)
Location: Bochum (Germany)Deadline: Wednesday 10 July 2024Under 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, when the school was 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 levels that run from foundational to introductory to advanced, 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 on 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.
For more information, see here or at https://openreview.net/group?id=ESSLLI.eu/2025/Summer_School_Proposals#tab-recent-activity.