WScT08
From Termination-Portal.org
Jump to navigationJump to searchWorkshop 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