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-Minutes-Certification
- WScT08-Minutes-Competition
WScT08-Program (includes slides of presentations)
WScT08-Registration
WScT08-Arrangements

@@ Line 1: / Line 1: @@
 = Workshop on Certified Termination WScT08 =
+For general information on the workshop topic and history, see [[WScT]].
 This will be a working meeting,
@@ Line 8: / Line 10: @@
 * local organizer: Johannes Waldmann, HTWK Leipzig
+more information:
-== Registration/Program ==
+* Minutes (summary)
+** [[WScT08-Minutes-Certification]]
-Please register (provisionally) by writing your name here
+** [[WScT08-Minutes-Competition]]
-and the title of the talk you want to give,
+* [[WScT08-Program]] (includes slides of presentations)
-or the topic you want to discuss.
+* [[WScT08-Registration]]
-(Feel free to create wiki pages for your topic, and link from here.)
+* [[WScT08-Arrangements]]
-== Local Organization ==
-Details will be fixed soon. Vote here! (Just mark with "X")
-== Options for location ==
-* external conference facility (e.g. http://www.mediencampus-villa-ida.de/ ,rent would be 150 EUR per day), on-site restaurant/catering (additional cost)
-* (X) classroom  at HTWK  (e.g. "Lipsius-Bau" on that map: http://www.htwk-leipzig.de/hochsch/lageplan.pdf) , self-catering (several small restaurants nearby)
-= Options for date/time =
-* start Saturday
-** (X) morning (9 a.m.) or
-** noon (1 p.m.)
-* end Monday
-** (X) noon (1 p.m.) or
-** afternoon (5 p.m.)
-= Adjacent event(s) =
-Note that WScT08 is right after
-[http://www.orchid.inf.tu-dresden.de/gdp/wata08/ WATA08 Dresden].
-(There will even be some termination talks at WATA.)
-Travel from Dresden to Leipzig is easy (one hour by train).
-Dresden is a major tourist attraction.