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.

The calender view is not available on the mobile version of the website. You can view this information as a list.

You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

<< October 2023 >>
Sunday Monday Tuesday Wednesday Thursday Friday Saturday
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Click on an event to view details.

4 - 6 October 2023, PhDs in Logic 2023, Granada, Spain

Date: 4 - 6 October 2023
Location: Granada, Spain
Deadline: Tuesday 23 May 2023

PhDs in Logic is an annual graduate conference organised by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. This edition of the congress will take place from 4 to 6 October at the Institute of Mathematics of the University of Granada (IMAG).

For more information, see here or at https://phdsinlogicxiv.com/ or contact Organising Committee at .

4 October 2023, LLAMA seminar, Stefan Zetzsche

Date & Time: Wednesday 4 October 2023, 16:00-17:00
Speaker: Stefan Zetzsche (Amazon Web Services)
Title: The Dafny Programming Language and Static Verifier
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online
For more information, see https://events.illc.uva.nl/llama/#talk-zetzsche-2023 or contact Tobias Kappé at .

4 - 6 October 2023, PhDs in Logic 2023, Granada, Spain

Date: 4 - 6 October 2023
Location: Granada, Spain
Deadline: Tuesday 23 May 2023

PhDs in Logic is an annual graduate conference organised by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. This edition of the congress will take place from 4 to 6 October at the Institute of Mathematics of the University of Granada (IMAG).

For more information, see here or at https://phdsinlogicxiv.com/ or contact Organising Committee at .
LAB422.png

5 October 2023, LAB42 one-year anniversary

Date & Time: Thursday 5 October 2023, 16:00-18:00
Location: ILLC Lab42, Science Park 900, Amsterdam
Target audience: all ILLC members

Join us for LAB42's first-year anniversary celebration where we'll raise a toast to the remarkable year gone by and the promising years ahead! We're celebrating on October 5th, from 16:00 to 18:00, right here at LAB42. The agenda for the event features a warm welcome by Marcel Worring, brief introductions showcasing the innovative work of four of our esteemed LAB42 residents, and the opportunity to mingle and connect with fellow LAB42 residents. Let's make this celebration memorable!

For more information, contact lab42-illc@uva.nl at .

4 - 6 October 2023, PhDs in Logic 2023, Granada, Spain

Date: 4 - 6 October 2023
Location: Granada, Spain
Deadline: Tuesday 23 May 2023

PhDs in Logic is an annual graduate conference organised by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. This edition of the congress will take place from 4 to 6 October at the Institute of Mathematics of the University of Granada (IMAG).

For more information, see here or at https://phdsinlogicxiv.com/ or contact Organising Committee at .

6 October 2023, DIP Colloquium, Natasha Korotkova

Date & Time: Friday 6 October 2023, 16:00-17:30
Speaker: Natasha Korotkova (Utrecht)
Title: Conversational dynamics of Russian questions with "razve" and the typology of question bias
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

6 October 2023, "J.L. Austin: Philosopher and D-Day Intelligence Officer" , Mark Rowe

Date & Time: Friday 6 October 2023, 17:30-18:30
Speaker: Mark Rowe
Location: Spui25, Amsterdam

On behalf of the Philosophy Department at VU and the English Literature Department at UvA, in collaboration with the venue Spui25, we cordially invite all of our interested colleagues and students to an evening with Dr. Mark Rowe, who has just published the first full-length biography of the celebrated ordinary-language philosopher, J.L. Austin. The book reveals the true complexity of Austin's character and the full range and significance of his achievements, including his lesser-known role in planning the D-Day landings. The biography has received stellar reviews, including the most recent one by Thomas Nagel in the London Review of Books.

7 October 2023, Open Day Amsterdam Science Park

Date & Time: Saturday 7 October 2023, 12:00-17:00
Location: Amsterdam Science Park, Amsterdam

On Saturday 7 October, the open day at the Amsterdam Science Park will take place as part of the Weekend of Science (Weekend van de Wetenschap). Companies and research institutes at the Science Park will open their doors to interested parties.

At the Faculty of Natural Sciences, Mathematics and Computer Science and other locations, visitors can attend guided tours, workshops and demonstrations. Learn more about cosmic wave research and what happened immediately after the Big Bang, or discover what cells your body is made of! This event can be visited by young and old alike free of charge, no registration is necessary. 

9 October 2023, Amsterdam Causality Meeting, Sander Beckers and Nan van Geloven

Date & Time: Monday 9 October 2023, 15:00-18:00
Speaker: Sander Beckers and Nan van Geloven
Title: Moral responsibility for AI systems / Prediction under hypothetical interventions: evaluation of counterfactual performance using longitudinal observational data
Location: Room D1.114, Science Park 904, Amsterdam

In Fall 2023, a new causality seminar will start, co-organized by Sara Magliacane, Joris Mooij and Stéphanie van der Pas.

The aim of the seminar is to bring together researchers in causal inference from the VU, UvA, Amsterdam UMC and CWI, but the seminar is open to everyone.

We plan to organize 4 events per year, where each event consists of two scientific talks and a networking event with drinks afterwards.

For more information, see https://amscausality.github.io/index.
1Vignette.png

12 October 2023, ILLC Workshop on Participatory Budgeting and Related Topics

Date & Time: Thursday 12 October 2023, 09:30-17:00
Location: Room F0.01 at the Bushuis, Kloveniersburgwal 48. Amsterdam
Target audience: Everyone
Costs: Free, registration required

It is with a lot of excitement that I am advertising a workshop that will take place in Amsterdam on the 12th of October. The workshop is organised to celebrate my PhD defence that will take place the following day. It will be a one-day workshop with 5 speakers and a panel discussion about participatory budgeting and related topics. The workshop is free of charge and open to everyone. You just need to fill in a registration form.

For more information, see here or at https://simonrey.fr/en/thesis-workshop or contact Simon Rey at .

12 October 2023, Logic and Interactive Rationality (LIRa), Alexandru Baltag

Date & Time: Thursday 12 October 2023, 16:30-18:00
Speaker: Alexandru Baltag (ILLC, University of Amsterdam)
Title: The Dynamic Logic of Causality: from counterfactual dependence to causal interventions
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
Screenshot_2023-09-29_at_11.18.52.png

12 October 2023, Philosophy of Mathematics (Φ-Math) Reading Group

Date & Time: Thursday 12 October 2023, 17:00-19:00
Title: Reading Meeting 15: Philosophy of Higher Order Logic
Location: Room B1.19D, Science Park 904, Amsterdam
Target audience: E

Phi-Math is starting up again!

The reading group in the philosophy of mathematics is back and we hold the first meeting on the 12th of October. The topic will be Higher-Order Logic. We will base the discussion around Stewart Shapiro's chapter Higher-order logic in the Oxford Handbook of Philosophy of Mathematics and Logic.

All students (and faculty) from all backgrounds are welcome to join. Please bring your own thoughts and ideas on the topic if you have any! For more information and location, see the website https://sites.google.com/view/phi-math/home.

For more information, see https://sites.google.com/view/phi-math/meetings or contact Alexander Lind at .
fmg-computational-social-science-v4.jpg

16 October 2023, Responsible Digital Transformations (RDT) Monthly Meeting, Regina Nockerts & Diliara Valeeva

Date & Time: Monday 16 October 2023, 11:30-14:30
Speaker: Regina Nockerts & Diliara Valeeva
Title: The Computational Social Science (CSSci) Programme
Location: Roeterseilandcampus Building A, Nieuwe Achtergracht166, Amsterdam

With regular meetings, the UvA wide research community Responsible Digital Transformations (RDT) aims to create a space for interfaculty encounters and conversations. RDT gives a podium to UvA groups to present their research, their methodologies, or open questions to the RDT community. At this month's event, Regina Nockerts and Diliara Valeeva will speak about the Computational Social Science (CSSci) Bachelor's programme.

17 October 2023, NihiL Seminar, Yichi Zhang

Date & Time: Tuesday 17 October 2023, 16:00-17:30
Speaker: Yichi (Raven) Zhang
Title: Beyond the Empty Set: Discourse (In)consistency in Commitment Space Semantics
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://projects.illc.uva.nl/nihil/ or contact Søren Brinck Knudstorp at .

20 October 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Daira Pinto Prieto

Date & Time: Friday 20 October 2023, 15:00-16:25
Speaker: Daira Pinto Prieto
Title: Multi-Layer Belief Model: Justified Belief for Uncertain and Conflicting Evidence
Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
For more information, see https://events.illc.uva.nl/FOAM/posts/talk7/ or contact Gregor Behnke at , or Ronald de Haan at .

23 October 2023, Algebra, Categories and Models Reading Group, Lide Grotenhuis

Date & Time: Monday 23 October 2023, 11:15-13:00
Speaker: Lide Grotenhuis
Title: Where we are - Infinitary Logic and Infinitary Completeness Theorems
Location: ILLC Room F2.11, Science Park 107, Amsterdam

The Algebras, Categories and Models Reading Group (formerly the Categorical Model Theory Reading Group) is organised bi-weekly by PhD Students at the ILLC, and is geared towards discussing the interactions between these areas.

23 October 2023, VVL Essentials, Marianna Girlando

Date & Time: Monday 23 October 2023, 16:00-18:00
Speaker: Marianna Girlando
Title: Proof Theory Essentials
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

VvL Essentials talks are high-level introductory talks, that introduce early-career logicians to a field they may not be familiar with. This forms a low-threshold way to broaden their own specific research area and encourages collaborations. The talks will be hosted by different universities within the Netherlands, and they will have a hybrid format - for those who attend in person, drinks and snacks will be provided afterwards!

The very first edition of VvL Essentials is organized by Rodrigo Almeida (PhD student at the ILLC) and Giovanni Varricchione (PhD student at Utrecht University).

For more information, see here or at https://verenigingvoorlogica.nl/nl/Activiteiten/ or contact Rodrigo Almeida at .
Simha_2.jpg

25 October 2023, Encoding Polyphony – Symposium in honor of Simha Arom

Date & Time: Wednesday 25 October 2023, 14:00-18:00
Location: Room 101A, University Theatre, Nieuwe Doelenstraat 16-18, Amsterdam

This symposium consists of two lectures, given by Dr. Christoph Finkensiep (Music Cognition Group, UvA) and Prof. Dr. Frank Scherbaum (SeismoSoundScape-Lab, Univ. Potsdam), on computational modelling of polyphonic music, preceded by an introduction by Prof. dr. Julia Kursell (UvA). The symposium is part of a four-days event in honor of the eminent musicologist Prof. dr. h.c. Simha Arom (Paris), director emeritus at the CNRS, whose work on polyrhythm and polyphony has opened up new perspectives on the notation as well as the cognitive and computational modelling of music. The lectures will highlight Arom's work on Georgian polyphonic singing (Scherbaum) and embed it in the history and current state of research music and AI.

Entrance is free, but registration is required via j.j.e.kursell at uva.nl.

For more information, see here or contact Julia Kursell at .

25 October 2023, LLAMA seminar, Marianna Girlando

Date & Time: Wednesday 25 October 2023, 16:00-17:00
Speaker: Marianna Girlando (ILLC)
Title: Intuitionistic S4 is decidable!
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-girlando-2023 or contact Tobias Kappé at .

26 October 2023, Logic and Interactive Rationality (LIRa), Fausto Barbero

Date & Time: Thursday 26 October 2023, 16:30-18:00
Speaker: Fausto Barbero (University of Helsinki)
Title: Generalizations of causal models
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online

27 October 2023, Data-Driven History of Ideas Seminar Series (DaDriH), Chiara Latronico

Date & Time: Friday 27 October 2023, 14:00-15:30
Speaker: Chiara Latronico
Title: Golden Agents
Location: Online

We kick off the DaDriH series on the 27th of October 14:00-15:30 with Chiara Latronico, who will share her experience gathered in the Golden Agents project.

30 October 2023, Nordic Online Logic Seminar, Dag Westerståhl

Date & Time: Monday 30 October 2023, 16:00-17:30
Speaker: Dag Westerståhl
Title: From consequence to meaning: the case of intuitionistic propositional logic (IPL)
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. This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.