|
|
| (64 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) | |
| − | | |
| − | * Christian Sternagel, (Topic: TBA)
| |
| − | | |
| − | * Adam Koprowski, (topic: TBA)
| |
| − | | |
| − | * René Thiemann, topics to present (in combination with other colleagues from Innsbruck) and discuss
| |
| − | ** presentation of (fixed) details on upcoming termination competition (TC)
| |
| − | ** discussion of TC-details that have to be fixed by the community
| |
| − | | |
| − | * Frederic Blanqui. I can present the current state of Rainbow and CoLoR. | |
| − | | |
| − | * Carsten Fuhs, (topic: TBA) | |
| − | | |
| − | == 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)
| |
| − | | |
| − | * (XXX) classroom at HTWK (e.g. "Lipsius-Bau" on that map: http://www.htwk-leipzig.de/hochsch/lageplan.pdf , low or no cost) , self-catering (several small restaurants nearby) | |
| − | | |
| − | === Options for date/time ===
| |
| − | | |
| − | * workshop start: Saturday | |
| − | ** (XX) morning (9 a.m.) or | |
| − | ** (X) noon (1 p.m.)
| |
| − | * Workshop Dinner (Sunday), booking a table at some restaurant
| |
| − | ** in the city center
| |
| − | ** (XX) outskirts (may include walk or tram ride)
| |
| − | * workshop end: Monday
| |
| − | ** (XX) 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.
| |
