[From nobody Fri Dec 18 03:08:14 2009 Return-Path: <giesl@informatik.rwth-aachen.de> X-Sieve: cmu-sieve 2.0 X-IAI-Env-From: <giesl@informatik.rwth-aachen.de> : [131.220.8.23] Received: from mandos.iai.uni-bonn.de (mandos.iai.uni-bonn.de [131.220.8.23]) by postfix.iai.uni-bonn.de (Postfix) with ESMTP id 274CC5C82E for <jv@iai.uni-bonn.de>; Thu, 17 Dec 2009 12:07:04 +0100 (MET) (envelope-from giesl@informatik.rwth-aachen.de) (envelope-to jv@iai.uni-bonn.de) (1) (internal use: ta=0, tu=1, te=0, am=-, au=-) X-IAI-Env-From: <giesl@informatik.rwth-aachen.de> : [127.0.0.1] Received: from localhost (localhost [127.0.0.1]) by mandos.iai.uni-bonn.de (Postfix) with ESMTP id 165AF1BDA for <jv@iai.uni-bonn.de>; Thu, 17 Dec 2009 12:07:04 +0100 (MET) (envelope-from giesl@informatik.rwth-aachen.de) (envelope-to jv@iai.uni-bonn.de) (1) Received: from mandos.iai.uni-bonn.de ([127.0.0.1]) by localhost (mandos.iai.uni-bonn.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id fDMBprxOPQSZ for <jv@iai.uni-bonn.de>; Thu, 17 Dec 2009 12:06:20 +0100 (MET) X-IAI-Env-From: <giesl@informatik.rwth-aachen.de> : [141.76.75.5] Received: from mail.tcs.inf.tu-dresden.de (mail.tcs.inf.tu-dresden.de [141.76.75.5]) by mandos.iai.uni-bonn.de (Postfix) with ESMTP id F2F8E1BC4 for <jv@iai.uni-bonn.de>; Thu, 17 Dec 2009 12:06:19 +0100 (MET) (envelope-from giesl@informatik.rwth-aachen.de) (envelope-to jv@iai.uni-bonn.de) (1) Received: from mx.tcs.inf.tu-dresden.de (mx.tcs.inf.tu-dresden.de [141.76.75.4]) by mail.tcs.inf.tu-dresden.de (Sun Java System Messaging Server 6.1 HotFix 0.06 (built Nov 11 2004)) with ESMTPS id <0KUS006DLMTOUZ10@mail.tcs.inf.tu-dresden.de> for jv@iai.uni-bonn.de (ORCPT voigt@tcs.inf.tu-dresden.de); Thu, 17 Dec 2009 12:05:51 +0100 (MET) Received: from mta-1.ms.rz.rwth-aachen.de (mta-1.ms.rz.RWTH-Aachen.DE [134.130.7.72]) by mx.tcs.inf.tu-dresden.de (8.14.2/8.14.2/Debian-2build1) with ESMTP id nBHB5f0N005509 for <voigt@tcs.inf.tu-dresden.de>; Thu, 17 Dec 2009 12:05:46 +0100 Received: from ironport-out-2.rz.rwth-aachen.de ([134.130.5.41]) by mta-1.ms.rz.RWTH-Aachen.de (Sun Java(tm) System Messaging Server 6.3-7.04 (built Sep 26 2008)) with ESMTP id <0KUS0023BMTHSD70@mta-1.ms.rz.RWTH-Aachen.de> for voigt@tcs.inf.tu-dresden.de; Thu, 17 Dec 2009 12:05:41 +0100 (CET) Received: from relay-1.ms.rz.rwth-aachen.de (HELO relay.rwth-aachen.de) ([134.130.7.74]) by ironport-in-2.rz.rwth-aachen.de with ESMTP; Thu, 17 Dec 2009 12:05:41 +0100 Received: from [137.226.194.44] (hermes.informatik.RWTH-Aachen.DE [137.226.194.44]) by relay.rwth-aachen.de (8.13.8+Sun/8.13.8/1) with ESMTP id nBHB5fuG002892; Thu, 17 Dec 2009 12:05:41 +0100 (CET) Date: Thu, 17 Dec 2009 12:05:40 +0100 From: Juergen Giesl <giesl@informatik.rwth-aachen.de> Subject: Termination Competition 2009 live on the web! In-reply-to: <4B068EF3.7090801@informatik.rwth-aachen.de> To: termtools@futurwww.lri.fr, Janis Voigtlaender <voigt@tcs.inf.tu-dresden.de>, color@loria.fr, rewriting@listes.ens-lyon.fr, TERMCOMP SC <terminationcompetitionsc@lists.rwth-aachen.de>, Danny De Schreye <Danny.DeSchreye@cs.kuleuven.be>, Mike Codish <mike.codish@gmail.com>, Etienne Payet <etienne.payet@univ-reunion.fr>, fausto.spoto@univr.it, Geoff Sutcliffe <geoff@cs.miami.edu>, Samir Genaim <genaim@gmail.com>, elvira@sip.ucm.es, costa-core@lml.ls.fi.upm.es, german@fi.upm.es, Aprove <aprove@i2.informatik.rwth-aachen.de>, A Serebrenik <aserebre@win.tue.nl>, Byron Cook <bycook@microsoft.com>, podelski@informatik.uni-freiburg.de, Andreas Abel <abel@informatik.uni-muenchen.de>, ndmitchell@gmail.com, Aaron Stump <astump@acm.org>, Markus Aderhold <aderhold@inferenzsysteme.informatik.tu-darmstadt.de>, Christoph Walther <Chr.Walther@informatik.tu-darmstadt.de>, Jean-Yves.Marion@loria.fr, Isabelle Gnaedig <Isabelle.Gnaedig@loria.fr>, Dieter Hofbauer <dieter_hofbauer@web.de>, Matthias Raffelsieper <M.Raffelsieper@tue.nl>, Stephan Falke <spf@cs.unm.edu> Message-id: <4B2A1084.4010204@informatik.rwth-aachen.de> MIME-version: 1.0 Content-type: text/plain; charset=ISO-8859-1 Content-transfer-encoding: 7BIT X-IronPort-AV: E=Sophos;i="4.47,411,1257116400"; d="scan'208";a="20561151" X-Enigmail-Version: 0.95.7 X-Scanned-By: MIMEDefang 2.63 on 141.76.75.4 References: <4B068EF3.7090801@informatik.rwth-aachen.de> User-Agent: Thunderbird 2.0.0.23 (X11/20090817) X-Spam-Level: at mandos.iai.uni-bonn.de X-Spam-Score: 0.9 at mandos.iai.uni-bonn.de X-Spam-Status: No, score=0.91 tagged_above=9999.9 required=9999.9 tests=[IAI_10183j=0.5, SUBJECT_FUZZY_TION=0.41] X-Spam-Report: namo@mandos.iai.uni-bonn.de pronounced judgment in matters of spam: Final score: 0.9 points pts rule ------------description--------------------------------------- 0.4 SUBJECT_FUZZY_TION Attempt to obfuscate words in Subject: 0.5 IAI_10183j BODY: IAI_10183j If you have any questions, see https://mailbox.iai.uni-bonn.de/anti.html X-Virus-Scanned: amavisd-new (Kater5) at mandos.iai.uni-bonn.de Termination Competition 2009 December 16-20 The annual termination competition has started today. The progress of the competition can be seen "live" on the web at http://termcomp.uibk.ac.at/termcomp/competition/categoryList.seam?competitionId=101722&cid=51 As usual, the most powerful termination provers compete against each other in this competition. The competition has several categories for termination analysis of different programming paradigms, including * Term Rewriting * Java Bytecode * Haskell * Prolog * etc. Moreover, there are competitions on * certified termination analysis and on * automated complexity analysis. More information can be found at http://termcomp.uibk.ac.at/status/rules.html ]