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.

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

2 June 2021, Proof Theory Virtual Seminar, Lutz Straßburger

Date & Time: Wednesday 2 June 2021, 19:00-20:00
Speaker: Lutz Straßburger (INRIA & LIX Paris)
Title: Towards a Combinatorial Proof Identity
Location: Online via Zoom

3 June 2021, Logic and Interactive Rationality (LIRa), Guillermo Menéndez Turata

Date & Time: Thursday 3 June 2021, 16:30-18:00
Speaker: Guillermo Menéndez Turata
Title: Uniform interpolation from cyclic proofs: the case of modal mu-calculus
Location: Online

DIP Colloquium cancelled

Title: Topics in conjunctions are conditional

Unfortunately the speaker had to cancel today's DIP Colloquium, due to coming down with a (non-covid) fever. We hope to have Madgalena Kaufmann present sometime in the next semester.

7 - 9 June 2021, Logic of Conceivability Conference 2021, Online

Date: 7 - 9 June 2021
Location: Online

The ability to think about non-actual possibilities is crucial for rational decision and action. When deciding what to do in situations of uncertainty or risk, we use our powers of imagination and conception to surveil the ways the world might be for all we know, and ponder the possible consequences of our actions. What is the logic of conceivability? Do thinking and imagining exhibit sufficient structure so to be amenable to precise modeling? Under what conditions does an imaginative episode establish a non-actual scenario as a real possibility? What are the special features of thought, talk and knowledge about mere possibility and conditionality? The aim of this conference is to facilitate the conversation on these questions by bringing together both senior and rising young researchers from around the world.

7 - 9 June 2021, Logic of Conceivability Conference 2021, Online

Date: 7 - 9 June 2021
Location: Online

The ability to think about non-actual possibilities is crucial for rational decision and action. When deciding what to do in situations of uncertainty or risk, we use our powers of imagination and conception to surveil the ways the world might be for all we know, and ponder the possible consequences of our actions. What is the logic of conceivability? Do thinking and imagining exhibit sufficient structure so to be amenable to precise modeling? Under what conditions does an imaginative episode establish a non-actual scenario as a real possibility? What are the special features of thought, talk and knowledge about mere possibility and conditionality? The aim of this conference is to facilitate the conversation on these questions by bringing together both senior and rising young researchers from around the world.

8 June 2021, EXPRESS/PhilMath Seminar, Rosalie Iemhoff

Date & Time: Tuesday 8 June 2021, 16:00
Speaker: Rosalie Iemhoff (Utrecht University)
Title: Proof-Theoretic Formalization
Location: Online via Zoom
For more information, see https://inferentialexpressivism.com/seminar/ or contact Leila Bussiere at .

7 - 9 June 2021, Logic of Conceivability Conference 2021, Online

Date: 7 - 9 June 2021
Location: Online

The ability to think about non-actual possibilities is crucial for rational decision and action. When deciding what to do in situations of uncertainty or risk, we use our powers of imagination and conception to surveil the ways the world might be for all we know, and ponder the possible consequences of our actions. What is the logic of conceivability? Do thinking and imagining exhibit sufficient structure so to be amenable to precise modeling? Under what conditions does an imaginative episode establish a non-actual scenario as a real possibility? What are the special features of thought, talk and knowledge about mere possibility and conditionality? The aim of this conference is to facilitate the conversation on these questions by bringing together both senior and rising young researchers from around the world.

9 June 2021, Cool Logic, Quentin Gougeon

Date & Time: Wednesday 9 June 2021, 17:00-18:00
Speaker: Quentin Gougeon
Title: Epistemic Logic without Possible Worlds
Location: Room C1.10, Science Park 904, Amsterdam / Online via Zoom

Abstract:

While possible worlds can be seen as the semantic backbone of epistemic logic, they can be tedious to deal with. In this talk I introduce epistemic presentations, a kind of structure wherein "issues on the table" are primitive objects and possible worlds are only derivative. In addition to be more flexible, these models lend themselves to an interesting algebraic approach and provide inspiration for new dynamic operators.

Location:

We have a room in the big building of Science Park (house 904, room SPC1.110) with corona capacity 44. The talk will also be streamed live on Zoom. For the Zoom address, please email .

For more information, see http://events.illc.uva.nl/coollogic/ or contact Maximilian Siemers at .

10 June 2021, Logic and Interactive Rationality (LIRa), Jiatu Li

Date & Time: Thursday 10 June 2021, 15:00-16:30
Speaker: Jiatu Li
Title: Formalization of PAL in Lean
Location: Online

11 June 2021, DIP Colloquium, Anna Alsop & Lucas Champollion

Date & Time: Friday 11 June 2021, 16:00-17:30
Speaker: Anna Alsop & Lucas Champollion (NYU)
Title: A compositional account of Japanese ka in Inquisitive Semantics
Location: Online

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

16 June 2021, Proof Theory Virtual Seminar, Hugo Herbelin

Date & Time: Wednesday 16 June 2021, 11:00-12:00
Speaker: Hugo Herbelin (INRIA Paris)
Title: On the logical structure of choice and bar induction principles
Location: Online via Zoom

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

17 June 2021, DIEP Seminars, Alexandru Baltag

Date & Time: Thursday 17 June 2021, 11:00-12:30
Speaker: Alexandru Baltag
Title: Group (Ir)Rationality: Can Logic help?
Location: Zoom

Abstract: I present some applications of logical methods (in particular, of so-called dynamic epistemic logics) to the study of emergent phenomena in groups of `agents', capable of reflection, communication, reasoning, argumentation etc.The main focus on the understanding of belief/preference formation and diffusion in social networks, and on how this affects the group's ``epistemic potential": the ability of the agents to track the truth of the matter (with respect to some given relevant topic). While in some cases, ``wisdom of the crowds" can increase the epistemic potential, in other situations the group's dynamics leads to informational distortions (-- the ``madness of the crowds": cascades, ``groupthink", the curse of the committee, pluralistic ignorance, group polarization, doxastic cycles etc). I explain how logic (in combination with probabilistic methods) can be used to provide some explanations for both types of situations, as well as to suggest some partial solutions to informational distortions.

For more information, contact Soroush Rafiee Rad at .

17 June 2021, Logic and Interactive Rationality (LIRa), Cedegao Zhang

Date & Time: Thursday 17 June 2021, 15:00-16:30
Speaker: Cedegao Zhang (University of California, Berkeley)
Title: A Computational Model of Higher-Order Epistemic Reasoning
Location: Online

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

18 June 2021, DIP Colloquium, Kyle Blumberg & Simon Goldstein

Date & Time: Friday 18 June 2021, 10:00-11:30
Speaker: Kyle Blumberg & Simon Goldstein (ACU)(Abstract)
Title: A Semantic Theory of Redundancy
Location: Online, via Zoom

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

21 June 2021, Nordic Online Logic Seminar, Dag Normann

Date: Monday 21 June 2021
Speaker: Dag Normann
Title: An alternative perspective on Reverse Mathematics
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.

If you wish to receive the Zoom ID and password for the talk, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .
Val Goranko and Graham Leigh, NOL seminar organisers

21 June 2021, Talks on topics in Artificial Intelligence, Dr Sandro Pezzelle

Date & Time: Monday 21 June 2021, 11:00-11:30
Speaker: Dr Sandro Pezzelle (ILLC, UvA)
Title: Integration of language and vision in multimodal pre-trained Transformers
Location: Online via Zoom

21 - 22 June 2021, Workshop "Truth, proof and communication"

Date & Time: 21 - 22 June 2021, 14:00-18:00
Location: Online

The EXPRESS-IHPST workshop online workshop Truth, proof and communication, jointly organised by the European Research Council project EXPRESS (grant agreement no. 758540) and the IHPST, brings together researchers from the ILLC at the University of Amsterdam and IHPST, UMR 8590, CNRS and Université Paris 1 Panthéon-Sorbonne. It will take place on 21-22 June from 14 to 18 in the afternoon, and will consist of three talks per day. Each talk will last 60 minutes including discussion, and coffee breaks are planned in between talks. Attendance is free and everybody is welcome. The registration form can be found on the website.

Speakers: Aybüke Özgün (ILLC, Amsterdam); Francesco Genco (IHPST, Paris); Leïla Bussière-Caraes (ILLC, Amsterdam); Yuta Takahashi (IHPST, Paris); Giorgio Sbardolini (ILLC, Amsterdam); Francesca Poggiolesi (IHPST, Paris).

For more information, see https://inferentialexpressivism.com/events/1041-2/ or contact Julian Schlöder at .

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

21 - 22 June 2021, Workshop "Truth, proof and communication"

Date & Time: 21 - 22 June 2021, 14:00-18:00
Location: Online

The EXPRESS-IHPST workshop online workshop Truth, proof and communication, jointly organised by the European Research Council project EXPRESS (grant agreement no. 758540) and the IHPST, brings together researchers from the ILLC at the University of Amsterdam and IHPST, UMR 8590, CNRS and Université Paris 1 Panthéon-Sorbonne. It will take place on 21-22 June from 14 to 18 in the afternoon, and will consist of three talks per day. Each talk will last 60 minutes including discussion, and coffee breaks are planned in between talks. Attendance is free and everybody is welcome. The registration form can be found on the website.

Speakers: Aybüke Özgün (ILLC, Amsterdam); Francesco Genco (IHPST, Paris); Leïla Bussière-Caraes (ILLC, Amsterdam); Yuta Takahashi (IHPST, Paris); Giorgio Sbardolini (ILLC, Amsterdam); Francesca Poggiolesi (IHPST, Paris).

For more information, see https://inferentialexpressivism.com/events/1041-2/ or contact Julian Schlöder at .

22 June 2021, Talks on topics in Artificial Intelligence, Dr Behzad Bozorgtabar

Date & Time: Tuesday 22 June 2021, 11:00-11:30
Speaker: Dr Behzad Bozorgtabar (EPFL, Lausanne, Switserland)
Title: Towards Responsible AI in Healthcare
Location: Online via Zoom

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

23 June 2021, Talks on topics in Artificial Intelligence, Dr Katrin Schulz

Date & Time: Wednesday 23 June 2021, 11:00-11:30
Speaker: Dr Katrin Schulz (ILLC, UvA)
Title: Responsibility through Causation
Location: Online via Zoom

23 June 2021, Cool Logic, Maximilian Siemers

Date & Time: Wednesday 23 June 2021, 17:00-18:00
Speaker: Maximilian Siemers
Title: Hyperintensional Evidence Logics for Knowledge and Belief
Location: Room C1.10, Science Park 904, Amsterdam / Online via Zoom

Traditional epistemic logic often comes without any notion of evidence and renders belief and knowledge susceptible to logical omniscience. I present an approach that defines belief and knowledge based on hyperintensional evidence, which comes with a notion of evidential aboutness and gives rise to more realistic epistemic agents.

Zoom ID TBA.

For more information, see http://events.illc.uva.nl/coollogic or contact Maximilian Siemers at .

14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for music

Date: 14 - 24 June 2021
Location: Online

From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.

24 June 2021, ABC International Symposium on Musicality

Date & Time: Thursday 24 June 2021, 20:00-22:30
Location: Amsterdam, the Netherlands / Online

A hybrid evening of research, music, and emotion. Honorary Frijda Chair holder Prof. dr. David Huron guides us through the science of sad sounds, addressing two questions:
 - What makes something sound sad?
 - And how is it that listening to sad music can be enjoyable?
Enriched by an interdisciplinary panel discussion, and accompanied by a measured dose of sad music.

25 June 2021, ABC Networking Event 2021

Date & Time: Friday 25 June 2021, 14:30-17:00
Location: Online

The ABC Networking Event provides you with the opportunity to discover all research treasures that ABC holds, and connect with other ABC researchers. All researchers (PhDs, post-docs,  assistant/associate/full professors) are invited to attend and actively participate.

The Networking Event will consist of:

  • ABC Pitch talks: Flash talks that are all about getting to know each other, to foster fresh collaborations, and, possibly, to team-up for grant proposals. In small groups you present your research and/or listen to and discuss all the great research ABC has to offer.
  • Networking session: in an informal atmosphere, the discussions continue in break-out rooms. These are small gatherings focused on a certain topic or just to get to know each other, it’s up to you!