WST09

From Termination-Portal.org
Revision as of 09:53, 19 May 2008 by Binabik (talk | contribs)
Jump to navigationJump to search

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

What are your preferences for the date of the workshop? Vote here:

  • around June 2 - 7 (week after Whitsunday = Pfingsten)
    • Probably June 4-7 will be best.
  • around July 6 - 11

Do you know of any conflicting or adjacent conferences? (Please list dates here.)

  • RTA09 (RDP09) June 28 - July 3 in Brasilia

What length do we want for the workshop? E.g. three full days, starting with an informal reception on the day before.

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!