Department of Computer Science

Aarhus University Seal
 Department of Computer Science News & Events Events

Events

Future events



Past Events

Special talk by Bas Spitters

7 Mar
Wednesday 7 March 2018, at 13:00 5335-395 Nygaard Møderum

Abstract:

Logic and semantics are important tools in computer science. For instance, they allow us to verify both large computer programs and large…

CS Colloquium - Ivan Damgård: Can Quantum Computers Really Break Any Encryption Scheme?

2 Mar
Friday 2 March 2018, at 15:15 5510-104 InCuba Lille Aud.

How worried should we be?

Special talk with Roman Rädle on Paving the road to collaborative computational thinking

1 Mar
Thursday 1 March 2018, at 11:15 5342-333

Abstract:

Computational thinking is becoming a fundamental skill for everyone, not just for computer scientists. Presently, the need for this skill…

Women in Science Day

10 Feb
Saturday 10 February 2018, at 13:00 AIAS Auditorium, Høegh-Guldbergsgade 6B, 8000 Aarhus C

CS Colloquium - Lars Birkedal: Logic and Semantics for Modern Programming Languages

2 Feb
Friday 2 February 2018, at 15:15 5335-016 Nygaard, Peter Bøgh Andersen Auditoriet

- An Introduction to Iris

Page 87 of 174.

Revised 17.04.2023
-
Marianne Dammand Iversen