|
|
| (71 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: |
|
| |
|
| == Registration/Program ==
| | * Minutes (summary) |
| | | ** [[WScT08-Minutes-Certification]] |
| Please register 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]] |
| | |
| * Johannes Waldmann, topics I'd like to see | |
| ** the present of Rainbow (give help to people who want to use this, may include some time for actual implementation/hacking)
| |
| ** future of Rainbow (what has become of the plans we made http://color.loria.fr/workshop.html) | |
| | |
| == 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 ===
| |
| | |
| * workshop start: Saturday | |
| ** (X) morning (9 a.m.) or
| |
| ** noon (1 p.m.) | |
| * Workshop Dinner (Sunday), booking a table at some restaurant | |
| ** in the city center
| |
| ** (X) outskirts (may include walk or tram ride)
| |
| * workshop end: Monday
| |
| ** (X) noon (1 p.m.) or
| |
| ** afternoon (5 p.m.)
| |
| | |
| | |
| == Accomodation ==
| |
| | |
| You'll find plenty of hotels of all price ranges through the usual
| |
| [http://maps.google.de/maps?f=l&hl=de&geocode=&q=hotel&near=Leipzig+Gustav+Freytag+Stra%C3%9Fe&sll=51.315754,12.37009&sspn=0.039108,0.076733&ie=UTF8&ll=51.313823,12.37421&spn=0.019555,0.038366&z=15 search engines] | |
| | |
| HTWK is at Karl-Liebknecht-Straße/Richard-Lehmann-Straße.
| |
| | |
| (note: Hotel Seeblick is not a hotel. And there is no Lake.)
| |
| | |
| == 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.
| |
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:
