17:00-18:00 | Department of Computer Science, Nygaard building (5335), Finlandsgade 21, 8200 Aarhus N Aarhus Cyber Security CTF
Fri10May
15:15-16:00 | Building 5510, room 104 (Incuba Lille Aud) CS Colloquium - Bas Spitters: Modern Type Theory and Secure Blockchains Types help programmers to write clear and correct programs. I will present recent developments in type theory which will allow us to write bigger libraries and address new areas of computer science.
