Difference between revisions of "TC SC Meeting WST09"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| Line 1: | Line 1: | ||
The TC SC will hold session on Wednesday, June 3rd, 2009, | The TC SC will hold session on Wednesday, June 3rd, 2009, | ||
in Leipzig, during the Workshop on Termination. | in Leipzig, during the Workshop on Termination. | ||
| − | |||
| − | |||
The proposed agenda will be posted here, | The proposed agenda will be posted here, | ||
| Line 37: | Line 35: | ||
The SMTcomp/lib/exec talk by Morgan Deters | The SMTcomp/lib/exec talk by Morgan Deters | ||
| − | will | + | will be held in the morning session on June 3. |
Simon will present the new execution platform | Simon will present the new execution platform | ||
| − | + | right before the SC meeting. | |
| − | |||
| − | |||
The report on the competition 2008 will be given | The report on the competition 2008 will be given | ||
| − | on June 4 | + | on June 4, to reach a larger audience. |
Revision as of 17:22, 20 May 2009
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.
