The Termination Competition

C. Marché, H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

20 Citations (Scopus)
107 Downloads (Pure)


Since 2004, a Termination Competition is organized every year. This competition boosted a lot the development of automatic termination tools, but also the design of new techniques for proving termination. We present the background, results, and conclusions of the three first editions, and discuss perspectives and challenges for the future.
Original languageEnglish
Title of host publicationProceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007) 26-28 June 2007, Paris, France
EditorsF. Baader
Place of PublicationBerlin, Germany
ISBN (Print)978-3-540-73447-5
Publication statusPublished - 2007
Eventconference; RTA 2007, Paris, France; 2007-06-26; 2007-06-28 -
Duration: 26 Jun 200728 Jun 2007

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conferenceconference; RTA 2007, Paris, France; 2007-06-26; 2007-06-28
OtherRTA 2007, Paris, France

Cite this