Previous talks

1 May

Thursday 1 May 2025, at 14:15 Peter Bøgh Andersen Building 5335, Room 016, Helsingforsgade 14, 8200 Aarhus N

Title

The Flix Programming Language

Abstract

In this talk, I will present an overview of the Flix programming language, a

functional, imperative,…

6 Dec

Friday 6 December 2024, at 14:15 InCuba Lille Auditorium (Building: 5510 - Room: 104), Åbogade 15, 8200 Aarhus N

Title

Formal and Foundational Study of Programs and Programming Languages

Abstract

In this talk, I will introduce the formal and foundational…

31 May

Friday 31 May 2024, at 14:15 Peter Bøgh Auditorium, Building 5335, Room 016, Helsingforsgade 14, 8200 Aarhus N

Title
Squaring Circles

Abstract
Chris will give his favorite proof on the white board. But there are drinks afterwards, so why don't you come anyway.

3 May

Friday 3 May 2024, at 14:15 Peter Bøgh Auditorium, Building 5335, Room 016, Helsingforsgade 14, 8200 Aarhus N

Title
Unveiling the dark side of AI and the quest for truth (25% AI-generated title)

Abstract
A few years ago the question "Are smart devices really…

1 Mar

Friday 1 March 2024, at 14:15 Peter Bøgh Auditorium, Building 5335, Room 016, Helsingforsgade 14, 8200 Aarhus N

Title
Program Analysis through the Algorithmic Lens

Abstract
Is my program correct? Does it respect its specification? Does it utilize resources…

1 Dec

Friday 1 December 2023, at 14:15 Peter Bøgh Andersen auditorium, building 5335, room 016

Title
Full Stack Visualization: From Vision to Insight

Abstract
In this inaugural lecture, I will define the "visualization stack" as a set of layers…

3 Nov

Friday 3 November 2023, at 14:15 InCuba Store Aud, Building 5510 room 103

Title
Decentralized Cryptographic Systems

Abstract
Much of our digital infrastructure still relies on centralized systems, which are prone to failure…

6 Oct

Friday 6 October 2023, at 14:15 InCuba Store Aud, Building 5510 room 103

Title
For the love of IT!

Abstract
How to thrive and survive in the world of Enterprise IT as a curious tech-person?

When you get your first job...

…

1 Sep

Friday 1 September 2023, at 14:15 InCuba Store Aud, Building 5510 room 103

Title
Tomorrow's Cryptography: A Journey of VOLEs, Cheese and Quantum-Safe Communication

Abstract
In our data-driven world, the field of cryptography…

31 Mar

Friday 31 March 2023, at 14:15 InCuba Store Aud, Building 5510 room 103

Title: Fabricating Physical User Interfaces with Smart Materials

Abstract: I argue that in the future everyone will create physical user interfaces…

Department of Computer Science

Previous talks

Inaugural Lecture by Magnus Madsen on The Flix Programming Language

Inaugural Lecture by Amin Timany on Formal and Foundational Study of Programs and Programming Languages

Inaugural lecture by Chris Schwiegelshohn on Squaring Circles

Inaugural lecture by Davide Mottin on Unveiling the dark side of AI and the quest for truth (25% AI-generated title)

Inaugural lecture by Andreas Pavlogiannis on Program Analysis through the Algorithmic Lens

Inaugural lecture by Niklas Elmqvist on Full Stack Visualization: From Vision to Insight

Inaugural lecture by Claudio Orlandi on Decentralized Cryptographic Systems

Invited Talk by Anne Kirsten Mølle on For the love of IT!

Inaugural lecture by Peter Scholl on Tomorrow's Cryptography: A Journey of VOLEs, Cheese and Quantum-Safe Communication

Inaugural lecture by Michael Wessely on Fabricating Physical User Interfaces with Smart Materials