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

PROGRAMME

09:00-10:00 Invited talk by Eelco Visser: Dynamic Rewrite Rules

10.00 - 10.30 coffee break

10.30 - 11.00 Thomas Ehrhard and Olivier Laurent: Embedding the finitary Pi-calculus in differential interaction nets
11.00 - 11.30 Caroline Priou: Non-deterministic Bohm trees
11.30 - 12.00 Barry Jay: Typing the pattern calculus

12.00 - 14.00 lunch break

14.00 - 14.30 Barry Jay: Quantifying the benefits of sub-typing
14.30 - 15.00 Nao Hirokawa and Aart Middeldorp : Uncurrying for termination
15.00 - 15.30 Shane O'Conchuir: Proving PSN by simulating non-cal substitution with local substitution

15.30 - 16.00 tea break

16.00 - 17.00 Invited talk by Hugo Herbelin: The duality of computation

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