Institut for Datalogi

Aarhus Universitets segl
Du er her: Institut for Datalogi Arrangementer

Arrangementer

Kommende arrangementer



Past Events

Special talk by Bas Spitters

7 mar
Onsdag 7. marts 2018, kl. 13:00 5335-395 Nygaard Møderum

Abstract:

Logic and semantics are important tools in computer science. For instance, they allow us to verify both large computer programs and large…

Special talk with Roman Rädle on Paving the road to collaborative computational thinking

1 mar
Torsdag 1. marts 2018, kl. 11:15 5342-333

Abstract:

Computational thinking is becoming a fundamental skill for everyone, not just for computer scientists. Presently, the need for this skill…

Women in Science Day

10 feb
Lørdag 10. februar 2018, kl. 13:00 AIAS Auditorium, Høegh-Guldbergsgade 6B, 8000 Aarhus C

CS Colloquium - Lars Birkedal: Logic and Semantics for Modern Programming Languages

2 feb
Fredag 2. februar 2018, kl. 15:15 5335-016 Nygaard, Peter Bøgh Andersen Auditoriet

- An Introduction to Iris

Qualification Exam: PhD student Mark Simkin

31 jan
Onsdag 31. januar 2018, kl. 13:00 Nygaard-297

Side 78 af 90

Revideret 09.03.2023
-
Marianne Dammand Iversen