Monday
22
April
2013,
at
15:15
Nygaard-295, AAbogade 34, 8200 Aarhus N
The Department of Computer Science hosts an information meeting on Monday 22. April at 15:15-16 in Nygaard-295, where Anders Møller, Head of the PhD…
LS Talk: Modular reasoning for modular concurrency, Aaron Turon
18Apr
Thursday
18
April
2013,
at
13:00
INCUBA-112, Åbogade 15, 8200 Aarhus N
Logic and Semantics Talk
PITalk with Matthias Korn: Situating Engagement: Ubiquitous Infrastructures for In-Situ Civic Engagement
15Apr
Monday
15
April
2013,
at
13:15
Ada-333, Aabogade 34, 8200 Aarhus N
Our mobile phone is with us at all times. Habitually, we pick it up in the morning and carry it around on our daily routes and routines. Increasingly,…