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

TitleTypeHostDateLocation
Proving by NormalizationLive CodingChristian Clausen13:15 18/04-14Nygaard-184
Tactic Programming in CoqInteractiveChristian Clausen13:15 25/04-14Nygaard-192
Practical Lambda CalculusWorkshopMikkel Kringelbach13:15 02/05-14Nygaard-192
Folding DataPresentationRichard Möhn13:15 16/05-14Nygaard-192
Semantic NotationPresentationChristian Clausen13:15 23/05-14Nygaard-192
Assembling AssemblyPresentationChristian Clausen13:15 30/05-14Nygaard-192
Assembly RoboWarSocialChristian Clausen13:00 01/06-14Peter Bøgh
Bits and PiecesPresentationChristian Clausen13:15 06/06-14Nygaard-192
Introduction to Type ClassesPresentationRichard Möhn13:15 13/06-14Nygaard-192
Lektiecafé and Summer Round-upWorkshopChristian Clausen13:15 20/06-14Nygaard-192
Combinator GymnasticsInteractiveChristian Clausen13:15 22/08-14Nygaard-184
Symbolic ProgrammingLive CodingChristian Clausen13:15 29/08-14Nygaard-184
Introduction to Abstract InterpretationLive CodingChristian Clausen13:15 05/09-14Nygaard-184
Intro to Program TransformationsInteractiveChristian Clausen13:15 12/09-14Nygaard-184
Logical ProgrammingPresentationMathias Pedersen13:15 19/09-14Nygaard-184
Program ObfuscationInteractiveChristian Clausen13:15 26/09-14Nygaard-184
Programming Language Quiz ShowSocialMikkel Kringelbach, Christian Clausen15:30 26/09-14Nygaard-184
Introduction to InductionPresentationMikkel Kringelbach13:15 03/10-14Nygaard-184
Lambda Calculus from ScratchInteractiveChristian Clausen13:15 10/10-14Nygaard-184
Java PeculiaritiesInteractiveChristian Clausen13:15 17/10-14Nygaard-184
PreviousNext