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.


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:  

Hugo Herbelin    INRIA Futurs   France
Eelco Visser    Universiteit Utrecht    The Netherlands


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


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


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


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


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


Gopal Gupta    University of Texas   USA
Ashish Tiwari SRI International   USA