Category: Visitors

Elaine Pimentel visits for 6 weeks

Elaine Pimentel starts her 6 week visit to LIX today.

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.

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 …

Continue reading