Department of Computer Science – Staff

Events

Future Events

Past Events

Wednesday 18 December 2019, at 12:00 Aarhus Institute of Advanced Studies, Aarhus University, Høegh-Guldbergs Gade 6B, DK-8000 Aarhus C

Tuesday 10 December 2019, at 12:00 Nygaard-295 (building 5335, room 295), Department of Computer Science, Åbogade 34, 8200 Aarhus N

Speaker: Karl Palmskog, Researcher, KTH Royal Institute of Technology, Sweden

Title: Formal Verification of Blockchains: From Consensus to Code

Ab…

Monday 9 December 2019, at 10:00 Nygaard building (5335), Finlandsgade 21-23, 8200 Aarhus N

Friday 6 December 2019, at 14:00 Nygaard-395 (5335-395), Department of Computer Science, Finlandsgade 21-23, 8000 Aarhus C

Thursday 5 December 2019, at 11:30 Ada 333

This activity is meant as an informal gathering to raise awareness of ALICE and provide an environment to exchange ideas, spread news and maybe…

Revised 09.07.2024