Seminars and Exercises

Seminars

The course is divided into 3 modules. Each module starts with a seminar and ends with a seminar. 
All seminars will take place in the conference room Ada, Electrum, KTH Kista (elevator A, level 4, entrance to SCS).

• Seminar 1: Course Introduction and Introduction to Module 1.
  Tuesday June 7, 13.00-17.00
• 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: Presentation of solutions to Module 3. Course ending.
  Thursday November 17, 10.00-17.00

Module 1: Operational semantics and the lambda calculus

Seminar 1
Tuesday June 7, 13.00-17.00

Place: