TC SC Meeting WST09 - Revision history

J.waldmann: /* Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig */

2009-06-05T12:31:43Z

Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig

J.waldmann: /* Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig */

2009-06-03T20:02:54Z

Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig

J.waldmann: /* Items proposed for the agenda */

2009-06-03T20:01:01Z

Items proposed for the agenda

J.waldmann: /* Items adopted for inclusion in the agenda */

2009-06-03T19:58:16Z

Items adopted for inclusion in the agenda

J.waldmann at 17:22, 20 May 2009

2009-05-20T17:22:46Z

J.waldmann at 05:40, 20 May 2009

2009-05-20T05:40:48Z

J.waldmann at 11:01, 15 May 2009

2009-05-15T11:01:00Z

J.waldmann: 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....

2009-05-14T16:46:04Z

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....

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.)

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)

← Older revision		Revision as of 12:31, 5 June 2009
Line 15:		Line 15:

	* 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.		* 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.
		+
		+	(Report from WST business meeting, Thursday, 4 June 2009, Leipzig)
		+
		+	* result of election: the new TC SC consists of Jürgen Giesl, Albert Rubio, Johannes Waldmann. Aart Middeldorp was appointed as additional member. The SC will elect a chair, the chair will make further announcements.
		+
		+	* next WST will be held during FLoC 2010 (Edinburgh), workshop chair: Peter Schneider-Kamp
		+
		+	* the WST after that will be held in Obergurgl/Austria early 2012, workshop chair: Georg Moser.

	== Items proposed for the agenda ==		== Items proposed for the agenda ==

@@ Line 14: / Line 14: @@
 * 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
+* 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 ==

@@ Line 19: / Line 19: @@
 == Items proposed for the agenda ==
-(just make a short note here, and discuss elsewhere)
+(note added June 3: as the meeting did not address these points,
 * bylaws
 * TPDB
@@ Line 35: / Line 34: @@
 ** scoring
 * open source
 == Additional information ==

← Older revision		Revision as of 19:58, 3 June 2009
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 ==		== Items proposed for the agenda ==

@@ Line 1: / Line 1: @@
 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,
@@ Line 37: / Line 35: @@
 The SMTcomp/lib/exec talk by Morgan Deters
-will probably be held in the morning session on June 3.
+will be held in the morning session on June 3.
 Simon will present the new execution platform
-in a session during June 3.
+right before the SC meeting.
 The report on the competition 2008 will be given
-on June 4 or 5, to reach a larger  audience.
+on June 4, to reach a larger  audience.

← Older revision		Revision as of 11:01, 15 May 2009
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.