Department of Computer Science

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

Steffan Christ Sølvsten´s PhD defence of "I/O-efficient Symbolic Model Checking"

Info about event

Time

Thursday 15 May 2025, at 13:00 - , at

Add to calendar

Location

5342-333 Ada

Price

Free DKK
Event website

On Thursday May 15, 2025, Steffan Christ Sølvsten will defend the PhD thesis I/O-efficient Symbolic Model Checking

Future Events

AI in Modern Defence

13 May
Tuesday 13 May 2025, at 16:30 Systematic, Søren Frichs Vej 39, 8000 Aarhus C

Newly graduate event with Defence.

Systematic invites you to an inspiring Tech Night about the great question:

“How can we build cloud solutions…

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

Steffan Christ Sølvsten´s PhD defence of "I/O-efficient Symbolic Model Checking"

15 May
10 days, Thursday 15 May 2025, at 13:00 - 5342-333 Ada

On Thursday May 15, 2025, Steffan Christ Sølvsten will defend the PhD thesis I/O-efficient Symbolic Model Checking

QUBITS Semniar: Talk by Professor Kasper Green Larsen

19 May
Monday 19 May 2025, at 14:15 iNANO Auditorium (1593-012)

In this talk, Kasper Green Larsen presents the first provable exponential separation between quantum and quantum-inspired classical algorithms. The…

Women in STEM Summit

22 May
17 days, Thursday 22 May 2025, at 10:30 -

Join a free webinar hosted and designed to inspire and support the next generation of women in fintech.
Attendees will hear from women across…

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