Difference between revisions of "WScT08"

From Termination-Portal.org
Jump to navigationJump to search
 
(One intermediate revision by the same user not shown)
Line 12: Line 12:
 
more information:
 
more information:
  
* [[WScT08-Minutes-Certification]]
+
* Minutes (summary)
* [[WScT08-Minutes-Competition]]
+
** [[WScT08-Minutes-Certification]]
* [[WScT08-Program]]
+
** [[WScT08-Minutes-Competition]]
 +
* [[WScT08-Program]] (includes slides of presentations)
 
* [[WScT08-Registration]]
 
* [[WScT08-Registration]]
 
* [[WScT08-Arrangements]]
 
* [[WScT08-Arrangements]]
 
 
 
 
 
 
== 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: