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
Proving by Normalization
Live Coding
Christian Clausen
13:15 18/04-14
Nygaard-184
Tactic Programming in Coq
Interactive
Christian Clausen
13:15 25/04-14
Nygaard-192
Practical Lambda Calculus
Workshop
Mikkel Kringelbach
13:15 02/05-14
Nygaard-192
Folding Data
Presentation
Richard Möhn
13:15 16/05-14
Nygaard-192
Semantic Notation
Presentation
Christian Clausen
13:15 23/05-14
Nygaard-192
Assembling Assembly
Presentation
Christian Clausen
13:15 30/05-14
Nygaard-192
Assembly RoboWar
Social
Christian Clausen
13:00 01/06-14
Peter Bøgh
Bits and Pieces
Presentation
Christian Clausen
13:15 06/06-14
Nygaard-192
Introduction to Type Classes
Presentation
Richard Möhn
13:15 13/06-14
Nygaard-192
Lektiecafé and Summer Round-up
Workshop
Christian Clausen
13:15 20/06-14
Nygaard-192
Combinator Gymnastics
Interactive
Christian Clausen
13:15 22/08-14
Nygaard-184
Symbolic Programming
Live Coding
Christian Clausen
13:15 29/08-14
Nygaard-184
Introduction to Abstract Interpretation
Live Coding
Christian Clausen
13:15 05/09-14
Nygaard-184
Intro to Program Transformations
Interactive
Christian Clausen
13:15 12/09-14
Nygaard-184
Logical Programming
Presentation
Mathias Pedersen
13:15 19/09-14
Nygaard-184
Program Obfuscation
Interactive
Christian Clausen
13:15 26/09-14
Nygaard-184
Programming Language Quiz Show
Social
Mikkel Kringelbach, Christian Clausen
15:30 26/09-14
Nygaard-184
Introduction to Induction
Presentation
Mikkel Kringelbach
13:15 03/10-14
Nygaard-184
Lambda Calculus from Scratch
Interactive
Christian Clausen
13:15 10/10-14
Nygaard-184
Java Peculiarities
Interactive
Christian Clausen
13:15 17/10-14
Nygaard-184
Previous
Next