From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 97EE9BBAF for ; Mon, 23 Jun 2008 22:32:45 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAOSkX0iMTnQn/2dsb2JhbACyKg X-IronPort-AV: E=Sophos;i="4.27,692,1204498800"; d="scan'208";a="14310517" Received: from athena.risc.uni-linz.ac.at (HELO smtpauthhost.risc.uni-linz.ac.at) ([140.78.116.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 23 Jun 2008 22:32:45 +0200 Received: from [193.170.38.20] (sombrero.risc.uni-linz.ac.at [193.170.38.20]) (authenticated bits=0) by smtpauthhost.risc.uni-linz.ac.at (8.12.3/8.12.3/Debian-7.2) with ESMTP id m5NKWijU022597 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO) for ; Mon, 23 Jun 2008 22:32:44 +0200 Message-ID: <486008C1.6050703@risc.uni-linz.ac.at> Date: Mon, 23 Jun 2008 22:34:09 +0200 From: Temur Kutsia User-Agent: Thunderbird 2.0.0.14 (Windows/20080421) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: RTA 2008 - Call for participation Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; rewriting:01 ifip:01 rewriting:01 synthesis:01 logics:01 unification:01 higher-order:01 categorical:01 semantics:01 synthesis:01 rwth:01 aachen:01 politecnica:01 politecnica:01 rusinowitch:01 [Apologies if you receive multiple copies] ******************************************************** * CALL FOR PARTICIPATION * * * * RTA 2008 * * Rewriting Techniques and Applications * * 19th International Conference * * * * Castle of Hagenberg, Austria * * * * July 15-17, 2008. Workshops July 14, July 18 * * http://www.risc.uni-linz.ac.at/conferences/rta2008/ * * * ******************************************************** REGISTRATION http://www.risc.uni-linz.ac.at/conferences/rta2008/registration.html -------------------------------------------------------------------- LOCATION, TRAVEL, ACCOMMODATION (Updated): http://www.risc.uni-linz.ac.at/conferences/rta2008/location.html -------------------------------------------------------------------- IMPORTANT DATES: Early registration deadline: June 30, 2008 Pre-conference workshops: July 14, 2008 Conference: July 15-17, 2008 Post-conference workshops: July 18, 2008 IFIP WG 1.6 meeting: July 18, 2008 -------------------------------------------------------------------- The 19th International Conference on Rewriting Techniques and Applications (RTA 2008) is organised as part of the RISC Summer 2008, which comprises five conferences, five workshops and the Training School in Symbolic Computation, and is followed by the 3rd International School on Rewriting in Obergurgl. RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to): * Applications: case studies; analysis of cryptographic protocols; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; program transformation; * Foundations: matching and unification; narrowing; completion techniques; strategies; rewriting calculi, constraint solving; tree automata; termination; combination; * Frameworks: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; constrained rewriting/deduction; categorical and infinitary rewriting; integration of decision procedures; * Implementation: implementation techniques; parallel execution; rewrite tools; termination checking; * Semantics: equational logic; rewriting logic; rewriting models of programs. INVITED TALKS: * Véronique Cortier (LORIA, CNRS, Nancy). Verification Techniques for Cryptographic Protocols. * Thomas Hillenbrand (MPI, Saarbrücken). Fast Equational Reasoning with Waldmeister. * Albert Rubio (UPC, Barcelona). Present and Future of Proving Termination of Rewriting. INVITED TUTORIAL: * Erich Kaltofen (North Carolina State University). The algebraic Synthesis of Algorithms. The complete program is available at http://www.risc.uni-linz.ac.at/conferences/rta2008/program.html PROGRAMME COMMITTEE CHAIR: * Andrei Voronkov University of Manchester http://www.voronkov.com/ PROGRAMME COMMITTEE: * Maribel Fernández King's College London * Neil Ghani University of Strathclyde * Jürgen Giesl RWTH Aachen * Guillem Godoy Universidad Politécnica de Cataluña * Jean Goubault-Larrecq ENS Cachan * Tetsuo Ida University of Tsukuba * Claude Kirchner INRIA * Konstantin Korovin University of Manchester * Temur Kutsia Johannes Kepler University Linz * Aart Middeldorp University of Innsbruck * Paliath Narendran SUNY at Albany * Robert Nieuwenhuis Universidad Politécnica de Cataluña * Michaël Rusinowitch INRIA * Aaron Stump Washington University in St. Louis * Jean-Marc Talbot Université de Provence * Yoshihito Toyama Tohoku University * Ralf Treinen Université Paris Diderot * Andrei Voronkov University of Manchester * Hans Zantema Technische Universiteit Eindhoven GENERAL CHAIR: * Bruno Buchberger Johannes Kepler University Linz ORGANISING COMMITTEE CHAIR: * Temur Kutsia Johannes Kepler University Linz