The ILLC Colloquium happens three times per year (as the Autumn Colloquium, the Midwinter Colloquium, or the Midsummer Colloquium), usually directly after the Current Affairs meeting. The Colloquium brings together the six research units at the ILLC and each event consists of at least two talks by representatives from different units. The colloquium is concluded by a get together of the entire ILLC community.

All staff members, PhD candidates, MoL students and any guests of the ILLC are welcome to attend the colloquium.

Please note that this event was announced before to occur on the 20th of June.

We are thrilled to announce that the University of Amsterdam is part of the International Dual Career Network (IDCN)! This network offers a unique opportunity for partners of our international staff to integrate more quickly and easily into life in the Netherlands. The University of Amsterdam is also hosting the first face-to-face event for the Amsterdam-Utrecht-chapter of the network on the 3rd of June from 09:30 AM until 12:00 AM at de Brug, Roeterseilandcampus!!

The Boad of Inclusive AI Community is excited to host the second edition of our panel on Diversity, Inclusion, and AI. This panel brings together experts from government, academia, and civil society to explore how we can create AI technologies that reflect the richness of our societies and work for everyone. How can we ensure that AI systems are designed with inclusivity and diversity at their core—not as afterthoughts, but as guiding principles?

Topics include:
- Is AI currently fostering a more inclusive society—or not?
- What can policymakers, educators, and industry do to drive change?
- How can we design datasets and systems that reflect diverse perspectives?
- What technical and policy actions are needed to tackle bias in AI?

Former ILLC MoL Student Femke Bekius is currently a research fellow at the Institute of Advanced Study (UvA) in Amsterdam. At Thursday June 5 a kick-off event is organized where she introduces the project: "Exploring formal models to characterize strategic uncertainty in complex decision-making".

The program is as follows:
12:00: Lunch
12:30: Start kick-off event
14:00: End

If you want to join in Amsterdam (Oude Turfmarkt 147), please register via the link below. Here you can also find a bit more information about the project itself.

Abstract:  In the fall of 2024, a collection of masters and PhD students, post-docs and professors got together to learn about Lean and formalizing mathematics. This led to an effort to formalize a theorem of Monsky that there exist no odd dissections of a square by equal-area triangles, which was finally completed last month. In this talk I'd like to reflect on the journey as well as take the opportunity to do some live basic Lean coding (there is nothing to install and all you'll need is an internet connection if you'd like to bring your laptop and code along with me!).

Op 19 Juni organiseert SignLab weer een Open Avond. Dove en horende onderzoekers van de Universiteit van Amsterdam, de University of Central Lancashire en de University of Birmingham vertellen in een aantal korte presentaties waar zij de afgelopen tijd mee bezig zijn geweest en wat ze hebben ontdekt. Onderwerpen die aan bod komen zijn onder andere het gebruik van de ruimte om naar mensen, dieren en dingen te verwijzen in NGT, de toepassing van augmented reality voor tolken op afstand, en de invloed van International Sign op gebarentalen.

Iedereen is van harte welkom! Aanmelden graag vóór 13 juni. Talen: NGT, International Sign, en Nederlands (geen Engels).

On Tuesday June 24, following the PhD defense of Robin Martinot on June 23, a workshop will take place at Utrecht University on philosophical topics in mathematics and proof theory. Everyone who is interested is welcome to attend. The list of speakers include Albert Visser (Utrecht University), Amir Tabatabai (University of Groningen), Heinrich Wansing (Ruhr University Bochum), Andrew Arana (Université de Lorraine), Marianna Girlando (University of Amsterdam), Colin Caret (Utrecht University) and Robin Martinot.

The Dutch Formal Methods Day is a full-day event dedicated to formal methods in the Netherlands. This event is an opportunity for people in academia, industry, and education who are interested in formal methods, in the broadest sense, to come together, learn, and network. There will be numerous talks, giving a broad overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk.

Coffee and lunch will be provided; there will be ample opportunity for networking with your colleagues and meeting new people. Experts and newcomers to the field are equally welcome.

All the talks will be given in English.