Search results

Page title matches

• News:Plan for Termination Competition 2012
  ...the news entry (e.g. today's date for current news, a time period for the competition, ....). .../termtools/2011-November/000876.html plan] to attach the 2012 Termination Competition as a satellite event to [http://ijcar.cs.manchester.ac.uk/ IJCAR].
  713 bytes (105 words) - 14:48, 3 December 2011

Page text matches

• News:Plan for Termination Competition 2012
  ...the news entry (e.g. today's date for current news, a time period for the competition, ....). .../termtools/2011-November/000876.html plan] to attach the 2012 Termination Competition as a satellite event to [http://ijcar.cs.manchester.ac.uk/ IJCAR].
  713 bytes (105 words) - 14:48, 3 December 2011
• Termination Competition 2014
  In 2014, the Termination Competition will be part of the [http://vsl2014.at/olympics/ FLoC Olympic Games]. ...ttp://nfa.imn.htwk-leipzig.de/termcomp-2014/competition/23]. [[Termination Competition 2014 Questionnaire]]. Also, check the mailing list [http://lists.lri.fr/pip
  6 KB (942 words) - 13:45, 11 October 2015
• Termination Competition 2017
  ...Deduction (FSCD)] and it will take place "live" during the conference. The competition will be run on the [http://www.starexec.org/ StarExec platform]. * Competition: September 5-6, 2017
  7 KB (962 words) - 08:48, 11 June 2018
• Termination and Complexity Competition 2016
  ...entation of their tool during the competition session at the workshop. The competition will be run on the [http://www.starexec.org/ StarExec platform]. * Competition: September 6, 2016 (live data and results: [[Termination_Competition_2016_D
  7 KB (1,056 words) - 21:06, 5 September 2016
• Termination Competition 2024
  The Termination and Complexity Competition (termCOMP) 2024 will be affiliated with [https://merz.gitlabpages.inria.fr/ The competition will be run on the [http://www.starexec.org/ StarExec platform].
  6 KB (886 words) - 15:59, 15 April 2024
• Termination Competition 2015
  ...ition ([http://lists.lri.fr/pipermail/termtools/2015-June/000984.html Call for Participation]) * [http://nfa.imn.htwk-leipzig.de/termcomp-2015/competitions/4 Competition Categories] (at least two participants each)
  9 KB (1,240 words) - 11:55, 6 August 2015
• Termination Competition 2018
  ...he [https://www.floc2018.org/ Federated Logic Conference (FLOC 2018)]. The competition will be run on the [http://www.starexec.org/ StarExec platform]. * Competition: July 13-14, 2018
  7 KB (1,049 words) - 09:55, 12 June 2020
• Termination Competition 2019
  In 2019, the Termination and Complexity Competition will be affiliated with [https://tacas.info/toolympics.php Toolympics], The competition will be run on the [http://www.starexec.org/ StarExec platform],
  7 KB (1,068 words) - 09:25, 12 June 2020