RTA 2010: July 11-13

Overview

RTA is the major conference on rewriting and covers all aspects related to rewriting such as termination, equational reasoning, theorem proving, Lambda calculus, higher-order rewriting, unification, verification, constraints, and software tools.

Call for Papers

Programme

Program Chairs

Christopher Lynch, Clarkson University, United States

Conference Chairs

Fairouz Kamareddine, Herriot-Watt University, United Kingdom

Workshop Chairs

Christopher Lynch, Clarkson U.

Program Committee:

Takahito Aoto, RIEC, Tohoku University, Japan
Hubert Comon-lundh, ENS Cachan and AIST, Japan
Dan Dougherty, Worcester Polytechnic Institute, United States
Gilles Dowek, Ecole polytechnique and INRIA, France
Rachid Echahed, CNRS, Laboratoire LIG, France
Santiago Escobar, Technical University of Valencia, Spain
Maribel Fernandez, King's College London, Dept. of Computer Science, United Kingdom
Guillem Godoy, Universitat Politècnica de Catalunya (UPC), Spain
Bernhard Gramlich, Technische Universitaet Wien, Austria
Patricia Johann, University of Strathclyde, United Kingdom
Fairouz Kamareddine, Heriot-Watt University, United Kingdom
Delia Kesner, PPS, CNRS and Université Paris 7, France
Georg Moser, University of Innsbruck, Austria
Hitoshi Ohsaki, National Institute of Advanced Industrial Science and Technology, Japan
Sophie Tison, University Lille 1 -LIFL-, France
Femke van Raamsdonk, Vrije Universiteit, Netherlands
Johannes Waldmann, HTWK Leipzig, FB IMN, Germany