Aarhus University Seal / Aarhus Universitets segl

Previous talks

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?
Fri 07 Dec
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium)
CS Colloquium - Martin Møller: A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning
I would like to invite you to celebrate a 25 year old high-impact paper from Department of Computer Science, AU. To my knowledge, the paper is probably the most ever cited single research result paper written by a single author, a then PhD student, from the Department of Computer Science, AU. It has been cited 3500+ times over the last 25 years, with an increasing frequency, this year to date alone 250+ citations. The paper also shows that the Department of Computer Science was an early mover in the hyped area of Machine Learning, since the topic of the paper is on algorithms for supervised learning. I have asked the author to give a talk based on the paper, and I have also asked him to talk about what his research result has been/is used for today through some examples. The talk will be followed by a little reception, as a warm up to the Katrinebjerg Christmas Lunch, taking place later the same day. See you at the talk! Kaj Grønbæk, Head of Department, Professor.
Fri 16 Nov
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium)
CS Colloquium - Jaco van de Pol: Automated Verification: can Brute Force be Smart?
The digital society, including our personal life, depends increasingly on software. Software errors are annoying, hinder productivity, screw up our security, and even lead to loss of lives in the case of safety-critical systems. Why is not all software formally verified?
Fri 26 Oct
15:15-16:00 | Nygaard-016 (5335-016). Åbogade 34, 8200 Aarhus N
CS Colloquium - Daniel Gruss: Software-based Microarchitectural Attacks: What do we learn from Meltdown and Spectre?
In this talk, we will discuss software-based microarchitectural attacks, with a focus on Meltdown and Spectre.
Fri 05 Oct
15:15-16:00 | Building 5335, room 016 (Peter Bøgh Auditorium)
CS Colloquium - Ira Assent: Briefly confused? It's not you, it's the context
Abbreviations are convenient when we refer to a concept again and again, in particular if it is a long or complicated term. Naturally, due to the brevity of typical abbreviations (often just two or three letters), abbreviations are typically ambiguous.
Fri 14 Sep
15:15-16:15 | Building 5335, room 016 (Peter Bøgh Auditorium)
CS Colloquium - Jesper Buus Nielsen: An Encrypted Glance
It is well known that if you want to prevent aliens (or just other people) from reading your thoughts, you can simply wear a tinfoil hat. However, as you walk down Strøget in downtown Aarhus, proudly sporting your tinfoil hat, what and whom you are looking at can still reveal lot about what is in your head. You can try sunglasses, but now and then you will want to turn your head. Is there a way to fully “encrypt” where you are looking?

Showing results 1 to 10 of 14

1 2 Next