Events

Past Events

Fri 30 Aug: 09:00-10:00 | 5335-395 Nygaard
Special talk by Ioannis Caragiannis on : Research problems at the interface of Computer Science and Economics
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*
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 46 to 50 of 612

Comments on content:

Revised 27.03.2020