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.