Difference between revisions of "Termination Competition 2014 Registration"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| Line 2: | Line 2: | ||
== Procedure == | == Procedure == | ||
| − | + | Registration (by June 15) | |
| − | * | + | * get an account on starexec |
| − | * send to the organizer, in email, the solver | + | * send to the organizer, in email, the name of your solver and the categories that you want to enter |
| − | |||
| − | |||
| − | |||
| − | + | Solver pre-submission (by June 22) and submission (by July 1) | |
| + | |||
| + | * upload your solver to starexec. In your solver description on starexec, give: name of solver, name and affiliation of (main) author(s), URL for more detail. | ||
| + | * send to the organizer, in email, the solver-id and configuration-id for each category that you want to enter. You can send preliminary id pairs, you can update them until July 1. | ||
| + | |||
| + | Benchmark submission (by July 1) | ||
* upload benchmarks on starexec (in some subspace of your space) | * upload benchmarks on starexec (in some subspace of your space) | ||
* send to organizer, in email, the pathname of this subspace | * send to organizer, in email, the pathname of this subspace | ||
Revision as of 15:28, 12 June 2014
Procedure
Registration (by June 15)
- get an account on starexec
- send to the organizer, in email, the name of your solver and the categories that you want to enter
Solver pre-submission (by June 22) and submission (by July 1)
- upload your solver to starexec. In your solver description on starexec, give: name of solver, name and affiliation of (main) author(s), URL for more detail.
- send to the organizer, in email, the solver-id and configuration-id for each category that you want to enter. You can send preliminary id pairs, you can update them until July 1.
Benchmark submission (by July 1)
- upload benchmarks on starexec (in some subspace of your space)
- send to organizer, in email, the pathname of this subspace
Note: for the above to work, I need to have read access to your space (your solver, your benchmarks). One method for granting access is described here http://starexec.forumotion.com/t80-how-can-the-space-leader-use-non-public-solvers#189 , I hope there's a less roundabout way.
Participants
registrations, by (meta-)categories. last updated Thu Jun 12 12:22:31 CEST 2014
(This list to be edited by the competition organizer only. Please send email in case of any errors or omissions.)
- Termination of Term Rewriting (and Transition Systems)
- TRS Standard: TTT2
- SRS Standard: TTT2
- TRS Relative: TTT2
- SRS Relative: TTT2
- TRS Standard certified: TTT2, matchbox
- SRS Standard certified: TTT2, matchbox
- TRS Relative certified: TTT2
- SRS Relative certified: TTT2
- integer transition systems: T2
- Complexity Analysis of Term Rewriting
- Derivational Complexity - Full Rewriting: TCT, CaT
- Runtime Complexity – Full Rewriting: TCT, CaT
- Runtime Complexity – Innermost Rewriting: TCT
- Derivational Complexity - Full Rewriting certified: CaT
- Runtime Complexity – Full Rewriting certified: CaT
- Termination of Programming Languages
- C: AProVE, T2
- Verification of Termination of Term Rewriting
- TRS Standard: CeTA, Rainbow
- TRS Relative: CeTA
- TRS Innermost: CeTA
- TRS Outermost: CeTA
- TRS Conditional: CeTA
- TRS Context-Sensitive: CeTA
- SRS Standard: CeTA
- SRS Relative: CeTA
- Verification of Complexity Analysis of Term Rewriting:
- Derivational Complexity - Full Rewriting: CeTA
- Runtime Complexity – Full Rewriting: CeTA
Note on Certified Categories
- Participants of a certified category need to state which verifier they are targetting (it could be several).
- Writers of verifiers need to state the syntax and semantics of the certificates that they are accepting (e.g., by publishing their verifier specification and/or implementation, with exact version information)
- CeTA will use version 2.15, see http://cl-informatik.uibk.ac.at/software/ceta/
Nothing
(nothing here, except "Four or more headings cause a table of contents to be generated automatically.")
