uva.nl

Institute for Logic, Language and Computation

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

  • 25 November 2024, Combining Uncertain Evidence: PhD defense workshop

    Date & Time: Monday 25 November 2024, 09:00-13:00
    Location: Room C0.01 (Potgieterzaal), University Library, Singel 425, Amsterdam

    In 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 .
  • WiL_Online_-_Laura_Kov_cs.jpg

    25 November 2024, Women in Logic Online, Laura Kovács

    Date & Time: Monday 25 November 2024, 17:00
    Speaker: Laura Kovács (TU Wien)
    Title: Automating Game Reasoning in Blockchain Security
    Location: Online via Zoom

    We 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 .

  • 25 November 2024, Nordic Online Logic Seminar, Wesley Holliday

    Date & Time: Monday 25 November 2024, 17:00-18:30
    Speaker: Wesley Holliday
    Title: From constructive mathematics and quantum mechanics to Fundamental Logic
    Location: Zoom

    The 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 .

  • 26 November 2024, NihiL Seminar, Haoyu Wang

    Date & Time: Tuesday 26 November 2024, 16:00-17:30
    Speaker: Haoyu Wang (ILLC)
    Title: Knowing How to Understand (Generalized) Tensor Disjunction
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://projects.illc.uva.nl/nihil/seminar or contact Søren Brinck Knudstorp at .

  • 28 November 2024, Logic and Interactive Rationality (LIRa), Fernando Raymundo Velázquez Quesada

    Date & Time: Thursday 28 November 2024, 16:30-18:00
    Speaker: Fernando Raymundo Velázquez Quesada (University of Bergen)
    Location: Online
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2024/09/lira-session-fernando-raymundo-velazquez-quesada/.
  • 3newsitem-phimath.png

    (Updated) 29 November 2024, Philosophy of Mathematics (Φ-Math) Reading Group

    Date & Time: Friday 29 November 2024, 17:00-18:30
    Title: Infinity up on Trial: Reply to Feferman
    Location: Room F3.20, ILLC, Science Park 107, Amsterdam / Online (Zoom)

    In this session we will deal with a critique to some main ideas of Predicativists. They believe that, in some respects, arithmetic has some advantages that analysis and set-theory do not. Koellner puts this idea to the test. Hybrid meeting.

    For more information, see https://events.illc.uva.nl/PhilMathReading or contact Alexander Lind at , or Orestis Dimou Belegratis at .

  • (New) 2 December 2024, KdVI General Mathematics Colloquium, Matthias Christandl

    Date & Time: Monday 2 December 2024, 16:00-17:00
    Speaker: Matthias Christandl
    Title: Quantum entropy
    Location: Room L016, CWI, Science Park 123, Amsterdam

    Quantum 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 .

  • 4 December 2024, PhD assembly on 4 December

    Date & Time: Wednesday 4 December 2024, 13:00-14:00
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam
    Target audience: PhD candidates of the ILLC

    All 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 .

  • 4 December 2024, LLAMA seminar, Valentina Trucco Dalmas

    Date & Time: Wednesday 4 December 2024, 16:00-17:00
    Speaker: Valentina Trucco Dalmas (University of Groningen)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-trucco-dalmas-2024 or contact Marianna Girlando at .

  • 5 December 2024, Logic and Interactive Rationality (LIRa), Balder ten Cate

    Date & Time: Thursday 5 December 2024, 16:30-18:00
    Speaker: Balder ten Cate
    Title: Preservation theorems for algebras of binary relation
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
    For more information, see https://projects.illc.uva.nl/lgc/seminar/2024/10/lira-session-balder-ten-cate/.

  • 6 December 2024, DIP Colloquium, Yale Weiss

    Date & Time: Friday 6 December 2024, 16:00-17:30
    Speaker: Yale Weiss (CUNY)
    Title: Constructivism: Views from Relevance Logic
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    For more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35249/Yale-Weiss.

  • (Updated) 6 December 2024, STiHAC Joint Meeting, Ralf Schindler

    Date & Time: Friday 6 December 2024, 16:00-18:00
    Speaker: Ralf Schindler (Münster)
    Title: MM implies that NS is not Π1 definable
    Location: Online via Zoom
    For more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html.

  • 9 December 2024, Responsible Digital Transformations Keywords Project: Creativity

    Date & Time: Monday 9 December 2024, 15:00-17:00
    Location: Bushuis/Oost-Indisch Huis, Workshop Space. Kloveniersburgwal 48, 1012 CX Amsterdam
    Target audience: Everyone
    Costs: None

    In 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 .

  • 12 December 2024, Current Affairs Meeting & ILLC Winter Colloquium 2023 (+ Christmas party)

    Date & Time: Thursday 12 December 2024, 15:30-17:30
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam

    The 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 .

  • 13 December 2024, Annual VvL Seminar 2024

    Date & Time: Friday 13 December 2024, 13:30-18:00
    Location: Room 4.225, Atlas Building, Het Eeuwsel 53, Eindhoven

    The 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

    Date & Time: Friday 13 December 2024, 15:00-16:15
    Speaker: Marianna Girlando
    Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk19/ or contact Gregor Behnke at , or Ronald de Haan at .

  • 17 January 2025, DIP Colloquium, Mora Maldonado

    Date & Time: Friday 17 January 2025, 16:00-17:30
    Speaker: Mora Maldonado (Nantes)
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
    For 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

    Date & Time: Thursday 6 February 2025, 16:30-18:00
    Speaker: Raffaella Bernardi (University of Trento)
    Title: The interplay between language and reasoning.
    Location: Room TBA, ILLC, Amsterdam
    For 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

    Date: 10 - 14 February 2025
    Location: Amsterdam, the Netherlands

    CSL 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 .

  • 13 February 2025, Logic and Interactive Rationality (LIRa), Maria Aloni

    Date & Time: Thursday 13 February 2025, 16:30-18:00
    Speaker: Maria Aloni (ILLC, University of Amsterdam)
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
    For 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

    Date & Time: Thursday 6 March 2025, 16:30-18:00
    Speaker: Bartosz Więckowski (Goethe Universität Frankfurt am Main)
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
    For 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

    Date & Time: Thursday 20 March 2025, 16:30-18:00
    Speaker: Tai-Wei Hu (University of Bristol)
    Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
    For 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)

    Date: 28 July - 8 August 2025
    Location: Bochum (Germany)
    Deadline: Wednesday 10 July 2024

    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, 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.