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.

<< February 2023 >>
Sunday Monday Tuesday Wednesday Thursday Friday Saturday
Click on an event to view details.

2 February 2023, Logic and Interactive Rationality (LIRa), Jialiang Yan

Date & Time: Thursday 2 February 2023, 14:00-15:30
Speaker: Jialiang Yan
Title: Knowing and believing an epistemic possibility
Location: Fully online (i.e. not hybrid)

4 February 2023, STiHAC Joint Meeting, Philipp Dreibrodt

Date & Time: Saturday 4 February 2023, 16:00-18:00
Speaker: Philipp Dreibrodt (Hamburg)
Title: Two proofs of the fact that AD implies that aleph_1 is measurable
Location: Online via Zoom

7 February 2023, EXPRESS-Philmath Seminar, Sarah Moss

Date & Time: Tuesday 7 February 2023, 16:00-18:00
Speaker: Sarah Moss (University of Michigan)
Title: A Synthesis View of Counterfactuals
Location: Online via Zoom

There are two prominent accounts of counterfactuals in the literature---variably strict conditional accounts first developed by Stalnaker and Lewis, and strict conditional accounts defended by von Fintel, Hájek, and others. Unfortunately, both accounts face serious challenges. In the first half of this paper, I argue that existing strict conditional accounts fail to accommodate our probabilistic judgments about counterfactuals. The same goes for several other semantic theories of counterfactuals.

Having presented these challenges, I introduce and defend my own positive account of counterfactuals. The account incorporates a key insight of variably strict accounts--namely, that the antecedent of a counterfactual often influences what worlds are relevant to its truth conditions at a context. But unlike variably strict accounts, my view preserves a strict conditional semantics according to which Antecedent Strengthening is valid, thereby capturing the data that have motivated other strict conditional theorists. By adopting the right account of the pragmatics of counterfactuals, we can endorse a strict conditional semantics and still straightforwardly capture the full range of our intuitive judgments, including probabilistic judgments about counterfactuals.

For more information, see or contact Luca Incurvati at .

8 February 2023, LLAMA seminar, Lingyuan Ye

Date & Time: Wednesday 8 February 2023, 16:00-17:00
Speaker: Lingyuan Ye (ILLC)
Title: Towards Functorial Model Theory
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see or contact Tobias Kappé at .

10 February 2023, Meaning, Logic, and Cognition (MLC) Seminar, Takanobu Nakamura

Date & Time: Friday 10 February 2023, 16:00-17:30
Speaker: Takanobu Nakamura
Title: A dynamic homogeneity approach to cumulative dependencies
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

14 February 2023, Site Visit by Faculty Boards

Date & Time: Tuesday 14 February 2023, 16:00

On the 14th of February the boards of the faculties of FNWI and FGw will visit the ILLC.

For more information, contact .

16 February 2023, The Utrecht Logic in Progress Series (TULIPS), Giorgio Lenta

Date & Time: Thursday 16 February 2023, 15:30-17:00
Speaker: Giorgio Lenta (Genoa/FINO)
Title: The Hyperintensional Kaplan’s Paradox​
Location: Janskerkhof 13, room 0.06, Utrecht

This is a hybrid talk, please contact the organizer if you are interested in joining the online meeting.

For more information, see here or at or contact Colin R. Caret at .

16 February 2023, Logic and Interactive Rationality (LIRa), Jos Baeten

Date & Time: Thursday 16 February 2023, 16:30-18:00
Speaker: Jos Baeten (CWI)
Title: Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Location: ILLC seminar room F1.15 in Science Park 107 and online

17 February 2023, Meaning, Logic, and Cognition (MLC) Seminar, Tamar Johnson

Date & Time: Friday 17 February 2023, 16:00-17:30
Speaker: Tamar Johnson
Title: Categorization models for the representation of gradable adjectives
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

ILLC Current Affairs Meeting cancelled

On Tuesday the deans of the Faculties of Science and Humanities will visit the ILLC and a programme was sent around earlier this week. Because of this event we decided to not also organise a Current Affairs Meeting that week.

For more information, contact .

20 February 2023, NihiL Seminar, Aleksi Anttila

Date & Time: Monday 20 February 2023, 16:00-17:45
Speaker: Aleksi Anttila
Title: An Axiomatization of Bilateral State-based Modal Logic
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

Abstract: Bilateral State-based Modal Logic (BSML) is a modal logic employing team/state-based semantics which can be used to model free choice inference and other natural language phenomena. We introduce a natural deduction system for BSML as well as for two extensions: BSML with the inquisitive disjunction and BSML with a novel emptiness operator. We also study the expressive power of these logics—we show that the two extensions are expressively complete.

For more information, contact Søren Brinck Knudstorp at .

22 February 2023, LLAMA seminar, Fan Yang

Date & Time: Wednesday 22 February 2023, 16:00-17:00
Speaker: Fan Yang (Utrecht University)
Title: The axiomatization problem of dependence logic
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see or contact Tobias Kappé at .

23 February 2023, Logic and Interactive Rationality (LIRa), Søren Knudstorp

Date & Time: Thursday 23 February 2023, 16:30-18:00
Speaker: Søren Knudstorp (ILLC, University of Amsterdam)
Title: Modal Information Logics: Axiomatizations and Decidability
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

24 February 2023, PEPTalks, Sadjad Soltanzadeh

Date & Time: Friday 24 February 2023, 12:00-13:00
Speaker: Sadjad Soltanzadeh
Title: PEPTalk #16: From Metaphysics to Ethics, Design and Regulation
Location: Online via Zoom
For more information, see here or at or contact Aybüke Özgün at .

24 February 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Gregor Behnke

Date & Time: Friday 24 February 2023, 15:00-16:15
Speaker: Gregor Behnke
Title: Lifted Classical Planning via Propositional Logic Satisfiability
Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam / online (Zoom)

Planning models are usually defined in lifted, i.e., first order formalisms, while most solvers need (variable-free) grounded representations. Though techniques for grounding prune unnecessary parts of the model, grounding might – nevertheless – be prohibitively expensive in terms of runtime. To overcome this issue, there has been renewed interest in solving planning problems based on the lifted representation in the last years.

While these approaches are based on (heuristic) search, we present an encoding of lifted classical planning in propositional logic and use SAT solvers to solve it. Evaluating this approach shows that it is competitive with the heuristic search-based approaches in satisficing planning and even outperforms them if we are looking for (length-)optimal solutions.

For more information, see or contact Gregor Behnke at , or Ronald de Haan at .

24 February 2023, DIP Colloquium, Michael Wagner

Date & Time: Friday 24 February 2023, 16:00-17:30
Speaker: Michael Wagner (McGill)
Title: Syntactic Alternative Projection
Location: Online

27 February 2023, Nordic Online Logic Seminar, Sven Ove Hansson

Date & Time: Monday 27 February 2023, 16:00-17:30
Speaker: Sven Ove Hansson
Title: How to combine probabilities and full beliefs in a formal system
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: