HOR 18 (Oxford, FLoC 2018)- Special session in honour of Kris Rose

Stefano Guerrini <[email protected]> Thu, 5 Jul 2018 11:58:52 +0200

Newsgroups	gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory
Message-ID	<[email protected]>

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

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)
[email protected]