[Termtools] Termination Competition 2015: New integer C category accepted

[Thomas Ströder]

Dear all,

Our proposal for a new category on C integer programs at the Termination
Competition 2015
(http://www.termination-portal.org/wiki/Termination_Competition_2015,
affiliated with CADE, http://conference.mi.fu-berlin.de/cade-25/home)
has been accepted. Syntax and semantics for this new category can be
found here: http://www.termination-portal.org/wiki/C_Integer_Programs

You are cordially invited to participate and to submit termination
problems (deadline for tool registration is today, problem submission in
one week and final submission of tools in two weeks)!

Best regards,

  Thomas


-- 
Thomas Ströder        mailto:stroeder at informatik.rwth-aachen.de
LuFG Informatik 2     http://verify.rwth-aachen.de/stroeder
RWTH Aachen           phone: +49 241 80-21241

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20150701/ea7d0f82/attachment.sig>