There is a Friday talk every week except the summer and Christmas holidays, even if it has not been announced yet.

TitleTypeHostDateLocation
Workshop on QuasiquotationWorkshopOlivier Danvy13:15 10/04-15Incuba-121
Works On My Machine!PresentationMark Medum Bundgaard13:15 09/10-15Nygaard-192
Untyped Lambda CalculusLive CodingChristian Clausen13:15 20/04-13Turing-014
Undelimited continuations and their control operatorsSpecialOlivier Danvy13:15 19/06-15Nygaard-192
Um, actually there is a QuizSocialChristian Clausen, Mikkel Kringelbach15:15 03/04-15Nygaard-184
Turing Completeness of the Lambda CalculusLive CodingChristian Clausen11:15 08/05-15Incuba-129
Theory of Error Correcting CodesPresentationKent Grigo10:15 25/07-12Private
The number one technique for game hacks and rootkitsLive CodingMathias Pedersen13:15 16/10-15Nygaard-184
The algebra of algebraic data typesPresentationMathias Pedersen13:15 05/02-16Nygaard-192
Terrain and World GenerationInteractiveMikkel Brun Jakobsen14:15 21/11-14Nygaard-184
Template metaprogramming in C++Live CodingMathias Pedersen13:15 03/04-15Nygaard-184
Tactic Programming in CoqInteractiveChristian Clausen13:15 25/04-14Nygaard-192
Tactic ProgrammingLive CodingChristian Clausen13:15 27/02-15Nygaard-184
System FLive CodingChristian Clausen13:15 28/02-14Nygaard-192
Symbolic ProgrammingLive CodingChristian Clausen13:15 29/08-14Nygaard-184
Symbolic ProgrammingLive CodingChristian Clausen13:15 05/06-15Nygaard-184
Super ComputingInteractiveLasse Melbye13:15 06/02-15Nygaard-184
Summer CelebrationSpecialChristian Clausen, Mikkel Kringelbach13:15 03/07-15Nygaard-184
Suggestion MeetingMeetingChristian Clausen13:15 23/01-15Nygaard-184
Starting Game DesignInteractiveChristian Clausen14:15 28/11-14Nygaard-184
Next