HOR 2006

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:

Applications: proof checking, theorem proving, generic programming, declarative programming, program transformation.
Foundations: pattern matching, unification, strategies, narrowing, termination, syntactic properties, type theory.
Frameworks: term rewriting, conditional rewriting, graph rewriting, net rewriting, comparisons of different frameworks.
Implementation: explicit substitution, rewriting tools, compilation techniques.
Semantics: semantics of higher-order rewriting, higher-order abstract syntax

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