TC SC Meeting WST09
From Termination-Portal.org
Revision as of 17:22, 20 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.
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)
- bylaws
- composition SC
- TPDB
- how to handle new submissions?
- benchmark categories?
- competition
- frequency
- disqualification
- new categories
- scoring
- open source
Additional information
The SMTcomp/lib/exec talk by Morgan Deters will be held in the morning session on June 3.
Simon will present the new execution platform right before the SC meeting.
The report on the competition 2008 will be given on June 4, to reach a larger audience.
