You are here: AU About Aarhus University

People at CS

Find your colleague at CS

Partners at ST

Find CS' administrative partner at Science


Mon 26 Aug
08:30-20:00 | Moesgaard Museum
PhD and Postdoc retreat 2019
Tue 27 Aug
12:00-13:00 | Nygaard-295 (building 5335, room 295), Åbogade 34, 8200 Aarhus N
Talk by visiting researcher Seyed Reza Sefidgar on Formalizing Constructive Cryptography using CryptHOL
Wed 28 Aug
09:00-10:00 | 5335-395 Nygaard
Special talk by Jeff Yan on Security, Technology and People
Thu 29 Aug
10:00-11:00 | Nygard-395
Special talk by Konstantinos Sagonas on The Quest for Optimality in Stateless Model Checking Algorithms and Tools
Thu 29 Aug
14:30-15:30 | Nygaard-295 (building 5335, room 295), Dept. of Computer Science, Åbogade 34, 8200 Aarhus N
Talk by visiting researcher Thomas Sibut-Pinote on Mechanizing the Semantics of Tezos’ Bytecode in F*

Showing results 1 to 5 of 7

1 2 Next

Staff Service at AU

Tools, guidelines and services for all staff members

Search the index:

4958 / i36