*************************************
* *
* HOR'06 CALL FOR PARTICIPATION *
* *
*************************************
3rd International Workshop on Higher-Order Rewriting
Tuesday August 15, 2006
http://www.easychair.org/FLoC-06/HOR.htmlThe 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@...
Femke van Raamsdonk Vrije Universiteit, The Netherlands
femke@...
Mark-Oliver Stehr SRI International, USA
stehr@...
PROCEEDINGS:
The proceedings of HOR 2006 are published as
a technical report and will be made available
via the HOR web page.
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users
