Department of Computer Science

Aarhus University Seal
 Department of Computer Science News & Events Events

Events

Future events



Past Events

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

PhD defense: Rikke Bendlin, AU - Lattice-based Cryptography - Threshold Protocols and Multiparty Computation

11 Oct
Friday 11 October 2013, at 13:15 Nygaard building, room 295, Dept. of Computer Science

Page 154 of 174.

Revised 17.04.2023
-
Marianne Dammand Iversen