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
|
2 June 2022, Logic and Interactive Rationality (LIRa), Gregor Behnke
3 June 2022, Heyting Day 2022: Wittgenstein's Tractatus
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
3 June 2022, Cool Logic, Evan Iatrou & Jan Gronwald
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.
7 June 2022, Heyting Day Extra Lecture, Oskari Kuusela, University of East Anglia
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.
8 - 9 June 2022, AMD GPU Workshop
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.
8 June 2022, STiHAC Joint Meeting, Alexia Muresan, Daniel Mol, Hidde van Lierop
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
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.
9 June 2022, Logic and Interactive Rationality (LIRa), Krisztina Fruzsa
10 June 2022, ILLC Midsummernight 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.
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.
14 June 2022, The Utrecht Logic in Progress Series (TULIPS), Nils Kürbis
This is a hybrid talk. For a link to the online meeting, please contact the organizer.
15 June 2022, LLAMA seminar, John Harding
16 June 2022, Cool Logic, Marie Schmidtlein
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!
17 June 2022, Meaning, Logic, and Cognition (MLC) Seminar, Joop Leo
17 June 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.
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.
20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception
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 2022, The 2022 Lindström Lectures, Prof Sara Negri
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.
20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception
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
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
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.
23 June 2022, Slotbijeenkomst KNAW Gewaardeerd! programma
(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.
23 June 2022, Logic and Interactive Rationality (LIRa), Gaia Belardinelli
20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception
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
24 June 2022, Meaning, Logic, and Cognition (MLC) Seminar, Paul Dekker
24 June 2022, STiHAC Joint Meeting, Tristan van der Vlugt, Yuval Goren
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
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
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
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
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
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
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.