Difference between revisions of "WScT08"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
|||
| (69 intermediate revisions by 11 users not shown) | |||
| Line 1: | Line 1: | ||
= Workshop on Certified Termination WScT08 = | = Workshop on Certified Termination WScT08 = | ||
| + | |||
| + | For general information on the workshop topic and history, see [[WScT]]. | ||
This will be a working meeting, | This will be a working meeting, | ||
| Line 8: | Line 10: | ||
* local organizer: Johannes Waldmann, HTWK Leipzig | * local organizer: Johannes Waldmann, HTWK Leipzig | ||
| + | more information: | ||
| − | + | * Minutes (summary) | |
| − | + | ** [[WScT08-Minutes-Certification]] | |
| − | + | ** [[WScT08-Minutes-Competition]] | |
| − | + | * [[WScT08-Program]] (includes slides of presentations) | |
| − | + | * [[WScT08-Registration]] | |
| − | + | * [[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
