Aarhus University Seal / Aarhus Universitets segl

Previous talks



Fri 17 Jan
15:15-16:00 | Building 5510-104 (INCUBA lille Aud.)
CS Colloquium - Prof. Giuseppe Santucci: Visual Analytics and CyberSecurity
Fri 22 Nov
15:15-16:00 | Building 5510-104 (INCUBA Lille Aud.)
CS Colloquium - Peter Scholl: Computing blindfolded: How can you compute on data, without seeing it?
Inaugural lecture
Fri 01 Nov
15:15-16:00 | Building 5510-104 (INCUBA Lille Aud.)
CS Colloquium - Magnus Madsen: What you should know about declarative programming
Inaugural lecture
Fri 04 Oct
15:15-16:00 | Building 5510-104 (INCUBA lille Aud.)
CS Colloquium - Andreas Pavlogiannis:The challenge of program verification (and a bit of biology)
Is my program bug-free? Can it leak sensitive information? Can it take forever to run?
Fri 06 Sep
15:15-16:00 | Building 5510-104 (INCUBA lille Aud.)
CS Colloquium - Kristoffer Arnsfelt Hansen
Fri 24 May
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.
Fri 10 May
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.
Fri 26 Apr
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.
Fri 15 Mar
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium)
CS Colloquium - Davide Mottin:Are smart devices really smart? An algorithmic road towards smartness
OK Google, I would like to visit a city like Aarhus". A seemingly simple question like this finds only disappointing answers from modern smart devices.
Fri 22 Feb
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?

Showing results 1 to 10 of 19

1 2 Next