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

TitleTypeHostDateLocation
Note Collection Submission DeadlineSpecialChristian Clausen12:00 24/02-15User
Note Collection Submission DeadlineSpecialMikkel Brun Jakobsen12:00 30/08-15User
Programs, Proofs, and Tactics in the Coq Proof Assistant (MSc. def.)PresentationChristian Clausen14:30 07/09-15Turing-230
Untyped Lambda CalculusLive CodingChristian Clausen13:15 20/04-13Turing-014
Curry Howard Correspondence Hands-onWorkshopChristian Clausen10:15 06/08-12Turing-014
OCaml JumpstartWorkshopKristoffer Andersen10:00 17/07-12Turing-014
Programming Strategy Arena RebornSocialMikkel Brun Jakobsen, 13:15 09/04-16Turing-0
First Year Student PresentationSpecialMikkel Brun Jakobsen, Mathias Pedersen08:15 20/08-15Store Aud
Theory of Error Correcting CodesPresentationKent Grigo10:15 25/07-12Private
Functions and RelationsInteractiveChristian Clausen10:15 10/07-12Private
Inauguration talksSpecial14:15 12/02-16Peter Bgh Auditorium
Katrinebjerg Karrieredag Kdag 2016Special12:00 29/04-16Peter Bgh Auditorium
Assembly RoboWar Reloaded TournamentSocialMikkel Kringelbach, Christian Clausen18:00 28/10-14Peter Bøgh
Assembly RoboWarSocialChristian Clausen13:00 01/06-14Peter Bøgh
Functions and RelationsInteractiveChristian Clausen13:15 04/04-14Nygaard-297
Lektiecafé and Summer Round-upWorkshopChristian Clausen13:15 20/06-14Nygaard-192
Introduction to Type ClassesPresentationRichard Mhn13:15 13/06-14Nygaard-192
Bits and PiecesPresentationChristian Clausen13:15 06/06-14Nygaard-192
Assembling AssemblyPresentationChristian Clausen13:15 30/05-14Nygaard-192
Semantic NotationPresentationChristian Clausen13:15 23/05-14Nygaard-192
Next