WST09

From Termination-Portal.org
Revision as of 12:27, 31 March 2008 by J.waldmann (talk | contribs) (New page: The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany. * local organization: Alfons Geser and Johannes Waldmann, HTWK Leipzig * venue (to be confirmed): http://www.mml...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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)
  • 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.