Department of Computer Science

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

Sergei Stepanenko's PhD defence of "Formal Reasoning for Modern Programming Languages"

Info about event

Time

Thursday 6 November 2025, at 13:00 - , at

Add to calendar

Location

5342-333 Ada

Price

Free DKK
Event website

On Thursday November 6, 2025, Sergei Stepanenko will defend the PhD thesis Formal Reasoning for Modern Programming Languages

Future Events

Pavel Manakhov's PhD defence of "3D UI Placement for Interaction on the Go"

17 Nov
8 days, Monday 17 November 2025, at 10:00 - 5335-295 Nygaard

On Monday November 17, 2025, Pavel Manakhov will defend the PhD thesis 3D UI Placement for Interaction on the Go

Lasse Letager Hansen's PhD defence of "High Assurance Cryptographic Software using Rust and Rocq"

17 Nov
8 days, Monday 17 November 2025, at 15:00 - 5335-295 Nygaard

On Monday November 17, 2025, Lasse Letager Hansen will defend the PhD thesis High Assurance Cryptographic Software using Rust and Rocq

A practical introduction to bug bounty hunting with Defend Denmark

18 Nov
Tuesday 18 November 2025, at 17:00 Department of Computer Science, Aarhus University

Learn how ethical hackers get paid to secure the web, and start your own bug bounty journey! Join us and discover how you can supplement your SU by…

Kunstig intelligens: Fra IT til samfund

18 Nov
Tuesday 18 November 2025, at 18:45 Søauditorierne, Bartholins Allë 3, 8000 Aarhus

Kunstig intelligens er på rekordtid gået fra at være sci-fi til at blive en integreret del af vores hverdag. En højest nyttig teknologi der forventes…

Info meeting about bachelor projects

27 Nov
Thursday 27 November 2025, at 08:15 Peter Bøgh-Andersen Auditorium

Are you writing your bachelor project in the spring? Then remember to sign up (check your AU email) for the info meeting.

DATE: November 27 - TIME:…

TCC 2025

1 Dec
5 days, Monday 1 December 2025, at 09:00 - 5 December

The International Association for Cryptologic Research is hosting the annual conference TCC 2025.

Revised 01.09.2025
-
Marianne Dammand Iversen