DAIMI Computer Science Day 2007

"Reports from the frontiers of computer science"

Fredag den 22. juni, 13.00 - 16.30

Store Auditorium, IT-Huset, Aabogade.

Datalogisk Institut, Aarhus Universitet, afholder den 22. juni "DAIMI Computer Science Day 2007" i Store Auditorium i IT-Huset. I et tæt pakket program fra kl. 13.00 til 16.30 præsenterer i alt 10 forskellige forskningsgrupper ved instituttet deres aktiviteter gennem en række korte oplæg. Undervejs vil der væres tid til både spørgsmål og forfriskninger. Dagen henvender sig til et bredt publikum og giver alle med interesse i datalogi og IT en unik mulighed for at få et overblik over den brede vifte af forskningsaktiviteter, der foregår ved Datalogisk Institut i Århus.
Alle er velkommende. Alle præsentationer afholdes på engelsk. Der serveres kaffe, kage og forfriskninger i pauserne.

13.00-13.15  Introduction

13.15-14.15  Session I (4 x 15 minutes)
     Hypermedia
     Pervasive Computing
     Computer Graphics and Scientific Computing
     Bioinformatics

14.15-14.30  Coffee break

14.30-15.15  Session II (3 x 15 minutes)
     Programming Languages and Formal Methods
     Object-Oriented Software Systems
     Modelling and Validation of Distributed Systems

15.15-15.30  Coffee break

15.30-16.15  Session III (3 x 15 minutes)
     Cryptography and Security
     Algorithmic Game Theory
     Algorithms and Data Structures

16.15-16.30  Closing remark

Programmet vil også kunne findes via http://www.cs.au.dk/fridaylectures