Department of Computer Science

Aarhus University Seal
 Department of Computer Science News & Events Events

Events

Future events



Past Events

PITalk with Olav Bertelsen

28 Oct
Monday 28 October 2013, at 12:00 5335-295 (Nygaard)

Suffering - when work is not enough: Processes and Participation in Design for Therapy Between Collaboration and Participation

Master Thesis Exam - Bjarke V. Grøn - How to Verify the Correctness of Delegated Computations

25 Oct
Friday 25 October 2013, at 11:00 ADA 333

Master Thesis Exam - Peter H. Steffensen - How to Verify the Correctness of Delegated Computations

25 Oct
Friday 25 October 2013, at 10:00 ADA-333

Talk: Dominique Devriese, KU Leuven - Generalising Capability Safety to Effect Polymorphism - Fuctional Reasoning in an Object-Oriented World

23 Oct
Wednesday 23 October 2013, at 09:15 Nygaard-395

Static effectful APIs and global state in object-oriented programming languages make it hard to modularly control effects. Object-capability (OC)…

PITalk with Yannik Prié: Towards a model to describe and track digital mediations

14 Oct
Monday 14 October 2013, at 12:00 5335-295 Nygaard

Page 152 of 172.

Revised 17.04.2023
-
Marianne Dammand Iversen