Department of Computer Science

Aarhus University Seal
 Department of Computer Science News & Events Events

Events

Future events



Past Events

Friday lecturer: Thomas Dinsdale-Young on Verifying Concurrent Software

24 Apr
Friday 24 April 2015, at 14:15 5335-016 Nygaard Peter Bøgh Auditorium

Software verification is the application of rigorous mathematical techniques
to prove that computer programs do what they are supposed to.  The
…

PhD Defense: Jakob Truelsen, Space Efficient Data Structures and External Terrain Algorithm

17 Apr
Friday 17 April 2015, at 13:00

Qualifying Exam: Secret-sharing Schemes, Codes and their Applications to Commitments - Irene Giacomelli

13 Apr
Monday 13 April 2015, at 14:15

Qualification Exam: Hans Erik Bugge Grathwohl

31 Mar
Tuesday 31 March 2015, at 13:00

Special seminar by Yang Zhirong on Large-Scale Manifold Clustering and Visualization

27 Mar
Friday 27 March 2015, at 09:15 5342-333 (Ada)

Abstract:

Cluster analysis and and nonlinear dimensionality reduction for visualization are two central machine learning tasks. In this talk I…

Page 128 of 174.

Revised 17.04.2023
-
Marianne Dammand Iversen