Education: courses

The course Languages and Machines, 2015, period IIb.
Here are also links to the courses of the years 2014 and 2013 and 2012.

The course Program Correctness, term IIa, 2010/2011. Outdated.

Some persistent material about our former masters' course Automated Reasoning can be found on
Short introduction to theorem proving with PVS

The former course Concurrency, outdated, 2008/2009.

To the schedule of Computing Science.
To my start page.
Last modified: 27 February, 2015
Wim H. Hesselink