CS Colloquium - Prof. Giuseppe Santucci: Visual Analytics and CyberSecurity
17Jan
Friday
17
January
2020,
at
15:15
Building 5510-104 (INCUBA lille Aud.)
Abstract: The talk will discuss possible relationships between Visual Analytics and cyber security, listing hot application fields and tickling the…
CS Colloquium - Peter Scholl: Computing blindfolded: How can you compute on data, without seeing it?
22Nov
Friday
22
November
2019,
at
15:15
Building 5510-104 (INCUBA Lille Aud.)
Inaugural lecture
CS Colloquium - Magnus Madsen: What you should know about declarative programming
1Nov
Friday
1
November
2019,
at
15:15
Building 5510-104 (INCUBA Lille Aud.)
Inaugural lecture
CS Colloquium - Andreas Pavlogiannis:The challenge of program verification (and a bit of biology)
4Oct
Friday
4
October
2019,
at
15:15
Building 5510-104 (INCUBA lille Aud.)
Is my program bug-free? Can it leak sensitive information? Can it take forever to run?
CS Colloquium - Kristoffer Arnsfelt Hansen
6Sep
Friday
6
September
2019,
at
15:15
Building 5510-104 (INCUBA lille Aud.)
Computer Science Day 2019
24May
Friday
24
May
2019,
at
14:15
5335-016 (Peter Bøgh Andersen Aud)
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…
CS Colloquium - Bas Spitters: Modern Type Theory and Secure Blockchains
10May
Friday
10
May
2019,
at
15:15
Building 5510, room 104 (Incuba Lille Aud)
Types help programmers to write clear and correct programs. I will present recent developments in type theory which will allow us to write bigger…
CS Colloquium - Claudio Orlandi: Zero-Knowledge Proofs and Their Applications in Modern Cryptography
26Apr
Friday
26
April
2019,
at
15:15
Building 5510, room 104 (Incuba Lille Aud)
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…
CS Colloquium - Davide Mottin:Are smart devices really smart? An algorithmic road towards smartness
15Mar
Friday
15
March
2019,
at
15:15
Building 5335, room 016 (Peter Bøgh Auditorium)
OK Google, I would like to visit a city like Aarhus". A seemingly simple question like this finds only disappointing answers from modern smart…
CS Colloquium - Kasper Green Larsen: In Pursuit of Optimality
22Feb
Friday
22
February
2019,
at
15:15
Building 5335, room 016 (Peter Bøgh Auditorium)
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…
