Author's posts
Feb 17
Chuck Liang visits Parsifal in March-April
Prof. Chuck Liang of Hofstra University, USA, spends part of his sabbatical in the Parsifal team in March and April. He will arrive in Paris on 5 March.
Feb 17
Brigitte Pientka visits Parsifal / Funding success
Prof. Brigitte Pientka of McGill University, Canada, visits Parsifal and LIX during 21 – 24 February. She will give a talk on her POPL 2012 paper, “Programming with Binders and Indexed Data-types“. In related news, the PSR-SIIRI project “Promis: de la théorie des preuves à la pratique de la démonstration automatique” with Prof. Pientka and …
Feb 01
New site
Welcome to the new Parsifal web-site. Not everything from the old site has been transferred over yet, but the key bits are in place.
