The Coq mailing list

[Femke van Raamsdonk <femke AT cs.vu.nl>]

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