[Termtools] Termination Portal

[Peter Schneider-Kamp]

Dear all,

should I interpret the lack of any feedback on my proposals
as silent consent or as lack of interest in the creation
of such a portal?

Best regards from Aachen,
Peter

Peter Schneider-Kamp schrieb:
> 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/psk
RWTH Aachen            phone: ++49 241 80-21211