TC SC Meeting WST09
From Termination-Portal.org
Revision as of 11:01, 15 May 2009 by J.waldmann (talk | contribs)
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)
Additional information
The SMTcomp/lib/exec talk by Morgan Deters will probably be held in the morning session on June 3.
The SC meeting will probably be in the afternoon session (on June 3).
The report on the competition 2008 will be given on June 4 or 5, to reach a larger audience.
