Seminars and Exercises

The course is divided into 3 modules. Each module starts with a seminar and ends with a seminar. Before each seminar (except for the first one) each student should prepare a number of exercises. Please see the details below.

All seminars will take place in the conference room Ada, Electrum, KTH Kista (elevator A, level 4, entrance to SCS).

Module 1: Operational semantics and the lambda calculus

Seminar 1
Tuesday June 7, 13.00-17.00

Place: 

Seminar 2, Monday August 29, 10.00-17.00
Seminar 3, Monday October 17, 10.00-17.00
Seminar 4, Thursday November 17, 10.00-17.00