14:15-16:00 | 5335-016 (Peter Bøgh Andersen Aud) Computer Science Day 2019 10 minutes to introduce your research. This is the concept of The Computer Science Day which takes place in 5335-016 Peter Bøgh Auditorium, on Friday May 24.
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.
