Difference between revisions of "Termination Competition 2012"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with "The Termination Competition 2012 is a satellite event of [http://ijcar.cs.manchester.ac.uk/ IJCAR] (June 26-July 1). The competition will be hosted on the Termcomp Platform a...")
 
Line 3: Line 3:
  
 
The competition will be hosted
 
The competition will be hosted
on the Termcomp Platform at Institute of
+
on the [http://termcomp.uibk.ac.at Termcomp Platform] at Institute of
 
Computer Science, University of Innsbruck,
 
Computer Science, University of Innsbruck,
 
Austria.
 
Austria.
Line 11: Line 11:
 
Important Dates
 
Important Dates
  
* Software requests
+
* Software requests:      June  1 2012, 13:01 CEST
* Problem submission
+
* Problem submission:  June 12 2012, 13:01 CEST
* Tool submission
+
* Tool submission:        June 19 2012, 13:01 CEST
* Competition start
+
* Competition start:      June 26 2012, 10:00 CEST
 +
 
 +
Further information can be found on the [http://termcomp.uibk.ac.at/2012/rules.html 2012 competition site of the Termcomp Platform].

Revision as of 15:52, 19 April 2012

The Termination Competition 2012 is a satellite event of IJCAR (June 26-July 1).

The competition will be hosted on the Termcomp Platform at Institute of Computer Science, University of Innsbruck, Austria.

Results will be presented during the conference.

Important Dates

  • Software requests: June 1 2012, 13:01 CEST
  • Problem submission: June 12 2012, 13:01 CEST
  • Tool submission: June 19 2012, 13:01 CEST
  • Competition start: June 26 2012, 10:00 CEST

Further information can be found on the 2012 competition site of the Termcomp Platform.