[Termtools] Termination Portal

[Peter Schneider-Kamp]

Dear all,

during the workshop we agreed that we should have a web site
with bibliography information on publications related to
termination analysis and with news about termination related events
(e.g. the workshops and the competitions).

Furthermore, I think this web site should also contain information
about researchers involved in termination research and about
available termination tools.

So my proposal would be to have a "termination portal" containing
all these things (or in the case of the workshop or the competition
probably only links to current and past workshops and competitions).

As I said during the WST business meeting, I would be willing to set
this up. For the SAT community, there is already a similar portal
available at http://satlive.org/

A (possibly incomplete and not neccessarily ordered) list of the
main menu items as I would imagine the portal web site:
* News:
  recent publications, upcoming events/deadlines
* Publications (or Bibliography):
  archive of publications on termination analysis
* Workshops    (or Events):
  link to current workshop web site and listing of previous editions
* Competitions:
  link to current and past competition web sites
* Tools:
  links and short descriptions of tools that analyze termination
  or use termination analyzers
* People       (or Researchers):
  list of researchers publishing and participating in the
  termination community

The submission of news and the addition/editing of bibliography
items and tools descriptions would, of course, be open to all
community members.

What do you think?

Best regards,
Peter
-- 
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik II     http://www-i2.informatik.rwth-aachen.de/~nowonder
RWTH Aachen            phone: ++49 241 80-21211