There is a Friday talk every week except the summer and Christmas holidays, even if it has not been announced yet.
Title
Type
Host
Date
Location
Note Collection Submission Deadline
Special
Christian Clausen
12:00 24/02-15
User
Note Collection Submission Deadline
Special
Mikkel Brun Jakobsen
12:00 30/08-15
User
Programs, Proofs, and Tactics in the Coq Proof Assistant (MSc. def.)
Presentation
Christian Clausen
14:30 07/09-15
Turing-230
OCaml Jumpstart
Workshop
Kristoffer Andersen
10:00 17/07-12
Turing-014
Curry Howard Correspondence Hands-on
Workshop
Christian Clausen
10:15 06/08-12
Turing-014
Untyped Lambda Calculus
Live Coding
Christian Clausen
13:15 20/04-13
Turing-014
Programming Strategy Arena Reborn
Social
Mikkel Brun Jakobsen,
13:15 09/04-16
Turing-0
First Year Student Presentation
Special
Mikkel Brun Jakobsen, Mathias Pedersen
08:15 20/08-15
Store Aud
Functions and Relations
Interactive
Christian Clausen
10:15 10/07-12
Private
Theory of Error Correcting Codes
Presentation
Kent Grigo
10:15 25/07-12
Private
Inauguration talks
Special
14:15 12/02-16
Peter Bøgh Auditorium
Katrinebjerg Karrieredag Kdag 2016
Special
12:00 29/04-16
Peter Bøgh Auditorium
Assembly RoboWar
Social
Christian Clausen
13:00 01/06-14
Peter Bøgh
Assembly RoboWar Reloaded Tournament
Social
Mikkel Kringelbach, Christian Clausen
18:00 28/10-14
Peter Bøgh
Functions and Relations
Interactive
Christian Clausen
13:15 04/04-14
Nygaard-297
System F
Live Coding
Christian Clausen
13:15 28/02-14
Nygaard-192
Curry Howard Correspondence Hands-on
Workshop
Christian Clausen
13:15 07/02-14
Nygaard-192
Hindley Milner Type Inference
Live Coding
Kristoffer Andersen, Christian Clausen
13:15 07/03-14
Nygaard-192
Hand Written Parsers and Parser Generators
Presentation
Christian Clausen
13:15 21/02-14
Nygaard-192
Minecraft og Maskinarkitektur
Live Coding
Christian Clausen,
14:00 17/02-17
Nygaard-192
Next