Difference between revisions of "WScT08"

From Termination-Portal.org
Jump to navigationJump to search
Line 21: Line 21:
  
 
* Christian Sternagel, (Topic: TBA)
 
* Christian Sternagel, (Topic: TBA)
 +
 +
* Adam Koprowski, (topic: TBA)
  
 
== Local Organization ==  
 
== Local Organization ==  
Line 30: Line 32:
 
* external conference facility (e.g. http://www.mediencampus-villa-ida.de/ ,rent would be 150 EUR per day), on-site restaurant/catering (additional cost)
 
* 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 , low or no cost) , self-catering (several small restaurants nearby)
+
* (XX) 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 ===
 
=== Options for date/time ===
Line 36: Line 38:
 
* workshop start: Saturday  
 
* workshop start: Saturday  
 
** (X) morning (9 a.m.) or  
 
** (X) morning (9 a.m.) or  
** noon (1 p.m.)
+
** (X) noon (1 p.m.)
 
* Workshop Dinner (Sunday), booking a table at some restaurant
 
* Workshop Dinner (Sunday), booking a table at some restaurant
 
** in the city center
 
** in the city center
** (X) outskirts (may include walk or tram ride)
+
** (XX) outskirts (may include walk or tram ride)
 
* workshop end: Monday  
 
* workshop end: Monday  
** (X) noon (1 p.m.) or  
+
** (XX) noon (1 p.m.) or  
 
** afternoon (5 p.m.)
 
** afternoon (5 p.m.)
 
  
 
== Accomodation ==
 
== Accomodation ==

Revision as of 12:07, 10 April 2008

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 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.)

  • 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)

Local Organization

Details will be fixed soon. Vote here! (Just mark with "X")

Options for location

Options for date/time

  • workshop start: Saturday
    • (X) 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 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 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.