In the 2009 session, the course's lectures are of two different kinds. The Monday session (two hours, 9-11) is a traditional lecture. The Wednesday lecture (1 hour, 16-17) is devoted, on most weeks, to a guest lecture on a research topic, related to the content of the preceding Monday. Well-known international experts in software verification have agreed to participate in this lecture series, which will also be available as a public seminar series (FATS, Formal Approaches To Software).
For the actual lectures and abstracts, see the course page: Link.
