The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Workshop on Certified Termination WScT08

For general information on the workshop topic and history, see WScT.

This will be a working meeting, with plenty of room for discussion.

location: Leipzig, Germany
date: May 17 - 19, 2008
local organizer: Johannes Waldmann, HTWK Leipzig

more information:

Minutes (summary)
- WScT08-Minutes-Certification
- WScT08-Minutes-Competition
WScT08-Program (includes slides of presentations)
WScT08-Registration
WScT08-Arrangements