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.

<< March 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 March 2024, Joint NihiL-MLC Seminar, Giorgio Sbardolini

Date & Time: Friday 1 March 2024, 16:00-17:30
Speaker: Giorgio Sbardolini (ILLC)
Title: Something from Nothing
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

7 March 2024, Logic and Interactive Rationality (LIRa), Cat Saint-Croix

Date & Time: Thursday 7 March 2024, 16:30-18:00
Speaker: Cat Saint-Croix (University of Minnesota, Twin Cities)
Title: Standpoint Epistemology for Bayesians
Location: Online (only), via Zoom

8 March 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Kristin Yvonne Rozier

Date & Time: Friday 8 March 2024, 15:00-16:25
Speaker: Kristin Yvonne Rozier
Title: On the Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications
Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam

Abstract:

Temporal logics have become essential tools of many AI applications, from verification to planning to synthesis. Mission-time Linear Temporal Logic (MLTL) adds closed-interval integer bounds on the temporal operators of LTL, enabling unit-agnostic specification over finite traces. It is arguably the most-used variation of MTL, and the most-used subset of STL in industrial and AI applications. M...

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

8 March 2024, STiHAC Joint Meeting, Fatima Scha

Date & Time: Friday 8 March 2024, 16:00-18:00
Speaker: Fatima Scha (Amsterdam)
Title: Introducing Intuitionistic Logic of Paradox: Gluts in Kripke Models
Location: Online via Zoom

13 March 2024, LLAMA seminar, Wolfgang Poiger

Date & Time: Wednesday 13 March 2024, 16:00-17:00
Speaker: Wolfgang Poiger (University of Luxembourg)
Title: Algebraic and coalgebraic analysis of some many-valued modal logics
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-poiger-2024 or contact Tobias Kappé at .

14 March 2024, The Utrecht Logic in Progress Series (TULIPS), Dragan Doder

Date & Time: Thursday 14 March 2024, 15:30-17:00
Speaker: Dragan Doder (Utrecht)
Title: Interplay between beliefs and intentions in dynamic environments
Location: Janskerkhof 13, room 006, Utrecht.

This is a hybrid talk, please contact the organizer for a link.

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

19 March 2024, NihiL Seminar, Justin Bledin

Date & Time: Tuesday 19 March 2024, 16:00-17:30
Speaker: Justin Bledin (Johns Hopkins University)
Title: Free Choice With Arbitrary Objects (joint seminar talk with DIP)
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 .

19 March 2024, Joint NiHil-DIP Session, Justin Bledin

Date & Time: Tuesday 19 March 2024, 16:00-17:30
Speaker: Justin Bledin (Johns Hopkins University)
Title: Free Choice With Arbitrary Objects
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

20 March 2024, LLAMA seminar, Sonia Marin

Date & Time: Wednesday 20 March 2024, 16:00-17:00
Speaker: Sonia Marin (University of Birmingham)
Title: On intuitionistic diamonds (and lack thereof)
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk- or contact Tobias Kappé at .

21 March 2024, Logic and Interactive Rationality (LIRa), Daniel Greco

Date & Time: Thursday 21 March 2024, 16:30-18:00
Speaker: Daniel Greco (Yale University)
Title: Idealization in Epistemology
Location: Online only

22 March 2024, EDEV Online Seminar, Antonio Piccolomini d'Aragona

Date & Time: Friday 22 March 2024, 11:30-13:00
Speaker: Antonio Piccolomini d'Aragona
Title: Proof-theoretic Semantics: On Why, When and How Epistemic Concerns Meet Proof Theory
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.

22 March 2024, DIP Colloquium cancelled

Date & Time: Friday 22 March 2024, 16:00-17:30

25 March 2024, Nordic Online Logic Seminar, Albert Visser

Date & Time: Monday 25 March 2024, 16:00-17:30
Speaker: Albert Visser
Title: Restricted Sequential Theories
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 .

26 March 2024, PhD-in-DaDriH Seminar Series, Filippo Mosca

Date & Time: Tuesday 26 March 2024, 15:00-16:30
Speaker: Filippo Mosca
Title: An attempt to apply topic modeling techniques to Wittgenstein’s Nachlass
Location: Online

This talk will explore the application of Latent Dirichlet Allocation (LDA) Model to the writings of Ludwig Wittgenstein. Specifically, it will highlight what topic modeling is and why it can be useful for philosophical interpretation, show the two main stages of how LDA works in practice (data preprocessing and model execution), and address some major challenges in assembling the corpus of Wittgenstein's writings. Finally, initial results will be shown and the limitations and problems associated with these results will be pointed out.

27 March 2024, Logic and Interactive Rationality (LIRa), Tim French

Date & Time: Wednesday 27 March 2024, 16:30-18:00
Speaker: Tim French (The University of Western Australia)
Title: Aleatoric Reasoning: The World as an Urn of Marbles
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom