[TYPES/announce] HOR 18 (Oxford, FLoC 2018)- Special session in honour of Kris Rose

[Stefano Guerrini]

==================================================

The 9th Workshop on Higher-Order Rewriting
HOR 18

Affiliated with FSCD at FLOC 2018
Oxford, Saturday 7 July, 2018

Will be ended at 17:00 by a 

*******
****
****    Special Session in honour of Kris Rose
****
*******

----------------------------------------------------------------------

For more informations:

	http://lipn.univ-paris13.fr/HOR18

or

        https://lipn.univ-paris13.fr/HOR18/#to_rose

=====================================

Stefano Guerrini
Institut Galilée, Université Paris 13, Sorbonne Paris Cité
Laboratoire d'Informatique de Paris-Nord (LIPN), CNRS (UMR 7030)
stefano.guerrini at univ-paris13.fr