Events

Get an overview of the latest talks, PhD defenses, workshops, and more from the Programming Languages, Logic, and Software Security section at the Department of Computer Science, Aarhus University.

Future events

No upcoming events.

Past Events

Tuesday 17 March 2026, at 11:00 INCUBA, Mødecenter 5+6

The talk will on one hand provide an overview of the past 15 years of research and development of theory theory and tools for Dynamic Condition…

16 Mar

Monday 16 March 2026, at 13:00 5342-026

12 Mar

Thursday 12 March 2026, at 01:00 5335-295 (Nygaard)

Algorithmic Structure in Weak Memory and RDMA Verification

Weak memory models invalidate many classical assumptions underlying program verification,…

2 Mar

Monday 2 March 2026, at 02:15 iNANO Aud. (1593-012)

Associate Professor Robin Kaarsgaard Sales (University of Southern Denmark) presents a “free” model of quantum computing that replaces continuous…

16 Feb

Monday 16 February 2026, at 14:00

In this talk, I’ll share my story of how I went from being Lars’ PhD student, doing theoretical computer science, to working as a software engineer in…

Page 1 of 4

Revised 02.02.2026

Marianne Dammand Iversen

Department of Computer Science

Events

Get an overview of the latest talks, PhD defenses, workshops, and more from the Programming Languages, Logic, and Software Security section at the Department of Computer Science, Aarhus University.

Future events

Past Events

Talk: An executable declarative process model: 20 years of research and development of theory and tools for DCR Graphs by Thomas Hildebrandt

Talk: Coeffect Systems for Global and Local Sensitivity Analysis by Victor Sannier

Talk: Algorithmic Structure in Weak Memory and RDMA Verification by Stephan Spengler

QUBITS Seminar: Free Quantum Computing w. Robin Kaarsgaard Sales

Talk: Life Beyond AU’s Yellow Bricks: Building Infrastructure at Databricks by Lau Skorstengaard