WScT08

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:

• WScT08-Minutes-Certification
• WScT08-Minutes-Competition
• WScT08-Program
• WScT08-Registration
• WScT08-Arrangements