Search results

From Termination-Portal.org
Jump to navigationJump to search
  • 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
  • at the Institute of Computer Science of the University of Innsbruck, Austria.
    823 bytes (115 words) - 12:16, 29 June 2010
  • |university= University of Innsbruck
    577 bytes (89 words) - 09:47, 18 December 2009
  • 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
  • |university=University of Innsbruck
    634 bytes (95 words) - 12:30, 30 May 2014
  • |university=University of Innsbruck
    645 bytes (98 words) - 20:19, 7 September 2013
  • |university=University of Innsbruck
    622 bytes (94 words) - 11:24, 16 April 2010
  • |university=LFU Innsbruck |publication=[[Bibtex:TS09|Certification of Termination Proofs using CeTA]]
    894 bytes (133 words) - 10:25, 6 September 2016
  • |longname=Isabelle Formalization of Rewriting |university=LFU Innsbruck
    689 bytes (101 words) - 12:44, 9 April 2010
  • the University of Innsbruck.
    708 bytes (105 words) - 11:47, 8 June 2012
  • During the 90's a number of new, powerful termination methods was developed. Thus, at the beginning of the millennium
    7 KB (899 words) - 13:45, 16 January 2024
  • ...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
  • ...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
  • * 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
  • The final run and a presentation of the final results will be live at IJCAR. ...contains several categories for termination and complexity from the areas of term rewriting (all categories with HO/FO-TRSs, with- or without strategies
    6 KB (872 words) - 09:25, 26 January 2024
  • 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
  • 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
  • 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
  • * 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
  • ...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
  • a few weeks/days before the presentation of results, at the discretion of the organizer, Akihisa Yamada.
    7 KB (1,068 words) - 09:25, 12 June 2020
  • * Updates of Registered Tools: June 29, 2018 ...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 (1,049 words) - 09:55, 12 June 2020
  • * Two special medals go to the best two teams in advancing the state of the art. The final run and a presentation of the final results will be live at FLoC.
    8 KB (1,232 words) - 14:09, 7 November 2022
  • Final [http://nfa.imn.htwk-leipzig.de/termcomp-2015/registered/Y2015 list of participants] ...ined results presentation may not work initially. That's why here's a list of jobs for individual categories (to be extended as we move forward)
    9 KB (1,240 words) - 11:55, 6 August 2015
  • August 24-25, 2023, [https://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria. [https://goo.gl/maps/2Z2ekhg4ftbnLj5o7 (Google As part of [http://cl-informatik.uibk.ac.at/events/osr-2023/ Obergurgl Summer on Rewri
    11 KB (1,420 words) - 17:02, 17 August 2023