Seminars and Exercises

Seminars 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
* Seminar 1: Course Introduction and Introduction to Module 1.Tuesday June 7, 13.00-17.00

¶ Place: ¶ Seminar * Seminar 2: Presentation of solutions to Module 1 and introduction to Module 2,. Monday August 29, 10.00-17.00
* Seminar 3, : Presentation of solutions to Module 2 and introduction to Module 3.Monday October 17, 10.00-17.00
* Seminar 4, Thursday November 17, 10.00-17.00: Presentation of solutions to Module 3. Course ending.Thursday November 17, 10.00-17.00
¶

Module 1: Operational semantics and the lambda calculus Seminar 1Tuesday June 7, 13.00-17.00¶

¶

Place: ¶