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
OCaml JumpstartWorkshopKristoffer Andersen10:00 17/07-12Turing-014
Curry Howard Correspondence Hands-onWorkshopChristian Clausen10:15 06/08-12Turing-014
Untyped Lambda CalculusLive CodingChristian Clausen13:15 20/04-13Turing-014
Programming Strategy Arena RebornSocialMikkel Brun Jakobsen13:15 09/04-16Turing-0
First Year Student PresentationSpecialMikkel Brun Jakobsen, Mathias Pedersen08:15 20/08-15Store Aud
Functions and RelationsInteractiveChristian Clausen10:15 10/07-12Private
Theory of Error Correcting CodesPresentationKent Grigo10:15 25/07-12Private
Inauguration talksSpecial14:15 12/02-16Peter Bgh Auditorium
Katrinebjerg Karrieredag Kdag 2016Special12:00 29/04-16Peter Bgh Auditorium
Assembly RoboWarSocialChristian Clausen13:00 01/06-14Peter Bøgh
Assembly RoboWar Reloaded TournamentSocialChristian Clausen, Mikkel Kringelbach18:00 28/10-14Peter Bøgh
Functions and RelationsInteractiveChristian Clausen13:15 04/04-14Nygaard-297
System FLive CodingChristian Clausen13:15 28/02-14Nygaard-192
Curry Howard Correspondence Hands-onWorkshopChristian Clausen13:15 07/02-14Nygaard-192
Hindley Milner Type InferenceLive CodingChristian Clausen, Kristoffer Andersen13:15 07/03-14Nygaard-192
Hand Written Parsers and Parser GeneratorsPresentationChristian Clausen13:15 21/02-14Nygaard-192
Minecraft og MaskinarkitekturLive CodingChristian Clausen14:00 17/02-17Nygaard-192
Next