Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Call for Participation RTA'06
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Ralf Treinen <treinen@l...>
Subject: Call for Participation RTA'06
                  *                                 *
                  *  RTA'06  CALL FOR PARTICIPATION *
                  *                                 *


                           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
 * Foundations: matching and unification; narrowing; completion techniques;
   strategies; constraint solving; explicit substitutions; tree automata;
 * 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.

 * 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

 * 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.

  * Frank Pfenning, Carnegie Mellon University

 * 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

  * Ashish Tiwari, SRI International

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

 * July 10th, 2006  	Early Registration
 * July 21st, 2006 	Discounted Rate at the Conference Hotel
 * August 1st, 2006 	Regular Registration