Difference between revisions of "WST09"

From Termination-Portal.org
Jump to navigationJump to search
 
(4 intermediate revisions by one other user not shown)
Line 1: Line 1:
 
The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.
 
The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.
  
* local organization: Alfons Geser and Johannes Waldmann, HTWK Leipzig
+
== general information ==
* venue (to be confirmed): http://www.mml-leipzig.de/ueber-das-mml/mediencampus/
 
* general tourist information: http://www.leipzig.de/
 
  
What are your preferences for the date of the workshop? Vote here:
+
See the [http://www.imn.htwk-leipzig.de/wst09/ official workshop page]
  
* around June 2 - 7 (week after Whitsunday = Pfingsten)
+
== wishlist ==
** Probably June 4-7 will be best.
 
* around July 6 - 11
 
  
Do you know of any conflicting or adjacent conferences? (Please list dates here.)
+
(add suggestions here)
* RTA09 (RDP09) June 28 - July 3 in Brasilia
 
  
What length do we want for the workshop? E.g. three full days,
+
== slides/presentations ==
starting with an informal reception on the day before.
+
termexec/tpdb query interface: http://dev.aspsimon.org/workspace/projectdocs/leipzig-wst09.pdf
 
 
=== Certified Termination ===
 
Should certified termination be part of the program? If so, should it be contained on one day or spread over the days? Discuss!
 
 
 
Proposal (JW):
 
* have the first (or zeroeth) day of WST for purely technical discussions on certification (e.g. XML formats and other detail that is boring except for tool authors)
 
* but otherwise merge scientific discussion on certified termination with the general workshop program, as the community is too small for having two separate workshops, or a two-track workshop.
 

Latest revision as of 11:43, 4 June 2009

The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.

general information

See the official workshop page

wishlist

(add suggestions here)

slides/presentations

termexec/tpdb query interface: http://dev.aspsimon.org/workspace/projectdocs/leipzig-wst09.pdf