Arrangementer
YOU ARE HERE: News & Events » Events archive

Events archive

Thu Jun 24
13:00-15:00 | Meet Ada-018
Qualifying Exam, Kari Schougaard
Wed Jun 23
15:00-16:00 | Store aud. Benjamin-122
C++ standardization and evolution (Alexandra p?-vej-hjem-m?d
Wed Jun 16
13:30-15:30 | Meet Turing-016
Qualifying Exam, Philipp Gerhardy
Mon Jun 14
14:15-15:00 | Meet Turing-016
Applications of Type Constraints in Software Engineering Tools
Mon Jun 14
13:15-14:00 | Meet Turing-016
Applications of Type Constraints in Software Engineering Tools
Fri Jun 11
14:15-15:00 | Meet Turing-016
Free Theorems for Impure Functional Programs, Patricia Johann,
Fri Jun 11
10:15-12:00 | Meet Turing-016
Mini-Course, Patricia Johann: Proving Correctness of Program Tr
Thu Jun 10
10:15-11:00 | Meet Turing-016
Mini-Course, Patricia Johann: Proving Correctness of Program Tr
Wed Jun 09
13:00-15:00 | Meet Turing-016
Qualifying Exam, Mads Sig Ager
Wed Jun 09
10:00-12:00 | Meet Turing-016
Qualifying Exam, Kristoffer Hansen

Showing results 1 to 10 of 11

1 2 Next

Comments on content: 
Revised 2011.05.26