Difference between revisions of "Termination Competition Steering Committee"

From Termination-Portal.org
Jump to navigationJump to search
Line 34: Line 34:
 
** http://lists.lri.fr/pipermail/termtools/2008-October/000518.html
 
** http://lists.lri.fr/pipermail/termtools/2008-October/000518.html
 
** http://lists.lri.fr/pipermail/termtools/2008-October/000562.html
 
** http://lists.lri.fr/pipermail/termtools/2008-October/000562.html
 +
 +
* What about submission of (late/secret) problems? (29-Oct-2008)
 +
** http://lists.lri.fr/pipermail/termtools/2008-October/000566.html
  
 
= Earlier Votes =
 
= Earlier Votes =

Revision as of 18:55, 29 October 2008

The basic ideas are:

  • one research group hosts (implements, executes) the competition
  • a committee, representing all research groups, influences the design and the running of the competition.

Currently, the Competition is hosted by the Computational Logic Research Group of the University of Innsbruck, Austria (Chair: Aart Middeldorp).

The Competition Committee currently (as of 26 July 2007) consists of Juergen Giesl, Dieter Hofbauer, Salvador Lucas, Aart Middeldorp, Olivier Pons, Johannes Waldmann (Chair), Hans Zantema.

Current Votes

(none)

Proposed Votes

The Competition Committee should vote on ... (give only some keywords here, link to separate page if necessary. Discussion shall be on termtools.)

Earlier Votes

There was no formal voting. These topics were discussed on the mailing list and no-one objected.

  • Are the categories LP and FP part of the upcoming competition?

(13-Oct-2008) http://lists.lri.fr/pipermail/termtools/2008-October/000519.html

YES.

  • Will there be a SRS-certified category?

(10-Oct-2008)

YES

  • Will certificates be accepted that are verifiable only with Coq-8.2beta4 (and not with 8.1)?

(10-Oct-2008) http://lists.lri.fr/pipermail/termtools/2008-October/000514.html

YES

Proposed Bylaws

The committee

  • elects one research group to host the Termination Competition (for some mutually agreeable range of time)
  • votes on design issues related to the Termination Competition (the Host of the competition tries to implement the design, within reason)
  • defines Categories (including problem selection, result evaluation) for Competition
  • reports on results of runs on Categories

Each research group that is interested in the competition, and has proven this interest by having actually taken part, sends one member into the Committee.

The Committee elects a Chair that mainly acts as a secretary for voting and reporting.

The committee can cast votes. Any committer member (mailing list member?) can propose a question for voting.

The question shall be discussed (for some reasonable time) on the mailing list, where input from all list members is welcome. The wiki pages can be used to record the status of discussion.

The Chair then formally announces a reasonable time range where committe members may express their vote (e.g. by emailing to the Chair).

The result of the vote is then announced on the mailing list and recorded on the Wiki page.