Department of Computer Science – Staff

 AU About Aarhus University  cs.medarbejdere.au.dk News & Events Events

cs.staff.au.dk

  • Organisation
  • Boards and Committees
  • Your Administration at CS
  • CS Staff Club
  • Travel Information
  • IT Services (Science and Technology)
  • News & Events
    • News
    • Events
  • CS Today
  • Card Access at Computer Science

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 154 of 174.

  • Previous
  • 1
  • …
  • 153
  • 154
  • 155
  • …
  • 174
  • Next
Revised 09.07.2024

Shortcuts

For Students

For PhD students

cs.au.dk

Defibrillator



© — Cookies at au.dk
Privacy Policy
Web Accessibility Statement
5005 / i36