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

TitleTypeHostDateLocation
Functions and RelationsInteractiveChristian Clausen10:15 10/07-12Private
Logics and Formal ProofsWorkshopKent Grigo10:15 13/07-12Ada-018
OCaml JumpstartWorkshopKristoffer Andersen10:00 17/07-12Turing-014
Theory of Error Correcting CodesPresentationKent Grigo10:15 25/07-12Private
Curry Howard Correspondence Hands-onWorkshopChristian Clausen10:15 06/08-12Turing-014
OCaml for DummysWorkshopChristian Clausen10:15 13/08-12Ada-018
Parsers and SyntaxWorkshopChristian Clausen10:15 14/08-12It-huset-120
Untyped Lambda CalculusLive CodingChristian Clausen13:15 20/04-13Turing-014
Intuition to Lambda CalculusWorkshopChristian Clausen13:15 20/12-13Nygaard-184
Lambda Calculus InterpreterLive CodingChristian Clausen13:15 31/01-14Nygaard-192
Curry Howard Correspondence Hands-onWorkshopChristian Clausen13:15 07/02-14Nygaard-192
Simply Typed Lambda CalculusLive CodingChristian Clausen13:15 14/02-14Nygaard-192
Hand Written Parsers and Parser GeneratorsPresentationChristian Clausen13:15 21/02-14Nygaard-192
System FLive CodingChristian Clausen13:15 28/02-14Nygaard-192
Hindley Milner Type InferenceLive CodingChristian Clausen, Kristoffer Andersen13:15 07/03-14Nygaard-192
SML-Y; Designing a new MLPresentationChristian Clausen13:15 14/03-14Nygaard-192
Dependently Typed Lambda CalculusLive CodingChristian Clausen13:15 21/03-14Nygaard-192
Logics and Formal ProofsWorkshopChristian Clausen13:15 28/03-14Nygaard-192
Functions and RelationsInteractiveChristian Clausen13:15 04/04-14Nygaard-297
Exceptions and Dependent TypesInteractiveChristian Clausen13:15 11/04-14Nygaard-184
Next