Arrangementer

Kommende arrangementer

Tirsdag 13. maj 2025, kl. 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…

3 dage, Onsdag 14. maj 2025, kl. 19:00 - 16. maj 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.…

15 maj

9 dage, Torsdag 15. maj 2025, kl. 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

19 maj

Mandag 19. maj 2025, kl. 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…

22 maj

16 dage, Torsdag 22. maj 2025, kl. 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…

23 maj

Fredag 23. maj 2025, kl. 10:30

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

Revideret 09.03.2023

Marianne Dammand Iversen

Institut for Datalogi

Arrangementer

Kommende arrangementer

AI in Modern Defence

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

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

QUBITS Semniar: Talk by Professor Kasper Green Larsen

Women in STEM Summit

High-Performance Computing Workshop

Inaugural Lecture by Magnus Madsen on The Flix Programming Language

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

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

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

Kage-Klage-Dag: Share your feedback and get a piece of cake

Arrangementer

Kommende arrangementer

AI in Modern Defence

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

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

QUBITS Semniar: Talk by Professor Kasper Green Larsen

Women in STEM Summit

High-Performance Computing Workshop

Past Events

Inaugural Lecture by Magnus Madsen on The Flix Programming Language

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

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

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

Kage-Klage-Dag: Share your feedback and get a piece of cake