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

1 May 2024, LLAMA seminar, Lide Grotenhuis

Date & Time: Wednesday 1 May 2024, 16:00-17:00
Speaker: Lide Grotenhuis (ILLC)
Title: Intuitionistic μ-calculus with the Lewis arrow
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-grotenhuis-2024 or contact Tobias Kappé at .

3 May 2024, STiHAC Joint Meeting, Philipp Lücke

Date & Time: Friday 3 May 2024, 16:00-18:00
Speaker: Philipp Lücke (Hamburg)
Title: Ordinal definability and very large cardinals
Location: Online via Zoom

8 May 2024, LLAMA seminar, Neer Bhardwaj

Date & Time: Wednesday 8 May 2024, 16:00-17:00
Speaker: Neer Bhardwaj (Weizmann Institute of Science)
Title: Integer-valued o-minimal functions
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-bhardwaj-2024 or contact Tobias Kappé at .

15 May 2024, LLAMA seminar, Simone Ramello

Date & Time: Wednesday 15 May 2024, 16:00-17:00
Speaker: Simone Ramello (University of Münster)
Title: Understanding valued fields via model theory
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-ramello-2024 or contact Tobias Kappé at .

16 May 2024, Logic and Interactive Rationality (LIRa), Francisca Silva

Date & Time: Thursday 16 May 2024, 16:30-18:00
Speaker: Francisca Silva (University of St Andrews)
Title: Epistemic Logic with Partial Grasp
Location: online only

17 May 2024, FOAM Seminar, Emir Demirovic

Date & Time: Friday 17 May 2024, 15:00-16:15
Speaker: Emir Demirovic (TU Delft)
Title: Decision trees in a formal world: machine learning (with constraints), controller verification, and unsatisfiability proofs for graph problems
Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
For more information, see https://events.illc.uva.nl/FOAM/posts/talk14/ or contact Gregor Behnke at , or Ronald de Haan at .

24 May 2024, EDEV Online Seminar, Carlo Martini

Date & Time: Friday 24 May 2024, 11:30-13:00
Speaker: Carlo Martini (San Raffaele University, Milan)
Title: Knowledge Brokers in Crisis: Public Communication of Science During the COVID-19 Pandemic
Location: 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.

29 May 2024, LLAMA seminar, Todd Schmid

Date & Time: Wednesday 29 May 2024, 16:00-17:00
Speaker: Todd Schmid (St. Mary's College of California)
Title: From Regular Expressions to Star Fragments
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-schmid-2024 or contact Tobias Kappé at .

30 May 2024, Logic and Interactive Rationality (LIRa), Adam Bjorndahl

Date & Time: Thursday 30 May 2024, 16:30-18:00
Speaker: Adam Bjorndahl (Carnegie Mellon University)
Title: Belief and Causation
Location: ILLC seminar room F1.15 in Science Park 107 and online.

31 May 2024, STiHAC Joint Meeting, Luke Gardiner

Date & Time: Friday 31 May 2024, 16:00-18:00
Speaker: Luke Gardiner (Cambridge)
Title: Infinite exponent partition relations on higher analogues of the reals
Location: Online via Zoom