WScT08
From Termination-Portal.org
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
Adjacent event(s)
Note that WScT08 is right after WATA08 Dresden. (There will even be some termination talks at WATA.) Travel from Dresden to Leipzig is easy (one hour by train). Dresden is a major tourist attraction.