Events

Future Events

Mon 29 May
11:00-12:00 | Nygaard-295
Talk by Philippa Gardner; Towards Trustworthy Verification of JavaScript
Tue 30 May
09:00-12:00 | Peter Bøgh Auditorium, Department of Computer Science, Åbogade 34, 8200 Aarhus N.
The Aarhus Concurrency Workshop
Aarhus Concurrency Workshop on Concurrency Theory and related topics.
Thu 01 Jun
08:30-22:00 | Ree Park Safari
PhD and Postdoc retreat

Past Events

Fri 19 May
13:15-15:10 | Peter Bøgh Andersen Auditorium
Computer Science Day 2017
Fri 05 May
14:15-15:15 | Peter Bøgh Auditorium, Department of Computer Science, Åbogade 34, 8200 Aarhus N
Inaugural lecture by Professor Anders Møller on Automated Program Analysis for Advanced Web Applications
Fri 05 May
13:00-15:00 | Nygaard-295
PhD Defense by Bernardo M. David: A Framework For Efficient Homomorphic Universally Composable Commitments
Thu 27 Apr
13:00-15:00 | Nygaard-297
Qualification Exam: PhD student Sabine Oechsner
Mon 24 Apr
11:00-12:00 | Nygaard 295
Special talk by Kasper Svendsen on Compositional reasoning about concurrent software

Showing results 1 to 5 of 384

1 2 3 4 5 6 7 8 9 10 Next

5005 / i36