Termination Competition 2010: Difference between revisions
m typo fixed |
J.waldmann (talk | contribs) provisional timeline |
||
| Line 9: | Line 9: | ||
Results will be available from the | Results will be available from the | ||
[http://termcomp.uibk.ac.at/ Termination Competition/Execution Platform]. | [http://termcomp.uibk.ac.at/ Termination Competition/Execution Platform]. | ||
Provisional timeline: | |||
* June 7th: Platform available for uploading and testing termination provers | |||
* X - 14 days: Deadline for requests for installing auxiliary software on the platform | |||
* X - 10 days: Deadline for termination problem submission | |||
* X - 2 days: Deadline for termination prover submission | |||
* X: competition starts | |||
* July 19th: Presentation of competition results at IJCAR | |||
Go here for general information on [[Termination_Competition|Termination Competitions]]. | Go here for general information on [[Termination_Competition|Termination Competitions]]. | ||
Revision as of 13:15, 18 May 2010
The 7th Termination Competition will be run during the International Joint Conference on Automated Reasoning in July 2010.
The competition will be hosted by the Computational Logic Research Group at the Institute of Computer Science of the University of Innsbruck, Austria.
Results will be available from the Termination Competition/Execution Platform.
Provisional timeline:
- June 7th: Platform available for uploading and testing termination provers
- X - 14 days: Deadline for requests for installing auxiliary software on the platform
- X - 10 days: Deadline for termination problem submission
- X - 2 days: Deadline for termination prover submission
- X: competition starts
- July 19th: Presentation of competition results at IJCAR
Go here for general information on Termination Competitions.