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 2023 | ||||||
---|---|---|---|---|---|---|
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 2023, Talent Scheme information meeting (Rubicon, Veni, Vidi, Vici)
2 June 2023, STiHAC Joint Meeting, Juan Aguilera
![lukasz.jpeg](/thumbnail/newsitem/lukasz.jpeg.jpg?size=newsitem_list)
6 June 2023, VvL Logic at Large Lectures, Lukasz Kaiser
Lukasz Kaiser is a researcher at OpenAI, who works on fundamental aspects of deep learning and natural language processing. Prior to joining OpenAI, he was a Staff Research Scientist in the Google Brain team, where he co-designed state-of-the-art neural models for machine translation, parsing and other algorithmic and generative tasks and co-authored the TensorFlow system, the Tensor2Tensor and Trax libraries and the Transformer model, on which modern large language models such as ChatGPT are based. Before his position at Google, he was a tenured researcher at University Paris Diderot and worked on logic and automata theory. He received his PhD from RWTH Aachen in 2008 with a thesis on Logic and Games on Automatic Structures.
19:00-20:00 Lecture by Lukasz Kaiser
20:00-20:30 Panel discussion on the role of logic in modern AI
7 June 2023, LLAMA seminar, Dmitry Shkatov
8 June 2023, The Utrecht Logic in Progress Series (TULIPS), Franz Berto
This is a fully online talk in MS Teams, please email the organizer if you would like a link.
![](/images/illc/newsitem-lira.jpg)
8 June 2023, Logic and Interactive Rationality (LIRa), Jan Rooduijn
9 June 2023, Meaning, Logic, and Cognition (MLC) Seminar, Sylvia Pauw
![talkthat.jpg](/thumbnail/newsitem/talkthat.jpg.jpg?size=newsitem_list)
10 June 2023, Talk That Science live anniversary event
Talk That Science is a science-communication platform run by a group of science and music enthusiasts. Every month, we broadcast a radio show on echobox.radio, in which we talk about cool research while playing some nice tunes.
To celebrate our 3 year anniversary, to launch our brand new website, and to connect with our show’s guests and listeners, we will be hosting a Talk That Science event in De Sering, Amsterdam this June 10th. It will be a day full of science talks, live music and food.
13 June 2023, NihiL Seminar, Jialiang Yan
13 June 2023, ERC Starting Grant workshop
13 June 2023, Inaugural lectures, Raquel Fernández and Floris Roelofsen
In the first part of this joint inaugural lecture, Raquel Fernández will look at how language and cognitive sciences can be used for artificial intelligence systems and what they can teach us about our own language skills. In the second part, Floris Roelofsen will discuss the social value that linguistics can offer and how new methods and applications are being developed from a people-oriented perspective.
13 June 2023, ILLC Party 2023
On the occasion of the inaugural lectures of Raquel Fernández and Floris Roelofsen we are throwing a big party to which the entire ILLC community is invited!
From the Aula where the inaugural lectures are presented, you can easily cycle (7 minutes), walk (27 minutes) or take the tram (20 minutes) to Hannekes Boom. Should you opt for public transport: trams (2, 12, 4, 14, 24) go to central station from Koningsplein and Rokin - metro 52 also runs here.To make sure there is enough of everything for everyone, it would be hugely appreciated if you register. See you at Hannekes Boot!
14 June 2023, LLAMA seminar, Tommaso Moraschini
14 June 2023, LLAMA seminar, Paula Menchón
![](/images/illc/newsitem-lira.jpg)
15 June 2023, Logic and Interactive Rationality (LIRa), Amanda Vidal
16 June 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Wan Fokkink
Abstract:
Supervisory Control Theory, initiated by Ramadge and Wonham, automatically transforms a formal system model and its safety requirements into a (minimally) restricted system that satisfies all safety requirements. This approach turns out to be very suitable for designing and generating software for the control of large infrastructural systems like bridges, locks and tunnels. In this talk recent research results will be discussed that are pivotal in tackling such large applications, including multilevel synthesis, determining a control problem dependency graph, and several modeling guidelines.
19 June 2023, NihiL Seminar, Tomasz Klochowicz
22 June 2023, PhD Assembly 2023
Periodic meeting where PhDs can be informed (and ask questions) about PhD life at the ILLC.
![11924scr_59946afcaa2e3ca.jpg](/thumbnail/newsitem/11924scr_59946afcaa2e3ca.jpg.jpg?size=newsitem_list)
23 June 2023, Dutch Logic PhD Day 2023, Groningen
The Dutch Logic PhD Day 2023 is a VvL event that brings together PhD students in Logic and related areas (Philosophy, Computer Science and AI) with the aim of fostering exchanges of ideas and collaborations between young researchers from all over the Netherlands.
The event is planned as a full-day event, during which PhDs students will have the possibility to present their research in the form of contributed talks.
23 June 2023, ILLC Midsummer Colloquium 2023 and Current Affairs Meeting
The ILLC Colloquium is a festive event that brings together the six research units at the ILLC. Each colloquium consists of three talks by representatives from different units, sometimes followed by Wild Idea Talks.
From this time onwards the ILLC colloquium will be preceded by the Current Affairs Meeting.
As in previous editions, the Current Affairs Meeting, 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.
![banner_workshop.jpg](/thumbnail/newsitem/banner_workshop.jpg.jpg?size=newsitem_list)
26 - 27 June 2023, Workshop on Algorithmic Injustice
Artificial intelligence applications play an increasingly important role in our daily life. But these technological advances come with serious societal risks. In this workshop we bring together researchers from various disciplines who work on the societal impact of AI applications.
On Monday we organize a scientific panel discussion on the role of researchers in the debate on algorithmic fairness. Confirmed speakers include Prof. Dr. SennayGhebreab (Civic AI Lab, University of Amsterdam); Jenneke Evers (eLaw, Leiden University); Agathe Balayn (Computer Science, TU Delft) and Dr. Winnie Ma (Philosophy, Kings College London).
We close the workshop with a public event on Algorithmic Injustice at Spui25 on Tuesday 27th at 20.00.Our speakers are:Su Lin Blodgett, who has been working on AI and fairness, Erin Beeghly, who studies the wrong of stereotypes, legal scholar Naomi Appelman who sued the VU University for its online proctoring softwareand documentary maker Nirit Peled, who documentedpeople who suffered the consequences of unfair police algorithms. Together, they will explore pressing matters around algorithmic injustice.
26 June 2023, Guest Lecture, Dr. Pascal Bercher
Dr. Bercher visits the ILLC and gives a guest lecture on the topic of Hierarchical Planning focussing on Modelling Support.
![banner_workshop.jpg](/thumbnail/newsitem/banner_workshop.jpg.jpg?size=newsitem_list)
26 - 27 June 2023, Workshop on Algorithmic Injustice
Artificial intelligence applications play an increasingly important role in our daily life. But these technological advances come with serious societal risks. In this workshop we bring together researchers from various disciplines who work on the societal impact of AI applications.
On Monday we organize a scientific panel discussion on the role of researchers in the debate on algorithmic fairness. Confirmed speakers include Prof. Dr. SennayGhebreab (Civic AI Lab, University of Amsterdam); Jenneke Evers (eLaw, Leiden University); Agathe Balayn (Computer Science, TU Delft) and Dr. Winnie Ma (Philosophy, Kings College London).
We close the workshop with a public event on Algorithmic Injustice at Spui25 on Tuesday 27th at 20.00.Our speakers are:Su Lin Blodgett, who has been working on AI and fairness, Erin Beeghly, who studies the wrong of stereotypes, legal scholar Naomi Appelman who sued the VU University for its online proctoring softwareand documentary maker Nirit Peled, who documentedpeople who suffered the consequences of unfair police algorithms. Together, they will explore pressing matters around algorithmic injustice.
27 June 2023, NihiL Seminar, Aleksi Anttila & Søren Knudstorp
Abstract:
Within team semantics, a focal point of study has been that of expressive power (what properties can a given logic express). One such team logic is BSML, a modal team logic designed for modeling free choice inferences and related linguistic phenomena.
In recent work, Aloni et al. (2023) present two extensions of BSML, demonstrating their expressive completeness for all properties [invariant under bounded bisimulation] and all union-closed properties, respectively, and leave open the problem of characterizing the expressive power of BSML. Continuing this line of work, we solve this problem by showing that BSML is expressively complete for all convex, union-closed properties. This leads us to ponder a logic that is expressively complete for all convex properties simpliciter. We introduce a logic which accomplishes precisely that.
30 June 2023, ABC Day 2023
Join us for a unique and exciting event that will explore the past, present, and future of Amsterdam Brain and Cognition and brain research at the UvA:
- The Past: Highlights from ABC success stories
- The Present: Ongoing projects, cutting edge science
- The Future: Young ABC members, poster session (and best poster prize!)
and lots of Networking.