Web News

DTP

%STARTINCLUDE%

---++ Latest news
*2013-05-16*
Added a second [[Assignments][set of exercises]]. Updated the CourseSchedule with slides, coaching sessions, and a presentation schedule.

*2013-05-07*
Added the first [[Assignments][exercise set]]

*2013-05-06*
Update verification projects and uploaded slides for the first two lectures.

*2013-02-22*
Updated homepage for new seminar.

-- Main.WouterSwierstra - 22 Feb 2013