Events archive
- Wed Dec 21
- 14:00-16:00 | Turing-014
[PL Seminar] Verification via Abstract Reduction Semantics by David Van Horn, Northeastern University - Mon Dec 19
- 14:15-16:15 | (Undervisningslokale. Åbogade 15)
Theory seminar: Troels Bjerre Sørensen - Sat Dec 17
- 03:30-06:45 | DI-Ada-333
PhD Defense - Torben Godsk - Fri Dec 16
- 12:15-15:30 | Peter Bøgh A. Aud + coffee room
Annual report, Gløgg and "julehygge" - Fri Dec 16
- 10:15-12:30 |
Theory seminar - Uri Zwick, Tel Aviv University - Wed Dec 14
- 13:15-15:00 | Nygaard-327
MADALGO Seminar, Kasper Green Larsen, Aarhus University - Wed Dec 14
- 12:15-16:00 | DI-Ada-333
PhD defence - Torben Godsk - Wed Dec 14
- 12:15-15:15 | 5342-333, Ada Building, room 333, Department of Computer Science
PhD defence: Methods and Software Architecture for Activity Recognition from Position Data: PhD student Torben Godsk, Department of Computer Science - Wed Dec 14
- 07:00-08:00 | DI-pvagt
End of 2nd quarter - Fri Dec 09
- 13:00-16:00 | Aud 1110-223, Birc
PhD Defense, Martin Simonsen