Search results
From Termination-Portal.org
Jump to navigationJump to search
Page title matches
- ...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
- ...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
- 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/pip6 KB (942 words) - 13:45, 11 October 2015
- ...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, 20177 KB (962 words) - 08:48, 11 June 2018
- ...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_D7 KB (1,056 words) - 21:06, 5 September 2016
- 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) - 14:23, 8 May 2024
- ...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
- ...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, 20187 KB (1,049 words) - 09:55, 12 June 2020
- 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