From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 873EDBB84 for ; Mon, 26 Jun 2006 10:39:55 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k5Q8dtoS025749 for ; Mon, 26 Jun 2006 10:39:55 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA06153 for ; Mon, 26 Jun 2006 10:39:54 +0200 (MET DST) Received: from ariane.ens-cachan.fr (ariane.ens-cachan.fr [138.231.176.4]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k5Q8dsh2025735 for ; Mon, 26 Jun 2006 10:39:54 +0200 Received: from localhost (localhost [127.0.0.1]) by ariane.ens-cachan.fr (Postfix) with ESMTP id D5D8E517A4 for ; Mon, 26 Jun 2006 10:39:51 +0200 (CEST) Received: from ariane.ens-cachan.fr ([127.0.0.1]) by localhost (ariane [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 26314-09 for ; Mon, 26 Jun 2006 10:39:51 +0200 (CEST) Received: from olive.lsv.ens-cachan.fr (olive.lsv.ens-cachan.fr [138.231.81.248]) by ariane.ens-cachan.fr (Postfix) with ESMTP id BA3B451728 for ; Mon, 26 Jun 2006 10:39:51 +0200 (CEST) Received: from griotte.lsv.ens-cachan.fr (griotte [138.231.81.73]) by olive.lsv.ens-cachan.fr (Postfix) with ESMTP id AAFE178395 for ; Mon, 26 Jun 2006 10:39:51 +0200 (CEST) Received: (from treinen@localhost) by griotte.lsv.ens-cachan.fr (8.13.6/8.12.10/Submit) id k5Q8dpA3018729 for caml-list@inria.fr; Mon, 26 Jun 2006 10:39:51 +0200 Date: Mon, 26 Jun 2006 10:39:51 +0200 From: Ralf Treinen Message-Id: <200606260839.k5Q8dpA3018729@griotte.lsv.ens-cachan.fr> To: caml-list@inria.fr Subject: Call for Participation RTA'06 X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ens-cachan.fr X-Miltered: at nez-perce with ID 449F9D5B.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 449F9D5A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ralf:01 treinen:01 treinen:01 rewriting:01 cav:01 lics:01 rewriting:01 symbolic:01 synthesis:01 logics:01 unification:01 higher-order:01 categorical:01 compilation:01 semantics:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 *********************************** * * * RTA'06 CALL FOR PARTICIPATION * * * *********************************** http://www.easychair.org/FLoC-06/RTA.html Seattle, WA, USA August 12-14, 2006 Affiliated workshops Aug 11 & 15 The 17th International Conference on Rewriting Techniques and Applications (RTA'06) is organized as part of the Federated Logic Conference (FLoC), collocated with CAV, ICLP, IJCAR, LICS, SAT, and several affiliated workshops. 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; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; * Foundations: matching and unification; narrowing; completion techniques; strategies; constraint solving; explicit substitutions; tree automata; termination; * Frameworks: string, term, graph, and proof rewriting; lambda-calculus and higher-order rewriting; proof nets; constrained rewriting/deduction; categorical and infinitary rewriting; * Implementation: compilation techniques; parallel execution; rewrite tools; termination checking; * Semantics: equational logic; rewriting logic. INVITED TALKS: * Randy Bryant (jointly with LICS and SAT): Formal Verification of Infinite State Systems using Boolean Methods * Javier Esparza: Rewriting Models of Control-Flow * Juergen Giesl: Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages The complete program is available at http://www.easychair.org/FLoC-06/RTA-program.html AFFILIATES WORKSHOP * HOR'06: 3rd International Workshop on Higher-Order Rewriting * RULE'06: 7th International Workshop on Rule-Based Programming * UNIF'06: 20th International Workshop on Unification * WG1.6: Annual meeting of the IFIP Working Group 1.6 on Term Rewriting. * WRS'06: 6th International Workshop on Reduction Strategies in Rewriting and Programming * WST'06: 8th International Workshop on Termination Please refer to the RTA'06 web site for further information on the workshops. RTA'06 PROGRAM COMMITTEE CHAIR: * Frank Pfenning, Carnegie Mellon University RTA'06 PROGRAM COMMITTEE: * Zena Ariola, University of Oregon * Franz Baader, Technical University Dresden * Gilles Dowek, Ecole Polytechnique and INRIA * Guillem Godoy, Technical University of Catalonia * Deepak Kapur, University of New Mexico * Delia Kesner, University Paris 7 * Denis Lugiez, University of Provence * Claude Marche, University Paris-Sud * Jose Meseguer, University of Illinois at Urbana-Champaign * Frank Pfenning, Carnegie Mellon University (Chair) * Ashish Tiwari, SRI International * Yoshihito Toyama, Tohoku University * Eelco Visser, Utrecht University * Hans Zantema, Eindhoven University of Technology RTA'06 CONFERENCE CHAIR: * Ashish Tiwari, SRI International LOCATION, TRAVEL, ACCOMMODATION, AND REGISTRATION: RTA'06 will be part of the 2006 Federated Logic Conference (FLoC 2006) which will be held Augucst 10-22, 2006, at the Seattle Sheraton Hotel and Towers, in Seattle, Washington state, USA. For registration and more detailed information on travel consult http://www.easychair.org/FLoC-06/index.html DEADLINES * July 10th, 2006 Early Registration * July 21st, 2006 Discounted Rate at the Conference Hotel * August 1st, 2006 Regular Registration