The course is worth 4 points and examination is in the form of homework.A general description of the course is presented here.
Lecturer, and responsible for the course, is Johan Håstad.
Past and some future lectures.
Here is a template for writing lecture notes.
Printed lecture notes are available here.