WScT08

From Termination-Portal.org
Revision as of 13:08, 31 March 2008 by J.waldmann (talk | contribs) (New page: = Workshop on Certified Termination WScT08 = This will be a working meeting, with plenty of room for discussion. * location: Leipzig, Germany * date: May 17 - 19, 2008 * local organizer:...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Workshop on Certified Termination WScT08

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


Registration/Program

Please register (provisionally) by writing your name here and the title of the talk you want to give, or the topic you want to discuss. (Feel free to create wiki pages for your topic, and link from here.)

Local Organization

Details will be announced soon.

Note that WScT08 is right after 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.