Events archive
- Fri Aug 27
- 13:15-14:30 | Alexandra m�delokale Hopper-32
Stephan Hermann: Team Spirit for Objects - Wed Aug 25
- 15:15-16:00 | Meet Turing-016
The Wand: UI-Independent Applications through Abstraction and T - Mon Aug 23
- 15:15-16:00 | Meet Turing-016
One Point Bases in Lambda Calculi with Constants, BRICS Researc - Mon Aug 23
- 08:00-08:30 |
Start of first quarter - Wed Aug 18
- 10:15-12:00 | Meet Ada-118
Kolmogorov Complexity Theory and Derandomization, BRICS Mini-co - Wed Aug 18
- 09:00-10:00 |
Reception of first year students - Tue Aug 17
- 10:15-12:00 | Meet Ada-118
Kolmogorov Complexity Theory and Derandomization, BRICS Mini-co - Wed Aug 11
- 13:15-15:00 | Turing-016
Cryptographic Protocols and Formal Methods, BRICS Mini-course, - Wed Aug 11
- 10:00-12:00 | Meet Ada-018
Qualifying Exam, Simon Larsen - Tue Aug 10
- 13:15-15:00 | Turing-016
Cryptographic Protocols and Formal Methods, BRICS Mini-course,