Previous talks



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?
Fri 22 Jun
15:15-16:00 | 5510-103 Store Aud.
CS Colloquium - Hans-Jörg Schultz: Towards the LEGOization of Data Visualization
Inauguration Lecture: Hans-Jörg Schulz
Wed 09 May
15:15-16:00 | Peter Bøgh Andersen Auditorium (5335-016)
CS Colloquium - Susanne Bødker: What would it take to establish an open and malleable Fjæsbog 2.0 (TM), and why don’t we?
Fri 02 Mar
15:15-16:00 | 5510-104 InCuba Lille Aud.
CS Colloquium - Ivan Damgård: Can Quantum Computers Really Break Any Encryption Scheme?
How worried should we be?
Fri 02 Feb
15:15-16:00 | 5335-016 Nygaard, Peter Bøgh Andersen Auditoriet
CS Colloquium - Lars Birkedal: Logic and Semantics for Modern Programming Languages
- An Introduction to Iris