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

TitleTypeHostDateLocation
Do you C? Part 1.5WorkshopMikkel Brun Jakobsen13:15 13/03-15Nygaard-184
Logic and Formal ProofsWorkshopChristian Clausen13:15 13/02-15Nygaard-184
Logics and Formal ProofsWorkshopChristian Clausen13:15 28/03-14Nygaard-192
Workshop on QuasiquotationWorkshopOlivier Danvy13:15 10/04-15Incuba-121
Practical introduction to Lambda calculusWorkshopFrederik Truelsen13:15 24/04-15Nygaard-184
Practical Lambda CalculusWorkshopMikkel Kringelbach13:15 02/05-14Nygaard-192
Do you C? Part 1WorkshopMikkel Brun Jakobsen13:15 06/03-15Nygaard-184
Programming Strategy Arena GenesisWorkshopMikkel Brun Jakobsen, Mathias Pedersen, Thor Bagge13:00 01/11-15Ada-0
Curry-Howard WorkshopWorkshopChristian Clausen13:15 22/05-15Nygaard-184
Intuition to Lambda CalculusWorkshopChristian Clausen13:15 20/12-13Nygaard-184
OCaml for DummysWorkshopChristian Clausen10:15 13/08-12Ada-018
Lektiecafé and Summer Round-upWorkshopChristian Clausen13:15 20/06-14Nygaard-192
Logics and Formal ProofsWorkshopKent Grigo10:15 13/07-12Ada-018
Curry Howard Correspondence Hands-onWorkshopChristian Clausen10:15 06/08-12Turing-014
Civilized DiscourseWorkshopChristian Clausen13:15 29/05-15Nygaard-184
Curry Howard Correspondence Hands-onWorkshopChristian Clausen13:15 07/02-14Nygaard-192
Practical Introduction to Lambda CalculusWorkshopFrederik Truelsen13:15 23/10-15Nygaard-192
Introduktion til InduktionWorkshopMikkel Kringelbach13:15 17/04-15Nygaard-184
Parsers and SyntaxWorkshopChristian Clausen10:15 14/08-12It-huset-120
OCaml JumpstartWorkshopKristoffer Andersen10:00 17/07-12Turing-014
Next