Difference between revisions of "WScT08"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
Line 17: | Line 17: | ||
* [[WScT08-Registration]] | * [[WScT08-Registration]] | ||
* [[WScT08-Arrangements]] | * [[WScT08-Arrangements]] | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Revision as of 13:34, 2 June 2008
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: