Jump to content

TC SC Meeting WST09

From Termination-Portal.org
Revision as of 16:46, 14 May 2009 by J.waldmann (talk | contribs) (New page: The TC SC will hold session on Wednesday, June 3rd, 2009, in Leipzig, during the Workshop on Termination. (Exact time of day will be announced after scheduling the regular workshop talks....)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The TC SC will hold session on Wednesday, June 3rd, 2009, in Leipzig, during the Workshop on Termination. (Exact time of day will be announced after scheduling the regular workshop talks.)

The proposed agenda will be posted here, so absent members can discuss and vote by email.

Only SC members can propose motions, and vote.


Items adopted for inclusion in the agenda

Items proposed for the agenda

(just make a short note here, and discuss elsewhere)

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=TC_SC_Meeting_WST09&oldid=790"