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

Monday 13 April 2026, at 13:00

I will present my results towards a formally secure extraction framework for the proof-oriented language F* that protects verified F* programs against…

13 Apr

Monday 13 April 2026, at 14:00

The mode of a logic program says which parts of a predicate’s arguments are inputs, and which are outputs. A program is mode-correct when information…

Past Events

28 Nov

136 days, Friday 28 November 2025, at 10:30 - 5342-333 (Ada)

On Friday November 28, 2025, Jonathan Lindegaard Starup will defend the PhD thesis Safety in Types and Effects

Page 4 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

Talk: Secure extraction of verified effectful F* programs to ML by Cezar Andrici

Talk: Semantics of Fine-grained Mode Checking by Ariadne Si Suo

Past Events

Jonathan Lindegaard Starup's PhD defence of "Safety in Types and Effects"

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: Secure extraction of​ verified effectful F* programs to ML​ by Cezar Andrici

Talk: Semantics of Fine-grained Mode Checking by Ariadne Si Suo

Past Events

Jonathan Lindegaard Starup's PhD defence of "Safety in Types and Effects"

Talk: Secure extraction of verified effectful F* programs to ML by Cezar Andrici