📢 Don't miss today's #DiSCourseSeminar with guest speaker Melanie Fink from Leiden University on the Right to a Human Explanation of Algorithmic Decision-Making. 📢

The talk takes place at 15:00 at the Digital Science Center of @uniinnsbruck, Innrain 15, 6020 Innsbruck on the 1st floor.

More info: https://www.uibk.ac.at/en/disc/events/discourse-fink/

#DigitalScience #Innsbruck #EULaw #Justice #Regulation #DigitalTechnologies #Algorithms #DecisionMaking #AI #LeidenUniversity #Research

Join us on Monday 3 p.m. for another #DiSCourseSeminar:

💡 The Right to a Human Explanation of Algorithmic Decision-Making
👩 Melanie Fink, Associate Professor of European Law, Leiden University
📍 Onsite at the DiSC, Innrain 15, 1 Stock, Open Space Area
🔗: https://www.uibk.ac.at/en/disc/events/discourse-fink/

#DigitalScience #Innsbruck #EULaw #Regulation #DigitalTechnologies #Algorithm #DecisionMaking #AI #LeidenUniversity

#tdslab's Ian Shen defended his dissertation "Healthcare Information System Engineering: AI Technologies and Open Source Approaches" very successfully! Ian focused on the development of Healthcare Information Systems (HIS) using Machine Learning (ML) and Natural Language Processing (NLP) techniques that address a number of issues in healthcare. Furthermore, Ian conducted investigations on how to improve HIS engineering with Open Source methodology. #LeidenUniversity

Well done, Ian👍🎓

From Student Encampment Leiden & The Hague:

"🚨STUDENTS HAVE OCCUPIED THE OLDEST UNIVERSITY BUILDING IN THE NETHERLANDS TO DEMAND AN ACADEMIC BOYCOTT NOW🚨

📢 JOIN THE SUPPORT DEMO NOW📢
📍Dr. Suleiman Haboush University (Rapenburg 73, #Leiden)

Today, #LeidenUniversity holds an annual lecture to commemorate Dr. Rudolph Cleveringa, who gave a famous lecture in honor of his Jewish colleague and in protest of the Nazi occupation on November 26, 1940.

Yet, while claiming to celebrate the scholar who stood against the Nazi occupation and #genocide, Leiden University remains complicit in perpetuating ‘israel’s’ occupation and genocide - including #scholasticide - in Palestine.

Leiden University’s silence is a grave betrayal of Cleveringa’s lessons. By staying complicit genocide, occupation, and the violent denial of a people’s right to self determination, LU is exploiting and defiling Cleveringa’s legacy.

We protest today to call out Leiden University’s hypocrisy and complicity. No research project can justify working with institutions complicit in occupation and genocide.

‼️We will not leave until the Board commits to our demands: ACADEMIC BOYCOTT NOW‼️"

#StudentEncampment #StudentIntifada #Gaza #Palestine #Israel

Study in the Netherlands with the Leiden University Excellence Scholarships 2026!

The Leiden University Excellence Scholarship is now open for the 2026 academic year. Depending on your academic performance, you could receive:

🔹€10,000 – €15,000 off your tuition, or
🔹A full tuition fee (minus the statutory fee).

📅 Application Deadline:

🔹February 1, 2026, for September intake
🔹October 1, 2026, for the February intake

https://scholarinfohub.com/leiden-university-excellence-scholarships/

#StudyAbroad #Scholarships2026 #LeidenUniversity

@octothorpe

For now it's okay; I've got a nice 13th century Dutch manuscript to keep my company; thank you, #LeidenUniversity #UniversiteitLeiden

https://digitalcollections.universiteitleiden.nl/view/item/1602664

Der naturen bloeme / Jacob van Maerlant, and other text(s), BPL 14 A | Digital Collections

GL, PVDD en SVL ontstemd over toelaten rechtse studentenvereniging GNSV tot EL CID | nieuws elders
https://www.doorbraak.eu/gl-pvdd-en-svl-ontstemd-over-toelaten-rechtse-studentenvereniging-gnsv-tot-el-cid/

#Fascisme #Racisme #Studenten #LeidenUniversity

GL, PVDD en SVL ontstemd over toelaten rechtse studentenvereniging GNSV tot EL CID | Doorbraak.eu

Meerdere partijen in de Leidse gemeenteraad zijn ontevreden over het toelaten van de Groot-Nederlandse Studentenvereniging (GNSV) tot de informatiemarkt van de EL CID-week. GroenLinks, Partij voor de Dieren en Studenten voor Leiden stellen daarom gezamenlijk vragen aan het college. De GNSV is een studentenvereniging die zich richt op studenten met een rechtse politieke voorkeur. Tegen de aanwezigheid van de vereniging

Doorbraak.eu
Protest by email against the participation of the far-right GNSV in the Leiden information market for new students! | Doorbraak.eu

On Monday 11 August, the far-right group Groot-Nederlandse Studentenvereniging (GNSV) will participate in the EL CID introduction week for new students with a stand. Last year, this led to controversy in the media and at the information market itself, and questions were also raised in the council. We, Leiden Against Fascism, find it reprehensible and dangerous that Leiden University has

Doorbraak.eu
In Defense of Art Research - Notes - e-flux

A petition calling for Leiden University to reverse its decision to phase out funding for its Academy of Creative and Performing Arts.

e-flux
With the NWO XL consortium on Cyclic Structures in Programs and Proofs, we are looking for 6 highly motivated and talented PhD students starting in September (with some flexibility).

The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, #Rocq).

Information about the positions and application procedure can be found on the website:

cyclic-structures.gitlab.io/vacancies/

Applications will be evaluated on a rolling basis but should be submitted by the 23rd of May for full consideration.

Please forward to any strong candidates you know!

#TypeTheory #ModalLogic #Concurrency #ProgrammingLanguages #TypeSystems #ProofAssistants #CyclicStructures #PhD #Netherlands #UniversityOfGroningen #LeidenUniversity #UniversityOfTwente #TUDelft #RadboudUniversity
Vacancies

This site collects information about positions, publications and relevant news for the project “Cyclic Structures in Programs and Proofs” project, funded by NWO. The project aims to advance the theory of cyclic structures in proofs and programs, including in coalgebraic modal logic, type theory, behavioural types, and the proof assistants Agda and Rocq (formely Coq), and create a development environment for Rust based on these techniques.

Cyclic Structures in Programs and Proofs