Difference between revisions of "WScT08"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
Line 26: | Line 26: | ||
* (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) | * (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 = | + | == Options for date/time == |
* start Saturday | * start Saturday |
Revision as of 07:05, 10 April 2008
Contents
Workshop on Certified Termination WScT08
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
Registration/Program
Please register (provisionally) by writing your name here and the title of the talk you want to give, or the topic you want to discuss. (Feel free to create wiki pages for your topic, and link from here.)
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 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.