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.
Fri26Apr
15:15-16:00 | Building 5510, room 104 (Incuba Lille Aud) CS Colloquium - Claudio Orlandi: Zero-Knowledge Proofs and Their Applications in Modern Cryptography Suppose I claim I can taste the difference between Carlsberg and Tuborg. If you don't believe me, you could pour some beer in a glass and see if I can guess correctly which brand you chose. If we repeat the process enough times, you will eventually be persuaded that I can actually taste the difference.
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium) CS Colloquium - Kasper Green Larsen: In Pursuit of Optimality What would you rather compute with a paper and pencil, 3'593'103 + 1'502'348 or 3'593'103 x 1'502'348? Most sane people would prefer adding the two numbers. But why?
