From Termination-Portal.orgJump to navigationJump to search
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