Aarhus University logo
Find
For students
For PhDs
For employees
Local study portal
Computer Science
IT Product Development
Local PhD portal
Application Guide
Computer Science
Pages for all PhD students
phd.au.dk
Local staff information
Department of Computer Science
Pages for staff members at AU
medarbejdere.au.dk/en/
Department of
Computer Science
Research
Algorithms, Data Structures and Foundations of Machine Learning
Collaboration and Computer-Human Interaction
Computational Complexity and Game Theory
Data-Intensive Systems
Cryptography and Cyber Security
Logic and Semantics
Programming Languages
Ubiquitous Computing and Interaction
Publications
PhD Studies
Education
Bachelor
Master
PhD
CS Alumni
Continuing education
Study environment
Meet our graduates
Graduation at Department of Computer Science
ChomskyLab
Collaboration
Research Collaboration
Student Collaboration
CS Business Club
Business Committee
News & Events
News
Events
CS Colloquium
Camps and Competitions
About Us
Code of Conduct
Strategy towards 2030
Organisation
Welcome to new colleagues at CS
Anniversary
Employees
Honorary doctor and professors
Vacancies
Contact
Management and Heads of Research
Researchers
All employees
Press contacts
Gymnasiesamarbejde
Department of Computer Science
News & Events
CS Colloquium
Previous talks
News & Events
News
Events
CS Colloquium
Previous talks
Computer Science Day 2019
Camps and Competitions
Previous talks
Now - 2018
CS Colloquium - Lars Birkedal: Logic and Semantics for Modern Programming Languages
2
Feb
Friday
2
February 2018,
at 15:15
5335-016 Nygaard, Peter Bøgh Andersen Auditoriet
- An Introduction to Iris
Page 5 of 5.
Previous
1
…
3
4
5
Previous years
2017
2016
Fall 2015
Spring 2015
Fall 2014
Spring 2014
Revised 17.04.2023
-
Marianne Dammand Iversen
