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 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.

2 June 2022, Logic and Interactive Rationality (LIRa), Gregor Behnke

Date & Time: Thursday 2 June 2022, 16:30-18:00
Speaker: Gregor Behnke (ILLC, University of Amsterdam)
Title: Planning with Temporally extended Goals
Location: Online

3 June 2022, Heyting Day 2022: Wittgenstein's Tractatus

Date & Time: Friday 3 June 2022, 10:00-16:30
Location: Trippenhuis KNAW, Kloveniersburgwal 29, 1011 JV Amsterdam
Costs: free (registration required)

A hundred years ago, Wittgenstein's Tractatus Logico-Philosophicus was published in English and in German. Since that time, the book has engendered enduring fascination both from professional philosophers and from interested laypersons. This interest is both due to the book's themes and to its literary style. The themes include the nature of reality, the relationship between world and language, the nature of logic, ethics, the self, the mystical.

The Tractatus gives rise to many exciting issues of interpretation. The speakers of the Heyting Day will throw light on some of these issues, especially on Wittgenstein's views on the nature of logic and on the role of the first person in the Tractatus. The day will provide ample room to reflect together about what the book has to tell us. Sure, not all can be said, but we will try to say what we can and show what we can't.

3 June 2022, Meaning, Logic, and Cognition (MLC) Seminar, Reinhard Muskens

Date & Time: Friday 3 June 2022, 16:00-16:30
Speaker: Reinhard Muskens
Title: Abucing Meaning

3 June 2022, Cool Logic, Evan Iatrou & Jan Gronwald

Date & Time: Friday 3 June 2022, 16:00-17:30
Speaker: Evan Iatrou & Jan Gronwald
Title: MoL Wars: The Academy Strikes Back
Location: Room D1.115, Science Park 904, Amsterdam

In the era of scientism, platonists have gotten used to being the laughing stock of the philosophy of mathematics community. Postulating the existence of non-spatiotemporal objects and "mystic" ways of knowing true propositions about those objects seems more like Greek mythology than possible metaphysical and epistemic truths. Among the popular alternatives to Platonism that ground mathematical ontology & epistemology to the "real" world is that of Brouwer's Intuitionism, a position grounded on our perception of time and hence, by default, spatiotemporal.

In the first ever joint event between the Cool Logic and Φ-math organisers and in the first ever Cool Logic debate, Evan will strike back against intuitionists by presenting evidence from experimental cognitive psychology that falsifies the foundation of their position and that does justice to Plato. On the opposition, Jan will defend his Master - Brouwer - by arguing that Evan's arguments are nothing but another lame excuse by platonists to live in fairyland.

For more information, see https://coollogic.wixsite.com/website/event-details/mol-wars-the-academy-strikes-back or contact Vasiliy Romanovskiy, Tibo Rushbrooke at .

7 June 2022, Heyting Day Extra Lecture, Oskari Kuusela, University of East Anglia

Date & Time: Tuesday 7 June 2022, 16:00-18:00
Speaker: Oskari Kuusela, University of East Anglia
Title: Overlooked Distinctions: the Mirage of Contingent A Priori
Location: P.C. Hoofthuis Room 1.04, Spuistraat 134, Amsterdam

As a follow-up to the Heyting Day our Heyting speaker Oskari Kuusela will give an extra lecture about the contingent a priori in Room 1.04 in the P.C. Hoofthuis. Live stream available here.

Extra: Oskari will be available to talk to masters and PhD students (of all universities) from 14.00-15.45h in Room 1.14 of the P.C. Hoofthuis.

For more information, see here or contact Albert Visser at .

8 - 9 June 2022, AMD GPU Workshop

Date & Time: 8 - 9 June 2022, 10:30-17:00
Location: SURF Amsterdam Science Park

In this workshop you will get an overview of the AMD GPU architecture. And with the assisted demos and hands-on exercises we provide the participants with the knowledge and tools to start working with your own application on AMD GPUs.

For more information, see https://www.surf.nl/en/agenda/amd-gpu-workshop or contact Sagar Dolas at .

8 June 2022, STiHAC Joint Meeting, Alexia Muresan, Daniel Mol, Hidde van Lierop

Date & Time: Wednesday 8 June 2022, 12:30-14:15
Speaker: Alexia Muresan (Amsterdam), Daniel Mol (Amsterdam), Hidde van Lierop (Amsterdam)
Location: Online via Zoom

12:30–13:00: Algorithmic Discrimination: Understanding and Confronting AI Bias
13:05–13:35: On Proof Checking and Automated Theorem Proving Natural Deduction
13:40–14:10. What assists a person better at being a master at recognition: Early exposure or late exposure?

8 - 9 June 2022, AMD GPU Workshop

Date & Time: 8 - 9 June 2022, 10:30-17:00
Location: SURF Amsterdam Science Park

In this workshop you will get an overview of the AMD GPU architecture. And with the assisted demos and hands-on exercises we provide the participants with the knowledge and tools to start working with your own application on AMD GPUs.

For more information, see https://www.surf.nl/en/agenda/amd-gpu-workshop or contact Sagar Dolas at .

9 June 2022, Logic and Interactive Rationality (LIRa), Krisztina Fruzsa

Date & Time: Thursday 9 June 2022, 16:30-18:00
Speaker: Krisztina Fruzsa (TU Wien)
Title: New hope for epistemic reasoning in byzantine fault-tolerant distributed systems
Location: Online

10 June 2022, ILLC Midsummernight Colloquium 2022

Date & Time: Friday 10 June 2022, 16:00-17:30
Location: ILLC Common Room F1.21, Science Park 107, 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.

This year we will have talks from 16h00 to 17h30:
   16:00-16h30: Guido Schäfer
   16:30-17h00: Levin Hornischer
   17:00-17h30: Huub Dijstelbloem
 followed by on-campus drinks from 17h30 onwards.

The current organisers of the colloquium are Malvin Gattinger and Aybüke Özgün.

For more information, see https://www.illc.uva.nl/ILLCColloquium/ or contact Aybüke Özgün at , or Malvin Gattinger at .

14 June 2022, The Utrecht Logic in Progress Series (TULIPS), Nils Kürbis

Date & Time: Tuesday 14 June 2022, 16:00-17:15
Speaker: Nils Kürbis (Bochum and Lodz)
Title: A Theory of Definite Descriptions
Location: Room 1.06, Ravensteynzaal, Kromme Nieuwegracht 80, Utrecht

This is a hybrid talk. For a link to 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 .

15 June 2022, LLAMA seminar, John Harding

Date & Time: Wednesday 15 June 2022, 16:00-17:00
Speaker: John Harding (New Mexico State University)
Title: Quantum monadic algebras
Location: Room F3.20, Science Park 107, Amsterdam / online (Zoom)
For more information, see https://events.illc.uva.nl/llama/#talk-harding-2022 or contact Tobias Kappé at .

16 June 2022, Cool Logic, Marie Schmidtlein

Date & Time: Thursday 16 June 2022, 17:00-19:00
Speaker: Marie Schmidtlein
Title: Who Should You Fancy? Logic for Matchmaking
Location: Room D1.111, Science Park 904, Amsterdam

Abstract:

Good, now that I've got your attention with that catchy title, let me start with a disclaimer. I'm not going to share the secret on how to find love or mend your shaky relationship in this talk. Instead, I'm going to share my ideas on how to make game-theoretic modeling of mate choice and partner matching more progressive and realistic.

Expect a fun application of hedonic games, some stimuli making you question what kind of relationship you want to be in and a lovely evening with your MoL buddies before the end of this academic year!

For more information, see https://coollogic.wixsite.com/website/event-details/who-should-you-fancy-logic-for-matchmaking or contact Vasiliy Romanovskiy, Tibo Rushbrooke at .

17 June 2022, Meaning, Logic, and Cognition (MLC) Seminar, Joop Leo

Date & Time: Friday 17 June 2022, 14:00-15:30
Speaker: Joop Leo
Title: A new logic as an alternative to predicate logic
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
3illc_no_text_logo.jpg

17 June 2022, ILLC Current Affairs Meeting

Date & Time: Friday 17 June 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.

Because we will already organise drinks following the ILLC Colloquium in the week before the CAM on the 10th of June, this CAM will not be followed by the usual festivities.

For more information, contact .

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

Sk_rmavbild_2022-04-25_kl._15.21.13.png

20 June 2022, The 2022 Lindström Lectures, Prof Sara Negri

Date & Time: Monday 20 June 2022, 18:00-20:00
Speaker: Prof Sara Negri
Title: Syntax and semantics in synergy
Location: University of Gothenburg & Zoom

The Lindström Lectures is an annual lecture series established in 2013 by the University of Gothenburg to celebrate the singular achievements of Per Lindström, former professor of logic. Annually, a distinguished logician is invited to deliver a general lecture to the public, and a specialized presentation at the logic seminar.

The 2022 edition of the series will be presented by Sara Negri, professor of mathematics at the University of Genoa. Prof Negri will give a public lecture entitled Syntax and semantics in synergy on 20 June 2022 at the University of Gothenburg. The lecture will be streamed online. See webpage for more details.

For more information, see https://www.gu.se/en/flov/the-lindstrom-lectures or contact Graham E Leigh at .

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

1Gewaardeerd-beeldmerk.svg

23 June 2022, Slotbijeenkomst KNAW Gewaardeerd! programma

Date & Time: Thursday 23 June 2022, 12:30-18:00
Location: Het Trippenhuis - Kloveniersburgwal 29, Amsterdam

(Dutch only)
Het KNAW programma "Wetenschapscommunicatie door wetenschappers: Gewaardeerd!" bespreekt op deze middag de opbrengsten van het afgelopen jaar en presenteert concrete aanbevelingen voor toekomstbestendige wetenschapscommunicatie.

For more information, see here or at https://www.knaw.nl/bijeenkomsten/slotbijeenkomst-gewaardeerd or contact Irene Achterberg at .

23 June 2022, Logic and Interactive Rationality (LIRa), Gaia Belardinelli

Date & Time: Thursday 23 June 2022, 16:30-18:00
Speaker: Gaia Belardinelli (University of Copenhagen)
Title: The dark side of knowledge: modeling implicit cognition in unawareness structures
Location: Online

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

24 June 2022, lvl/ILLC education afternoon

Date & Time: Friday 24 June 2022, 14:00-17:00
Location: Eulerzaal (SP Conference Centre)
Deadline: Monday 20 June 2022
For more information, see here or contact Dr. Paola Grosso at .

(Updated) 24 June 2022, Meaning, Logic, and Cognition (MLC) Seminar, Paul Dekker

Date & Time: Friday 24 June 2022, 16:00-17:30
Speaker: Paul Dekker
Title: Names in Logic and Discourse
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

(Updated) 24 June 2022, STiHAC Joint Meeting, Tristan van der Vlugt, Yuval Goren

Date & Time: Friday 24 June 2022, 16:00-18:00
Speaker: Tristan van der Vlugt (Hamburg), Yuval Goren (Amsterdam)
Location: Online via Zoom

16:15–17:15. An Overview of (Anti-)Localisation Cardinals on Products of Discrete Spaces     
17:15–17:45. To Infinity and Beyond: Visualization of Ordinal Numbers

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

Date: 20 June - 1 July 2022
Location: Amsterdam (the Netherlands)

The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

(Updated) 30 June 2022, Logic and Interactive Rationality (LIRa), Réka Markovich

Date & Time: Thursday 30 June 2022, 16:30-18:00
Speaker: Réka Markovich (University of Luxembourg)
Title: Multi-modal Logics for the Conceptual Analysis of Epistemic Rights
Location: Online