Difference between revisions of "WScT08"

From Termination-Portal.org
Jump to navigationJump to search
 
(69 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)
 
 
 
== 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 , low or no cost) , 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.
 

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: