Abstract

IaCOP maintains the problems considered for the competition
of confluence tools. It allows the submission of new problems and
supports automatic tagging of problems with certain properties.
Problems can be filtered by boolean combinations of tags and the web
interface comes with a mechanism to select problems for competitions.

BibTeX

@inproceedings{CNHZNH-IWC12,
  author      = "Christian Nemeth and Harald Zankl and Nao Hirokawa",
  title       = "{IaCOP}: Interface for the Administration of {Cops}",
  booktitle   = "Proceedings of the 1st International Workshop on
                 Confluence",
  pages       = "21--24",
  year        = 2012
}