On the occasion of prof. Henri Bal's retirement, and recognition of the important role Henri played in the history of research on computing in the Netherlands, the VU Computer Science Department is organizing a (free-of-charge) symposium on the 1st and 2nd of May, 2025.

Day 1 discusses the role of HPC in the roaring 20s, a time where computing research plays a crucial role in AI, sustainability, and many other topics of vital importance.
Day 2 commemorates Prof. Bal's time at VU. Speakers will discuss the early days of computing research in the Netherlands, Henri's years as a PhD student, young faculty and finally research leader of world renown.

On the occasion of prof. Henri Bal's retirement, and recognition of the important role Henri played in the history of research on computing in the Netherlands, the VU Computer Science Department is organizing a (free-of-charge) symposium on the 1st and 2nd of May, 2025.

Day 1 discusses the role of HPC in the roaring 20s, a time where computing research plays a crucial role in AI, sustainability, and many other topics of vital importance.
Day 2 commemorates Prof. Bal's time at VU. Speakers will discuss the early days of computing research in the Netherlands, Henri's years as a PhD student, young faculty and finally research leader of world renown.

Since 1995, the Philosophy Department of the University of Amsterdam has annually appointed a foreign philosopher to the Spinoza chair. As part of the appointment, the Spinoza professor gives a number of lectures intended for a broad audience that wants to stay informed about contemporary developments in philosophy. This is the second of two lectures by the current Spinoza Chair holder, Jennifer Lackey, the Wayne and Elizabeth Jones Professor of Philosophy at Northwestern University.

This workshop is run by MSc of Logic students as part of the Seminar Mathematical Logic. The program consists of student presentations and an invited lecture by Jan-Willem van de Meent (AMLab, IvI)

I will survey a debate in the artificial intelligence (AI) research community on the extent to which current AI systems can be said to “understand” language and the physical and social situations language encodes. I will describe arguments that have been made for and against such understanding, hypothesize about what humanlike understanding entails, and discuss what methods can be used to fairly evaluate understanding and intelligence in AI systems.

KNAW organises a symposium exploring the relation between mathematics and AI at the Trippenhuis in Amsterdam. The symposium consists of two parts.
14.00-17.00 - Expert Meeting
19.00-21.00 - General Audience Symposium

The full schedule and list of speakers can be found on the website, as well as the registration link.

An expert meeting (afternoon) and a symposium (evening) for a broader public. You are welcome to attend both meetings.

Do you want to learn more about the process behind the Rubicon, Veni, Vidi and Vici grants? Join us on May 23 2025 at NWO Utrecht or online for an information meeting about the NWO-Talent Programme for researchers.

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 it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.