Previous talks

Friday 16 November 2018, at 15:15 Building 5335, room 016 (Peter Bøgh Auditorium)

The digital society, including our personal life, depends increasingly on software. Software errors are annoying, hinder productivity, screw up our…

26 Oct

Friday 26 October 2018, at 15:15 Nygaard-016 (5335-016). Åbogade 34, 8200 Aarhus N

In this talk, we will discuss software-based microarchitectural attacks, with a focus on Meltdown and Spectre.

5 Oct

Friday 5 October 2018, at 15:15 Building 5335, room 016 (Peter Bøgh Auditorium)

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…

14 Sep

Friday 14 September 2018, at 15:15 Building 5335, room 016 (Peter Bøgh Auditorium)

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…

22 Jun

Friday 22 June 2018, at 15:15 5510-103 Store Aud.

Inauguration Lecture: Hans-Jörg Schulz

9 May

Wednesday 9 May 2018, at 15:15 Peter Bøgh Andersen Auditorium (5335-016)

Abstract

With starting point in her newly started ERC grant, Susanne Bødker will talk about the digital objects that people, in everyday life as well…

2 Mar

Friday 2 March 2018, at 15:15 5510-104 InCuba Lille Aud.

How worried should we be?

2 Feb

Friday 2 February 2018, at 15:15 5335-016 Nygaard, Peter Bøgh Andersen Auditoriet

- An Introduction to Iris

Department of Computer Science

CS Colloquium - Jaco van de Pol: Automated Verification: can Brute Force be Smart?

CS Colloquium - Daniel Gruss: Software-based Microarchitectural Attacks: What do we learn from Meltdown and Spectre?

CS Colloquium - Ira Assent: Briefly confused? It's not you, it's the context

CS Colloquium - Jesper Buus Nielsen: An Encrypted Glance

CS Colloquium - Hans-Jörg Schultz: Towards the LEGOization of Data Visualization

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?

CS Colloquium - Ivan Damgård: Can Quantum Computers Really Break Any Encryption Scheme?

CS Colloquium - Lars Birkedal: Logic and Semantics for Modern Programming Languages