Difference between revisions of "TC SC Meeting WST09"

Revision as of 19:58, 3 June 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.

there shall be a competition in November 2009. Rene Thiemann and Olivier Pons will work out a proposal for selecting benchmarks of problems.

the competition in 2010 shall be run during IJCAR. Jürgen Giesl is resposible for coordination with conference organizers

the previous SC is dissolved. The next SC will consist of three persons to be determined by election

(will take place June 4, afternoon). Two additional committee members will be appointed later.

(just make a short note here, and discuss elsewhere)

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.

@@ Line 8: / Line 8: @@
-== Items adopted for inclusion in the agenda ==
+== Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig ==
+* there shall be a competition in November 2009. Rene Thiemann and Olivier Pons will work out a proposal for selecting benchmarks of problems.
+* the competition in 2010 shall be run during IJCAR. Jürgen Giesl is resposible for coordination with conference organizers
+* the previous SC is dissolved. The next SC will consist of three persons to be determined by election
+(will take place June 4, afternoon). Two additional committee members will be appointed later.
 == Items proposed for the agenda ==