Difference between revisions of "TC SC Meeting WST09"
From Termination-Portal.org
Jump to navigationJump to searchJ.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....) |
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) | ||
| + | |||
| + | == 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. | ||
Revision as of 11:01, 15 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)
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.
