Department of Computer Science

Aarhus University Seal
 Department of Computer Science News & Events Events Show event

Zongyuan Liu´s PhD defence of "Separation Logic for Low-level and Realistic Programs"

Info about event

Time

Wednesday 30 April 2025, at 13:00 - , at

Add to calendar

Location

5342-333 Ada

Price

Free DKK
Event website

On Wednesday April 30 2025 Zongyuan Liu will defend the PhD thesis Separation Logic for Low-level and Realistic Programs

Future Events

Fatemeh Zardbani´s PhD defence of "Incremental Management of Multi-dimensional Data"

25 Apr
2 days, Friday 25 April 2025, at 15:00 - 5342-333 Ada

On Friday April 25, 2025, Fatemeh Zardbani will defend the PhD thesis Incremental Management of Multi-dimensional Data

Katrine Scheel Killmann´s PhD defence of "Fast (Correct) Clustering in Time and Space using the GPU"

30 Apr
7 days, Wednesday 30 April 2025, at 13:00 - 5335-395 Nygaard

On Wednesday April 30, 2025, Katrine Scheel Killmann will defend the PhD thesis Fast (Correct) Clustering in Time and Space using the GPU

Zongyuan Liu´s PhD defence of "Separation Logic for Low-level and Realistic Programs"

30 Apr
7 days, Wednesday 30 April 2025, at 13:00 - 5342-333 Ada

On Wednesday April 30 2025 Zongyuan Liu will defend the PhD thesis Separation Logic for Low-level and Realistic Programs

Inaugural Lecture by Magnus Madsen on The Flix Programming Language

1 May
2 days, Thursday 1 May 2025, at 14:15 - 2 May Peter Bøgh Andersen Building 5335, Room 016, Helsingforsgade 14, 8200 Aarhus N

Title

The Flix Programming Language

Abstract

In this talk, I will present an overview of the Flix programming language, a

functional, imperative,…

Beyond climate neutrality: How do we get the planet back on track?

14 May
3 days, Wednesday 14 May 2025, at 19:00 - 16 May See information for each event

The climate crisis is one of the greatest challenges of our time, yet action is too slow despite the knowledge and technologies already available.…

High-Performance Computing Workshop

23 May
Friday 23 May 2025, at 10:30

Pioneer Centre for Artificial Intelligence (P1), Danish e-Infrastructure Consortium (DeiC), and Danish Data Science Academy (DDSA) invite all…
Revised 17.04.2023
-
Marianne Dammand Iversen