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.

<< December 2022 >>
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 December 2022, Logic and Interactive Rationality (LIRa), Peter van Emde Boas and Ghica van Emde Boas-Lubsen

Date & Time: Thursday 1 December 2022, 16:30-18:00
Speaker: Peter van Emde Boas and Ghica van Emde Boas-Lubsen
Title: Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

2 December 2022, Meaning, Logic, and Cognition (MLC) Seminar, Marloes Oomen

Date & Time: Friday 2 December 2022, 14:00-15:30
Speaker: Marloes Oomen
Title: Biased polar questions in Sign Language of the Netherlands (NGT)
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

2 December 2022, ILLC Current Affairs Meeting

Date & Time: Friday 2 December 2022, 16:00-17:30
Location: ILLC Common Room, Science Park 107, 1098 XG, Amsterdam

As in previous editions, the purpose of this meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.

The current affairs meeting will be followed by drinks in the common room.

For more information, contact .

2 December 2022, Cool Logic, Katia Parshina

Date & Time: Friday 2 December 2022, 17:00-19:00
Speaker: Katia Parshina
Title: Computer-assisted proofs in mathematics and philosophy
Location: Room TBA, Science Park 904, Amsterdam

"In 1977, the first computer-assisted proof of a mathematical theorem was presented by K. Appel and W. Haken. The proof was met with a lot of criticism from both mathematicians and philosophers. The arguments against acceptance of computer-assisted proofs vary: it is not verifiable by human beings because it is impossible to survey; the actions performed by a computer do not constitute mathematical proof, but merely a number of calculations; the method does not contribute to the existing mathematical practice, etc. I present some examples of computer-assisted proofs, including Appel and Haken's work. Then, I analyze the most famous arguments against equating computer-based and human-based proofs in mathematics and examine the philosophical assumptions behind the presented criticism. In the conclusion, I talk about whether the philosophical assumptions are justified."

For more information, see https://coollogic.wixsite.com/website or contact Tuva Bardal, Paul Talma at .

7 December 2022, LLAMA seminar, Serafina Lapenta

Date & Time: Wednesday 7 December 2022, 10:30-11:30
Speaker: Serafina Lapenta (University of Salerno)
Title: De Finetti Coherence and Exchangeability In Infinitary Logic
Location: Room D1.162, Science Park 904, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-lapenta-2022 or contact Tobias Kappé at .

7 December 2022, LLAMA seminar, Reihane Zoghifard

Date & Time: Wednesday 7 December 2022, 11:45-12:45
Speaker: Reihane Zoghifard (Institute for Research in Fundamental Sciences)
Title: The Goldblatt-Thomason theorem for the derived-set semantics
Location: Room D1.162, Science Park 904, Amsterdam / Online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-zoghifard-2022 or contact Tobias Kappé at .

8 December 2022, Annual VvL Joint Seminar

Date & Time: Thursday 8 December 2022, 15:00-17:00
Location: Jantina Tammes Zaal, University of Groningen

The VvL will hold a in-person joint seminar organized by the University of Groningen. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis.

Main speaker: Sonja Smets.
MSc Thesis Prize winners: Anna Dmitrieva (supervisor: Nick Bezhanishvili), Maximilian Siemers (supervisor: Aybüke Özgün), Dominik Wehr (supervisor: Bahareh Afshari).

9 December 2022, Meaning, Logic, and Cognition (MLC) Seminar, Giorgio Sbardolini

Date & Time: Friday 9 December 2022, 16:00-17:30
Speaker: Giorgio Sbardolini
Title: Homogeneity and Rejection
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

13 December 2022, EXPRESS-Philmath Seminar, Hannes Leitgeb

Date & Time: Tuesday 13 December 2022, 16:00-18:00
Speaker: Hannes Leitgeb (Munich)
Title: On merely expressive devices
Location: Online via Zoom
For more information, see https://inferentialexpressivism.com/seminar/ or contact Lwenn Bussière at .

15 December 2022, Logic and Interactive Rationality (LIRa), Fan Yang

Date & Time: Thursday 15 December 2022, 16:30-18:00
Speaker: Fan Yang (Utrecht)
Title: Generalizing propositional team semantics
Location: ILLC seminar room F1.15 in Science Park 107 and online

16 December 2022, ILLC Midwinter Colloquium 2022

Date & Time: Friday 16 December 2022, 16:00-17:30
Location: Room L1.01, Lab42, Science Park, Amsterdam

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the six research groups at the ILLC. Each colloquium consists of three talks by representatives from three of the six research units at the ILLC. The colloquium is concluded by a get together of the entire ILLC community.

We have the following exciting line-up, followed by drinks and snacks as usual:
  16h00-16h30: Marianna Girlando (MCL)
  16h30-17h00: Jelke Bloem (NLP&DH)
  17h00-17h30: Marieke Schouwstra (LMC)

For more information, see https://www.illc.uva.nl/ILLCColloquium/ILLC-Midwinter-Colloquium-2022/ or contact Aybüke Özgün at , or Malvin Gattinger at .
download.png

19 - 21 December 2022, 23rd Amsterdam Colloquium, Amsterdam (the Netherlands)

Date: 19 - 21 December 2022
Location: Amsterdam (the Netherlands)
Deadline: Wednesday 7 September 2022

The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

In addition to the general programme, the 23rd Amsterdam Colloquium will feature two workshops: one on Biases in Language and Cognition and one on Compositional Approaches to Projection. The Colloquium will also include a poster session, and host one evening lecture jointly organized with the E.W. Beth Foundation.

For more information, see https://events.illc.uva.nl/AC/AC2022/.

19 December 2022, Nordic Online Logic Seminar, Alexandru Baltag

Date & Time: Monday 19 December 2022, 16:00-17:30
Speaker: Alexandru Baltag
Title: From Surprise Exams to Topological Mu-Calculus
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.

download.png

19 - 21 December 2022, 23rd Amsterdam Colloquium, Amsterdam (the Netherlands)

Date: 19 - 21 December 2022
Location: Amsterdam (the Netherlands)
Deadline: Wednesday 7 September 2022

The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

In addition to the general programme, the 23rd Amsterdam Colloquium will feature two workshops: one on Biases in Language and Cognition and one on Compositional Approaches to Projection. The Colloquium will also include a poster session, and host one evening lecture jointly organized with the E.W. Beth Foundation.

For more information, see https://events.illc.uva.nl/AC/AC2022/.
download.png

19 - 21 December 2022, 23rd Amsterdam Colloquium, Amsterdam (the Netherlands)

Date: 19 - 21 December 2022
Location: Amsterdam (the Netherlands)
Deadline: Wednesday 7 September 2022

The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

In addition to the general programme, the 23rd Amsterdam Colloquium will feature two workshops: one on Biases in Language and Cognition and one on Compositional Approaches to Projection. The Colloquium will also include a poster session, and host one evening lecture jointly organized with the E.W. Beth Foundation.

For more information, see https://events.illc.uva.nl/AC/AC2022/.