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 Dale Miller as PIs was just accepted by the Canadian government and will be funded for the maximum amount of 150,000 CAD for three years. Other collaborators on this project include Prof. Frank Pfenning of Carnegie Mellon University and Prof. Gopalan Nadathur of the University of Minnesota, USA.
