NWO organises an information meeting on Friday afternoon 2 June for researchers who want to apply for a Rubicon, Veni, Vidi or Vici. Besides information on the Talent Scheme, we will share information on various aspects of the rounds, from recognition and rewarding to persuasive writing. There will also be an opportunity to meet NWO staff members involved in the NWO Talent Scheme.

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

This is a fully online talk in MS Teams, please email the organizer if you would like a link.

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.

We are delighted to invite you to join our upcoming ERC Starting Grant workshop. This workshop will equip you with hands-on tools to write a successful proposal.

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.

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!

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.

Periodic meeting where PhDs can be informed (and ask questions) about PhD life at the ILLC.

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.

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.

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.

Dr. Bercher visits the ILLC and gives a guest lecture on the topic of Hierarchical Planning focussing on Modelling Support.

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.

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.

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.