Elaine Pimentel starts her 6 week visit to LIX today.
Category: Visitors
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 …
- 1
- 2