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
Do you C? Part 1.5
Workshop
Mikkel Brun Jakobsen
13:15 13/03-15
Nygaard-184
Logic and Formal Proofs
Workshop
Christian Clausen
13:15 13/02-15
Nygaard-184
Logics and Formal Proofs
Workshop
Christian Clausen
13:15 28/03-14
Nygaard-192
Workshop on Quasiquotation
Workshop
Olivier Danvy
13:15 10/04-15
Incuba-121
Practical introduction to Lambda calculus
Workshop
Frederik Truelsen
13:15 24/04-15
Nygaard-184
Practical Lambda Calculus
Workshop
Mikkel Kringelbach
13:15 02/05-14
Nygaard-192
Do you C? Part 1
Workshop
Mikkel Brun Jakobsen
13:15 06/03-15
Nygaard-184
Programming Strategy Arena Genesis
Workshop
Mikkel Brun Jakobsen, Mathias Pedersen, Thor Bagge
13:00 01/11-15
Ada-0
Curry-Howard Workshop
Workshop
Christian Clausen
13:15 22/05-15
Nygaard-184
Intuition to Lambda Calculus
Workshop
Christian Clausen
13:15 20/12-13
Nygaard-184
OCaml for Dummys
Workshop
Christian Clausen
10:15 13/08-12
Ada-018
Lektiecafé and Summer Round-up
Workshop
Christian Clausen
13:15 20/06-14
Nygaard-192
Logics and Formal Proofs
Workshop
Kent Grigo
10:15 13/07-12
Ada-018
Curry Howard Correspondence Hands-on
Workshop
Christian Clausen
10:15 06/08-12
Turing-014
Civilized Discourse
Workshop
Christian Clausen
13:15 29/05-15
Nygaard-184
Curry Howard Correspondence Hands-on
Workshop
Christian Clausen
13:15 07/02-14
Nygaard-192
Practical Introduction to Lambda Calculus
Workshop
Frederik Truelsen
13:15 23/10-15
Nygaard-192
Introduktion til Induktion
Workshop
Mikkel Kringelbach
13:15 17/04-15
Nygaard-184
Parsers and Syntax
Workshop
Christian Clausen
10:15 14/08-12
It-huset-120
OCaml Jumpstart
Workshop
Kristoffer Andersen
10:00 17/07-12
Turing-014
Next