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....)
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)
