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.

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

5 May 2023, STiHAC Joint Meeting, Jonathan Osinski

Date & Time: Friday 5 May 2023, 16:00-18:00
Speaker: Jonathan Osinski (Hamburg)
Title: Model-Theoretic Characterizations of Weak Vop&ecaron;nka's Principle
Location: Online via Zoom

10 May 2023, LLAMA seminar, Mojtaba Mojtahedi

Date & Time: Wednesday 10 May 2023, 16:00-17:30
Speaker: Mojtaba Mojtahedi (Ghent University)
Title: On provability logic of Heyting Arithmetic
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-mojtahedi-2023 or contact Tobias Kappé at .

11 - 12 May 2023, The Strength of Weak Type Theory

Date & Time: 11 - 12 May 2023, 10:00-17:00
Location: Amsterdam Science Park, Amsterdam

On May 11 and 12 we will have an informal workshop devoted to weak type theories. Speakers include: Rafael Bocquet, Matteo Spadetto, Sam Speight and Theo Winterhalter.

For more information, see https://dutchcats.github.io or contact Benno van den Berg at .

11 May 2023, The Utrecht Logic in Progress Series (TULIPS), Hein Duijf

Date & Time: Thursday 11 May 2023, 15:30-17:00
Speaker: Hein Duijf (Utrecht)
Title: Individualism, reductive explanations, and logical regularity
Location: Room 1.06, Kromme Nieuwegracht 80, Utrecht

This is a hybrid talk. Contact the organizer for a link.

For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at .

11 May 2023, The Lindström Lectures, Rineke Verbrugge

Date & Time: Thursday 11 May 2023, 18:00-20:00
Speaker: Rineke Verbrugge
Title: Combining probability and provability logic
Location: University of Gothenburg

The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg launched a lecture series in 2013 to celebrate the singular achievements of Pelle Lindström, former professor of logic at the department.

Annually, a distinguished logician is invited to deliver a general lecture to the public, and a specialized presentation at the logic seminar.

For more information, see https://www.gu.se/en/flov/the-lindstrom-lectures or contact Bahareh Afshari at .

11 - 12 May 2023, The Strength of Weak Type Theory

Date & Time: 11 - 12 May 2023, 10:00-17:00
Location: Amsterdam Science Park, Amsterdam

On May 11 and 12 we will have an informal workshop devoted to weak type theories. Speakers include: Rafael Bocquet, Matteo Spadetto, Sam Speight and Theo Winterhalter.

For more information, see https://dutchcats.github.io or contact Benno van den Berg at .

12 May 2023, The Lindström Lectures, Rineke Verbrugge

Date & Time: Friday 12 May 2023, 10:00-12:00
Speaker: Rineke Verbrugge
Title: Aspects of provability and interpretability
Location: University of Gothenburg

The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg launched a lecture series in 2013 to celebrate the singular achievements of Pelle Lindström, former professor of logic at the department.
Annually, a distinguished logician is invited to deliver a general lecture to the public, and a specialized presentation at the logic seminar.

For more information, see https://www.gu.se/en/flov/the-lindstrom-lectures or contact Bahareh Afshari at .

12 May 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Guido Schäfer

Date & Time: Friday 12 May 2023, 15:00-16:25
Speaker: Guido Schäfer
Title: Social Welfare Loss in Hybrid Multi-Unit Auctions
Location: Room L2.06, ILLC Lab42, Science Park 900, Amsterdam

Abstract:
Corruption in auctions, where an auctioneer engages in bid rigging with one (or several) of the bidders, occurs rather frequently in practice, especially in the public sector (e.g., in construction and procurement auctions). We study the social welfare loss caused by corrupt auctioneers, both in single-item and multi-unit auctions.

For more information, see https://events.illc.uva.nl/FOAM/posts/talk4/ or contact Gregor Behnke at , or Ronald de Haan at .

12 May 2023, DIP Colloquium, Bridget Copley

Date & Time: Friday 12 May 2023, 16:00-17:30
Speaker: Bridget Copley (CNRS/Université Paris 8)
Title: Truth, becoming, and other values
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

12 May 2023, STiHAC Joint Meeting, Deborah Kant

Date & Time: Friday 12 May 2023, 16:00-18:00
Speaker: Deborah Kant (Hamburg)
Title: Predicting axioms - The prediction-use of large cardinal axioms in set-theoretic practice
Location: Online via Zoom

16 - 17 May 2023, Workshop on Reasoning about Responsible Agency in AI

Date & Time: 16 - 17 May 2023, 09:00-18:00
Location: De Doelenzaal (C0.07), University Library, Singel 425, Amsterdam
Costs: Free but registration is required
Deadline: Sunday 30 April 2023

As they become increasingly integrated into our lives, autonomous systems are used to execute more and more tasks that have both normative and epistemic relevance. This has led to a growing literature in machine ethics aiming at addressing the question of how to build autonomous systems that can, first, acquire and properly reason about normative and observational information, and, second, use this information to interact with other agents and the environment in a way that is responsible and, at the same time, explainable.

The goal of this workshop is to bring together philosophers, logicians, and computer scientists in order to explore these topics from an interdisciplinary perspective.

For more information, see https://sites.google.com/view/reasoningaboutresponsibility/ or contact Aybüke Özgün at .

16 - 17 May 2023, Workshop "Interrogatives and imperatives in the visual modality"

Date & Time: 16 - 17 May 2023, 09:00-18:00
Location: Room F0.00, Bushuis, Kloveniersburgwal 48, Amsterdam

The first workshop day focuses on methods, with different sessions devoted to questions and experiences related to elicitation methods/experimental design, annotation, and analysis in studies on imperatives and/or interrogatives in the visual modality. Each session features 10-minute presentations by several research groups on their ongoing work, followed by general discussion.

On the second workshop day, five research groups present (preliminary) results of their recent or ongoing work into imperatives and/or interrogatives in the visual modality.

For more information, see https://sites.google.com/view/iivm-2023/ or contact Floris Roelofsen at .

16 - 17 May 2023, Workshop on Reasoning about Responsible Agency in AI

Date & Time: 16 - 17 May 2023, 09:00-18:00
Location: De Doelenzaal (C0.07), University Library, Singel 425, Amsterdam
Costs: Free but registration is required
Deadline: Sunday 30 April 2023

As they become increasingly integrated into our lives, autonomous systems are used to execute more and more tasks that have both normative and epistemic relevance. This has led to a growing literature in machine ethics aiming at addressing the question of how to build autonomous systems that can, first, acquire and properly reason about normative and observational information, and, second, use this information to interact with other agents and the environment in a way that is responsible and, at the same time, explainable.

The goal of this workshop is to bring together philosophers, logicians, and computer scientists in order to explore these topics from an interdisciplinary perspective.

For more information, see https://sites.google.com/view/reasoningaboutresponsibility/ or contact Aybüke Özgün at .

16 - 17 May 2023, Workshop "Interrogatives and imperatives in the visual modality"

Date & Time: 16 - 17 May 2023, 09:00-18:00
Location: Room F0.00, Bushuis, Kloveniersburgwal 48, Amsterdam

The first workshop day focuses on methods, with different sessions devoted to questions and experiences related to elicitation methods/experimental design, annotation, and analysis in studies on imperatives and/or interrogatives in the visual modality. Each session features 10-minute presentations by several research groups on their ongoing work, followed by general discussion.

On the second workshop day, five research groups present (preliminary) results of their recent or ongoing work into imperatives and/or interrogatives in the visual modality.

For more information, see https://sites.google.com/view/iivm-2023/ or contact Floris Roelofsen at .
pexels-brett-sayles-4339335.jpg

17 May 2023, EDDY meetup on Digital Divides

Date & Time: Wednesday 17 May 2023, 15:00-16:00
Location: Online
Target audience: Everyone interested in Digital Democracy

The European Digital DemocracY network (EDDY) is having its second online meetup on Wednesday, May 17th at 15h00 (Berlin) on the theme of Digital Divides, featuring Eva de Valk (Dutch Policy Officer for Digital Inclusion) and Jan van Dijk (University of Twente).

17 May 2023, Meaning, Logic, and Cognition (MLC) Seminar, Eduardo Pérez Navarro

Date & Time: Wednesday 17 May 2023, 16:00-17:30
Speaker: Eduardo Pérez Navarro(Abstract)
Title: Common ground for expressivists
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

22 May 2023, Workshop "Causation and Modality in Logic and Language"

Date & Time: Monday 22 May 2023, 09:30-18:00
Location: Room F1.01B, Bushuis, Amsterdam
Target audience: Anyone with an interest in causation and modality in logic, linguistics and/or philosophy

On Monday 22 May the Institute for Logic, Language, and Computation will host a workshop on Causation and Modality in Logic and Language. The workshop will be hybrid. Everyone who is interested in causation in philosophy, linguistics and/or logic is very welcome to attend.

The speakers are Sander Beckers (Amsterdam), Ivano Ciardelli (Padua), Bridget Copley (Paris 8), Angelica Hill (UMass Amherst), Thomas Icard (Stanford), Mingya Liu (Humboldt), Dean McHugh (Amsterdam), and Prerna Nadathur (Ohio).

The workshop is followed by the PhD Defense of Dean McHugh on Tuesday 23 May.

22 May 2023, Nordic Online Logic Seminar, Magdalena Ortiz

Date & Time: Monday 22 May 2023, 16:00-17:30
Speaker: Magdalena Ortiz
Title: A Short Introduction to SHACL for Logicians
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.

25 May 2023, Logic and Interactive Rationality (LIRa), Niccolò Rossi

Date & Time: Thursday 25 May 2023, 16:30-18:00
Speaker: Niccolò Rossi (ILLC, University of Amsterdam)
Title: Disjunctions, topics and grounds
Location: ILLC seminar room F3.20 in Science Park 107 and online

26 May 2023, DIP Colloquium cancelled

Date & Time: Friday 26 May 2023, 16:00-17:30

26 May 2023, STiHAC Joint Meeting, Raiean Banerjee

Date & Time: Friday 26 May 2023, 16:00-18:00
Speaker: Raiean Banerjee (Hamburg)
Title: More on Willowtree and Matet forcing
Location: Online via Zoom

31 May 2023, LLAMA seminar, Nick Bezhanishvili

Date & Time: Wednesday 31 May 2023, 16:00-17:30
Speaker: Nick Bezhanishvili (ILLC)
Title: Degrees of the finite model property
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-bezhanishivili-2023 or contact Tobias Kappé at .