[TYPES/announce] HOR 2006: call for participation

[Femke van Raamsdonk]

              *************************************
              *                                   *
              *  HOR'06   CALL FOR PARTICIPATION  *
              *                                   *
              *************************************

       3rd International Workshop on Higher-Order Rewriting

                   Tuesday August 15, 2006

            http://www.easychair.org/FLoC-06/HOR.html

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

INVITED TALKS:
* Hugo Herbelin  (INRIA Futurs)
   The duality of computation
* Eelco Visser  (University of Utrecht)
   Dynamic rewrite rules

TALKS:
* Thomas Ehrhard and Olivier Laurent
   Embedding the finitary Pi-calculus in differential interaction nets
* Caroline Priou
   Non-deterministic Bohm trees
* Barry Jay
   Typing the pattern calculus
* Barry Jay
   Quantifying the benefits of sub-typing
* Nao Hirokawa and Aart Middeldorp
   Uncurrying for termination
* Shane O'Conchuir
   Proving PSN by simulating non-cal substitution with local substitution

PROGRAM/ORGANIZING COMMITTEE:
   Delia Kesner         Universite Paris 7, France    kesner at pps.jussieu.fr
   Femke van Raamsdonk  Vrije Universiteit, The Netherlands  femke at cs.vu.nl
   Mark-Oliver Stehr    SRI International, USA            stehr at csl.sri.com

PROCEEDINGS:
   The proceedings of HOR 2006 are published as
   a technical report and will be made available
   via the HOR web page.