Search results

• Termination Competition 2012
  is a satellite event of [http://ijcar.cs.manchester.ac.uk/ IJCAR] (June 26-July 1). on the [http://termcomp.uibk.ac.at Termcomp Platform] at Institute of
  718 bytes (88 words) - 18:11, 26 June 2012
• People:Harald Zankl
  |university= University of Innsbruck
  577 bytes (89 words) - 09:47, 18 December 2009
• Termination Competition 2010
  at the Institute of Computer Science of the University of Innsbruck, Austria.
  823 bytes (115 words) - 12:16, 29 June 2010
• Termination Competition 2013
  on the [http://termcomp.uibk.ac.at Termcomp Platform] at Institute of Computer Science, University of Innsbruck,
  691 bytes (87 words) - 15:34, 17 June 2013
• People:Christian Sternagel
  |university=University of Innsbruck
  634 bytes (95 words) - 12:30, 30 May 2014
• People:Cynthia Kop
  |university=University of Innsbruck
  645 bytes (98 words) - 20:19, 7 September 2013
• Tools:TCT
  |university=University of Innsbruck
  622 bytes (94 words) - 11:24, 16 April 2010
• Tools:CeTA
  |university=LFU Innsbruck |publication=[[Bibtex:TS09|Certification of Termination Proofs using CeTA]]
  894 bytes (133 words) - 10:25, 6 September 2016
• Tools:IsaFoR
  |longname=Isabelle Formalization of Rewriting |university=LFU Innsbruck
  689 bytes (101 words) - 12:44, 9 April 2010
• News:Complexity Wiki Moved
  the University of Innsbruck.
  708 bytes (105 words) - 11:47, 8 June 2012
• Termination Competition
  During the 90's a number of new, powerful termination methods was developed. Thus, at the beginning of the millennium
  7 KB (901 words) - 10:34, 20 September 2024
• Termination Competition Steering Committee
  ...e, representing all research groups, influences the design and the running of the competition. consists of
  3 KB (403 words) - 10:30, 21 October 2019
• Termination and Complexity Competition 2016
  ...ace "live" during the workshop. Participants may give a short presentation of their tool during the competition session at the workshop. The competition * Updates of Registered Tools: August 21, 2016
  7 KB (1,056 words) - 21:06, 5 September 2016
• Termination Competition 2017
  * Updates of Registered Tools: August 21, 2017 ...contains several categories for termination and complexity from the areas of term rewriting (all categories with HO/FO-TRSs, with- or without strategies
  7 KB (962 words) - 08:48, 11 June 2018
• Termination Competition 2024
  The final run and a presentation of the final results will be live at IJCAR. * July 5: Presentation of the results at IJCAR
  6 KB (902 words) - 13:34, 5 July 2024
• Termination Competition 2021
  The final run and a presentation of the final results will be live at CADE. * Presentation of Results: July 15
  7 KB (1,024 words) - 06:44, 14 July 2021
• Termination Competition 2023
  The final run and a presentation of the final results will be live at WST. ...enchmarks are encouraged (but not required) to give a 5-20min presentation of their contributions at WST 2023.
  6 KB (954 words) - 08:32, 12 September 2023
• Termination Competition 2014
  In 2014, the Termination Competition will be part of the [http://vsl2014.at/olympics/ FLoC Olympic Games]. * registration of tools: June 15
  6 KB (942 words) - 13:45, 11 October 2015
• Termination Competition 2020
  * Presentation of Results: July 4 ...contains several categories for termination and complexity from the areas of term rewriting (all categories with HO/FO-TRSs, with- or without strategies
  7 KB (999 words) - 09:55, 3 July 2020
• WST2013
  ...ry or derived. The workshop also provides a ground for cross-fertilisation of ideas from term rewriting and from the different programming language commu ...on Foundational and Practical Aspects of Resource Analysis]. The sessions of WST and FOPARA will be interleaved, this way facilitating the interaction b
  5 KB (703 words) - 11:58, 26 August 2013

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)