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

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,…

Past Events

27 Jan

4 days, Tuesday 27 January 2026, at 09:53 - 30 January Aarhus Institute of Advanced Studies (AIAS)

The Aarhus Math&AI Workshop continues the recent sequence of Math&AI meetings and aims to sustain and strengthen the growing momentum in this area.…

23 Jan

41 days, Friday 23 January 2026, at 13:00 - 5342-333 (Ada)

On Friday January 23, 2026, Matthew Lutze will defend the PhD thesis On Effects, Inference, and Type Flow

21 Jan

Wednesday 21 January 2026, at 14:15 iNANO Aud., 1593-012

Join the QUBITS Seminar with Matthias Christandl (University of Copenhagen) on fault-tolerant quantum computation. Learn how quantum algorithms can be…

18 Dec

Thursday 18 December 2025, at 10:00 Nygaard 184

Abstract:
Low-level numerical libraries like GMP and BLAS are widely used. They are mostly written in C, Fortran, and Assembly, and make a heavy use of…

10 Dec

Wednesday 10 December 2025, at 10:00 Nygaard 295

Abstract:
One strategy for reasoning about programs that have certain kinds of effects is to use program logics that provide specialized rules for…

Page 2 of 3

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

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

Past Events

Aarhus Mathematics & AI Workshop

Matthew Lutze's PhD defence of "On Effects, Inference, and Type Flow"

"Fault-tolerant quantum computation" by Matthias Christandl

Talk: Programming language and formally verified compiler for low-level numerical libraries by Josue Moreau

Talk: Building Extensible Program Logics through Effect Handlers by Simon Gregersen