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
|
1 December 2022, Logic and Interactive Rationality (LIRa), Peter van Emde Boas and Ghica van Emde Boas-Lubsen
2 December 2022, Meaning, Logic, and Cognition (MLC) Seminar, Marloes Oomen
2 December 2022, ILLC Current Affairs Meeting
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.
2 December 2022, Cool Logic, Katia Parshina
"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."
7 December 2022, LLAMA seminar, Serafina Lapenta
7 December 2022, LLAMA seminar, Reihane Zoghifard
8 December 2022, Annual VvL Joint Seminar
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
13 December 2022, EXPRESS-Philmath Seminar, Hannes Leitgeb
15 December 2022, Logic and Interactive Rationality (LIRa), Fan Yang
16 December 2022, ILLC Midwinter Colloquium 2022
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)
19 - 21 December 2022, 23rd Amsterdam Colloquium, Amsterdam (the Netherlands)
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.
19 December 2022, Nordic Online Logic Seminar, Alexandru Baltag
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.
19 - 21 December 2022, 23rd Amsterdam Colloquium, Amsterdam (the Netherlands)
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.
19 - 21 December 2022, 23rd Amsterdam Colloquium, Amsterdam (the Netherlands)
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.