There is a Friday talk every week except the summer and Christmas holidays, even if it has not been announced yet.
Title
Type
Host
Date
Location
Workshop on Quasiquotation
Workshop
Olivier Danvy
13:15 10/04-15
Incuba-121
Works On My Machine!
Presentation
Mark Medum Bundgaard
13:15 09/10-15
Nygaard-192
Untyped Lambda Calculus
Live Coding
Christian Clausen
13:15 20/04-13
Turing-014
Undelimited continuations and their control operators
Special
Olivier Danvy
13:15 19/06-15
Nygaard-192
Um, actually there is a Quiz
Social
Christian Clausen, Mikkel Kringelbach
15:15 03/04-15
Nygaard-184
Turing Completeness of the Lambda Calculus
Live Coding
Christian Clausen
11:15 08/05-15
Incuba-129
Theory of Error Correcting Codes
Presentation
Kent Grigo
10:15 25/07-12
Private
The number one technique for game hacks and rootkits
Live Coding
Mathias Pedersen
13:15 16/10-15
Nygaard-184
The algebra of algebraic data types
Presentation
Mathias Pedersen
13:15 05/02-16
Nygaard-192
Terrain and World Generation
Interactive
Mikkel Brun Jakobsen
14:15 21/11-14
Nygaard-184
Template metaprogramming in C++
Live Coding
Mathias Pedersen
13:15 03/04-15
Nygaard-184
Tactic Programming in Coq
Interactive
Christian Clausen
13:15 25/04-14
Nygaard-192
Tactic Programming
Live Coding
Christian Clausen
13:15 27/02-15
Nygaard-184
System F
Live Coding
Christian Clausen
13:15 28/02-14
Nygaard-192
Symbolic Programming
Live Coding
Christian Clausen
13:15 29/08-14
Nygaard-184
Symbolic Programming
Live Coding
Christian Clausen
13:15 05/06-15
Nygaard-184
Super Computing
Interactive
Lasse Melbye
13:15 06/02-15
Nygaard-184
Summer Celebration
Special
Christian Clausen, Mikkel Kringelbach
13:15 03/07-15
Nygaard-184
Suggestion Meeting
Meeting
Christian Clausen
13:15 23/01-15
Nygaard-184
Starting Game Design
Interactive
Christian Clausen
14:15 28/11-14
Nygaard-184
Next