HOR  2006

3rd International Workshop on Higher-Order Rewriting


Tuesday August 15, 2006          Sheraton, Seattle, WA



Topics - Call for Abstracts - Invited Speakers - Submissions - Program - Dates - Proceedings - Program/Organizing Committee - Local Arrangements



The aim of HOR is to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting.

HOR 2002 was part of FLoC 2002 in Copenhagen, Denmark.

HOR 2004 was part of the RDP 2004 in Aachen, Germany.

HOR 2006 is part of FLoC 2006 in Seattle, USA.


TOPICS

HOR 2006 is a forum to present work concerning all aspects of higher-order rewriting. The following is a non-exhaustive list of topics for the workshop:  
INVITED SPEAKERS

Hugo Herbelin    INRIA Futurs   France
Eelco Visser    Universiteit Utrecht    The Netherlands

SUBMISSIONS

Abstracts (between 2 and 5 pages) should be submitted via the submission web site.

PROGRAM

Available here.

DATES

New Submission Deadline: May 17, 2006
Notification: May 29, 2006
Final Version:   June 16, 2006

PROCEEDINGS

The proceedings of HOR 2006 will be published as technical report. They are also available here.

PROGRAM/ORGANIZING COMMITTEE

Delia Kesner    Université Paris 7   France
Mark-Oliver Stehr    SRI International   USA
Femke van Raamsdonk    Vrije Universiteit   The Netherlands

LOCAL ARRANGEMENTS

Gopal Gupta    University of Texas   USA
Ashish Tiwari SRI International   USA