WST09

From Termination-Portal.org
Revision as of 09:52, 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.