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

3 February 2021, Logic of Conceivability seminar, Thomas Ferguson

Date & Time: Wednesday 3 February 2021, 17:00-19:00
Speaker: Thomas Ferguson
Title: Rethinking Griss’ Negationless Intuitionistic Mathematics
Location: Virtually (Zoom)

3 February 2021, Proof Theory Virtual Seminar, Sara Negri

Date & Time: Wednesday 3 February 2021, 18:00-19:00
Speaker: Sara Negri (Genova)
Title: A proof-theoretic approach to formal epistemology
Location: Online via Zoom

4 February 2021, NWO Synergy '21

Date & Time: Thursday 4 February 2021, 14:30-17:00
Location: Online

What is your position on Future Societies? At Synergy ’21 we will explore Future Societies from the perspective of the individual and the collective, moving through the development of new interactions and communities, to perspectives on the future of humanity in a posthuman society. Synergy ’21 will underscore the significance and relevance of scientific research and knowledge development that will affect our shared future.

For more information, see https://www.nwo.nl/en/meetings/synergy-21 or contact Dr. R.P.W. Heinsbroek at .

4 February 2021, Logic and Interactive Rationality (LIRa), Sophia Knight

Date & Time: Thursday 4 February 2021, 16:30-18:00
Speaker: Sophia Knight
Title: Reasoning about agents who may know other agents’ strategies in Strategy Logic
Location: online

5 February 2021, Meaning, Logic, and Cognition (MLC) Seminar, Robert van Rooij

Date & Time: Friday 5 February 2021, 16:00-17:30
Speaker: Robert van Rooij
Title: Conditionals: causality and relevance
Location: Online, via Zoom

5 February 2021, Philosophy of Mathematics (Φ-Math) Reading Group

Date & Time: Friday 5 February 2021, 18:00-19:30
Title: Gödel's Incompleteness Theorems, Free Will and Mathematical Thought, by Solomon Feferman
Location: Online via Zoom

9 February 2021, The Utrecht Logic in Progress Series (TULIPS), Emil Jerabek

Date & Time: Tuesday 9 February 2021, 16:00-17:00
Speaker: Emil Jerabek (Czech Academy of Sciences)
Title: Disjunction properties in modal proof complexity
Location: Online

This talk will take place in Microsoft Teams. Please contact the organizer for information about how to join the talk.

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

11 February 2021, Faces of Science Park: Sense of Belonging in Times of Crisis

Date & Time: Thursday 11 February 2021, 09:30-20:30
Location: Online

On 11 February 2021, it’s time for ‘Faces of Science Park: Sense of Belonging in Times of Crisis’. On this day we will reflect on the diversity within the Faculty of Science and within the university. On this day, we welcome students and staff of the Faculty of Science to talk and think about diversity.

CWI_75_jaar_logo_DEF_s.png

11 February 2021, Celebration of CWI's 75th birthday

Date & Time: Thursday 11 February 2021, 14:00-17:00
Location: Zoom

CWI is counting down to its 75th anniversary and kindly requests you to save the date: on 11 February 2021 we will celebrate our jubilee with a special online event.

Preliminary programme:
14.00 Opening
14.10 Breakout sessions round 1: Daniel Dadush, Marten van Dijk, Benjamin Sanderse, Irene Viola
14.40 Ton de Kok
15.00 Break
15.10 Breakout sessions round 2: Peter Bosman, Stacey Jeffery, Lisa Kohl, Hannes Muhleisen
15.40 Jos Baeten
16.00 Comedian Adam Fields
16.35 Closing
Chair of the day is Ans Hekkenberg.

For more information, see https://www.cwi.nl/events/2021/online-celebration-of-cwis-diamond-jubilee or contact Danielle Kollerie at .

11 February 2021, CoSaQ seminar, Fausto Carcassi

Date & Time: Thursday 11 February 2021, 14:00-15:30
Speaker: Fausto Carcassi
Title: The Shape of Modified Numerals
Location: Zoom
For more information, see https://www.jakubszymanik.com/CoSaQ/seminar/ or contact Sonia Ramotowska at .

11 February 2021, Logic and Interactive Rationality (LIRa), Elise Perrotin

Date & Time: Thursday 11 February 2021, 16:30-18:30
Speaker: Elise Perrotin
Title: Knowledge “whether” and belief “about” as a lightweight alternative to Dynamic Epistemic Logic
Location: Online

12 February 2021, Philosophy of Mathematics (Φ-Math) Reading Group, Pieter Adriaans

Date & Time: Friday 12 February 2021, 18:00-19:15
Speaker: Pieter Adriaans
Title: Φ-Tea IV: An Information Theoretical Perspective on the Separation of the classes P and NP
Location: Online via Zoom

The P vs. NP problem, one of the seven Millenium Problems, is one of the most relevant unsolved questions in theoretical computer science. The progress in the last decade, however, has been little. Can information theory and philosophy of information provide new insights as to why these classes should be distinct (or the same)? Pieter Adriaans will be offering a talk on the subject, followed by a discussion.

For more information, see https://events.illc.uva.nl/PhilMathReading or contact Noel Arteche at , or Evan Iatrou at .

16 February 2021, EXPRESS/PhilMath Seminar, Greg Restall

Date & Time: Tuesday 16 February 2021, 10:00-12:00
Speaker: Greg Restall (Melbourne)
Title: An Inferentialist Account of Identity and Modality
Location: Online

This semester, the EXPRESS Seminar is joining forces with the PHILMATH Seminar in Paris. Our first speaker will be Greg Restall on "An Inferentialist Account of Identity and Modality".

For more information, see https://inferentialexpressivism.com/seminar/ or contact Leila Bussiere at , or Julian Schlöder at .

17 February 2021, Proof Theory Virtual Seminar, Keita Yokoyama

Date & Time: Wednesday 17 February 2021, 10:00-11:00
Speaker: Keita Yokoyama (JAIST)
Title: Forcing interpretation, conservation and proof size
Location: Online via Zoom

17 February 2021, Algebra|Coalgebra Seminar, Philip Kremer

Date & Time: Wednesday 17 February 2021, 16:00-17:00
Speaker: Philip Kremer (University of Toronto)
Title: Strong Completeness in Topological Semantics
Location: Online (Zoom Meeting ID 922-5064-0302)
For more information, see https://events.illc.uva.nl/alg-coalg or contact Jan Rooduijn at .

17 February 2021, Cool Logic, Paul Maurice Dekker / Giovanni Cina

Date & Time: Wednesday 17 February 2021, 17:00-19:00
Speaker: Paul Maurice Dekker / Giovanni Cina
Title: Shuffling Pennies / Pacmed Internships
Location: Zoom

The student-run ILLC talk series Cool Logic has been revived and will, for the first time this year, take place on Wednesday, Feb 17 in the time slot that is usually occupied by the MoL Graduation Trajectory. There will be a talk by Paul Maurice Dekker (abstract below), followed by a round of questions and discussion. Afterwards, there will be a presentation by Giovanni Cina on internship opportunities at the Amsterdam-based company Pacmed.

Zoom link: https://uva-live.zoom.us/j/81396779133

For more information, see http://events.illc.uva.nl/coollogic/talks/115 or contact Cool Logic at .

18 February 2021, Logic and Interactive Rationality (LIRa), Marija Slavkovik

Date & Time: Thursday 18 February 2021, 16:30-18:00
Speaker: Marija Slavkovik
Title: Conflicts in machine ethics
Location: Online

19 February 2021, Philosophy of Mathematics (Φ-Math) Reading Group

Date & Time: Friday 19 February 2021, 18:00-19:30
Title: Conceptions of the Continuum, by Solomon Feferman
Location: Online via Zoom
For more information, see https://events.illc.uva.nl/PhilMathReading or contact Noel Arteche at , or Evan Iatrou at .

25 February 2021, CoSaQ seminar, Heming Strømholt Bremnes

Date & Time: Thursday 25 February 2021, 14:00-15:30
Speaker: Heming Strømholt Bremnes
Title: Computational Complexity Explains Neural Differences in Quantifier Verification
Location: Online via Zoom
For more information, see https://www.jakubszymanik.com/CoSaQ/seminar/ or contact Sonia Ramotowska at .

25 February 2021, Logic and Interactive Rationality (LIRa), Sven Rosenkranz

Date & Time: Thursday 25 February 2021, 16:30-18:30
Speaker: Sven Rosenkranz
Title: To be in no position to know to be in no position to know: methods, safety, and luminosity
Location: Online

26 February 2021, Meaning, Logic, and Cognition (MLC) Seminar, Ciyang Qing

Date & Time: Friday 26 February 2021, 16:00-17:30
Speaker: Ciyang Qing
Title: Neg-raising and responsivity
Location: Online, via Zoom

26 February 2021, Philosophy of Mathematics (Φ-Math) Reading Group, Anna Bellomo

Date & Time: Friday 26 February 2021, 18:00-19:30
Speaker: Anna Bellomo
Title: Bernard Bolzano's Philosophy of Mathematics
Location: Online via Zoom
For more information, see https://events.illc.uva.nl/PhilMathReading.