Difference between revisions of "WScT08"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| Line 12: | Line 12: | ||
more information: | more information: | ||
| − | * [[WScT08-Minutes-Certification]] | + | * Minutes (summary) |
| − | * [[WScT08-Minutes-Competition]] | + | ** [[WScT08-Minutes-Certification]] |
| − | * [[WScT08-Program]] | + | ** [[WScT08-Minutes-Competition]] |
| + | * [[WScT08-Program]] (includes slides of presentations) | ||
* [[WScT08-Registration]] | * [[WScT08-Registration]] | ||
* [[WScT08-Arrangements]] | * [[WScT08-Arrangements]] | ||
Latest revision as of 13:36, 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:
- Minutes (summary)
- WScT08-Program (includes slides of presentations)
- WScT08-Registration
- WScT08-Arrangements
