Events

Past Events

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*
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
Wed 28 Aug: 09:00-10:00 | 5335-395 Nygaard
Special talk by Jeff Yan on Security, Technology and People
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
Mon 26 Aug: 08:30-20:00 | Moesgaard Museum
PhD and Postdoc retreat 2019

Showing results 31 to 35 of 598

Comments on content:

Revised 05.11.2019