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 17: | Line 17: | ||
(just make a short note here, and discuss elsewhere) | (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 == | == Additional information == | ||
| − | + | ||
The SMTcomp/lib/exec talk by Morgan Deters | The SMTcomp/lib/exec talk by Morgan Deters | ||
will probably be held in the morning session on June 3. | will probably be held in the morning session on June 3. | ||
| − | The SC meeting will probably be in the afternoon session | + | Simon will present the new execution platform |
| + | in a session during June 3. | ||
| + | |||
| + | The SC meeting will probably be in the afternoon session on June 3. | ||
The report on the competition 2008 will be given | The report on the competition 2008 will be given | ||
on June 4 or 5, to reach a larger audience. | on June 4 or 5, to reach a larger audience. | ||
Revision as of 05:40, 20 May 2009
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)
- 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 probably be held in the morning session on June 3.
Simon will present the new execution platform in a session during 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.
