Web News
DTP
Latest news
2013-05-16
Added a second
set of exercises. Updated the
CourseSchedule with slides, coaching sessions, and a presentation schedule.
2013-05-07
Added the first
exercise set
2013-05-06
Update verification projects and uploaded slides for the first two lectures.
2013-02-22
Updated homepage for new seminar.
--
WouterSwierstra - 22 Feb 2013
