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.

<< November 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
Click on an event to view details.

1 November 2022, Workshop on Proof-theoretic and Algebraic Aspects of (Intuitionistic) Modal Logics

Date & Time: Tuesday 1 November 2022, 09:00-18:00
Location: Room 115, Janskerkhof 2-3, Utrecht

The workshop Proof-theoretic and Algebraic Aspects of (Intuitionistic) Modal Logics will take place on November 1, 2022, in Utrecht. This workshop is organized on the occasion of Iris van der Giessen’s PhD defense, which takes place November 2, 2022, Utrecht. The topics of the talks are related to the subject of her PhD thesis: Uniform Interpolation and Admissible Rules.

Please send an email to if you would like to come. Participation is free and includes the nice talks and coffee breaks.

For more information, see https://paaml.sites.uu.nl/.

4 November 2022, DIP Colloquium, Zach Weber

Date & Time: Friday 4 November 2022, 15:00-16:30
Speaker: Zach Weber (University of Otago)
Title: On Paraconsistency: Conservative and Revisionary Approaches
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
Screenshot_2022-06-20_at_15.34.59.png

7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands

Date & Time: 7 - 12 November 2022, 09:00-17:00
Location: Utrecht, The Netherlands
Deadline: Tuesday 20 September 2022

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

For more information, see here or at https://uswpt.sites.uu.nl/ or contact Bahareh Afshari at .
Screenshot_2022-06-20_at_15.34.59.png

7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands

Date & Time: 7 - 12 November 2022, 09:00-17:00
Location: Utrecht, The Netherlands
Deadline: Tuesday 20 September 2022

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

For more information, see here or at https://uswpt.sites.uu.nl/ or contact Bahareh Afshari at .
Screenshot_2022-06-20_at_15.34.59.png

7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands

Date & Time: 7 - 12 November 2022, 09:00-17:00
Location: Utrecht, The Netherlands
Deadline: Tuesday 20 September 2022

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

For more information, see here or at https://uswpt.sites.uu.nl/ or contact Bahareh Afshari at .

9 November 2022, ILLC Diversity Talks, Prof. Moshe Vardi

Date & Time: Wednesday 9 November 2022, 16:30-18:00
Speaker: Prof. Moshe Vardi
Title: Artificial Intelligence: Ethics Versus Public Policy
Location: Room D1.111, Science Park 904, Amsterdam / Online via Zoom

We would like to announce an upcoming talk in the ILLC Diversity Talks Series. On Wednesday 9 November 16:30 – 18:00, Moshe Vardi will give a talk on “Artificial Intelligence: Ethics Versus Public Policy”. Due to family reasons, Moshe will give the talk remotely, but we encourage everyone to attend on-location at SP 904 Room D1.111!  Alternatively, you are welcome to join us on Zoom.

In a recent survey, many ILLC members expressed their interest in a talk on Ethical AI. Moshe Vardi acted as advisor for the ILLC for many years, and we hope that this event will bring together everyone interested in this topic.

The talk will be followed by a reception in the ILLC Common Area at LAB42 (SP 900, LAB42, 6th floor).

For more information, see here or at https://illc-diversity-talks.github.io/ or contact ILLC Diversity Committee at .
Screenshot_2022-06-20_at_15.34.59.png

7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands

Date & Time: 7 - 12 November 2022, 09:00-17:00
Location: Utrecht, The Netherlands
Deadline: Tuesday 20 September 2022

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

For more information, see here or at https://uswpt.sites.uu.nl/ or contact Bahareh Afshari at .

10 November 2022, Logic and Interactive Rationality (LIRa), Franz Berto

Date & Time: Thursday 10 November 2022, 16:30-18:00
Speaker: Franz Berto (University of St Andrews & University of ! Amsterdam)
Title: Cognitive Synonymy: a Dead Parrot?
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
Screenshot_2022-06-20_at_15.34.59.png

7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands

Date & Time: 7 - 12 November 2022, 09:00-17:00
Location: Utrecht, The Netherlands
Deadline: Tuesday 20 September 2022

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

For more information, see here or at https://uswpt.sites.uu.nl/ or contact Bahareh Afshari at .
Screenshot_2022-06-20_at_15.34.59.png

7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands

Date & Time: 7 - 12 November 2022, 09:00-17:00
Location: Utrecht, The Netherlands
Deadline: Tuesday 20 September 2022

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

For more information, see here or at https://uswpt.sites.uu.nl/ or contact Bahareh Afshari at .

16 November 2022, LLAMA seminar, Iris van der Giessen

Date & Time: Wednesday 16 November 2022, 16:00-17:00
Speaker: Iris van der Giessen (University of Birmingham)
Title: Uniform interpolation, nested sequents, and bisimulation quantification
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-van-der-giessen-2022 or contact Tobias Kappé at .

17 November 2022, The Utrecht Logic in Progress Series (TULIPS), Diego Tajer

Date & Time: Thursday 17 November 2022, 15:30-17:00
Speaker: Diego Tajer (Buenos Aires / MCMP)
Title: Derivative normativity and logical pluralism
Location: Kromme Nieuwegracht 80, room 1.06, Utrecht

This seminar is hybrid. If you would like to join the online meeting, please contact the organizer.

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

17 November 2022, Logic and Interactive Rationality (LIRa), Paolo Galeazzi

Date & Time: Thursday 17 November 2022, 16:30-18:00
Speaker: Paolo Galeazzi
Title: Games with different decision criteria
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

18 November 2022, DIP Colloquium, Justin Khoo

Date & Time: Friday 18 November 2022, 15:00-16:30
Speaker: Justin Khoo (MIT)
Title: A plea for fictional events
Location: Online via Zoom

23 November 2022, LLAMA seminar, Matteo Acclavio

Date & Time: Wednesday 23 November 2022, 16:00-17:00
Speaker: Matteo Acclavio (Università Roma Tre)
Title: Designing a Proof Theory of Logical Time
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
For more information, see https://events.illc.uva.nl/llama/#talk-acclavio-2022 or contact Tobias Kappé at .

(Updated) 24 November 2022, Logic and Interactive Rationality (LIRa), Thomas Schindler

Date & Time: Thursday 24 November 2022, 16:30-18:00
Speaker: Thomas Schindler (University of Amsterdam)
Title: Unrestricted quantification, higher order logic, and type-free theories
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

28 November 2022, Nordic Online Logic Seminar, Laura Crosilla

Date & Time: Monday 28 November 2022, 16:00-17:30
Speaker: Laura Crosilla
Title: On Weyl's predicative concept of set
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.

29 November 2022, PEPTalkPlus, Tamar Sharon and Natali Helberger

Date & Time: Tuesday 29 November 2022, 13:15-15:15
Speaker: Tamar Sharon and Natali Helberger
Title: PEPTalkPlus #1: The Power of Big Tech
Location: Oude Turfmarkt 145-147, Institute for Advanced Study, Sweelinck Room

The Platform for the Ethics and Politics of Technology organises a live event PEPTalkPlus: The Power of Big Tech. An interactive panel featuring Tamar Sharon and Natali Helberger, moderated by Eva Groen-Reijman.