The team has three long-term visitors during Fall 2018. Elaine Pimentel visits from 1 October 2018 to 20 November 2018. Carlos Olarte visits from 1 October 2018 to 20 November 2018. Gopalan Nadathur visits from 15 October to 15 November 2018.
Map of rooms in the Alan Turing Building
This pdf locate rooms and teams within the Alan Turing building.
Gabriel Scherer joins team
I am delighted to report that Gabriel has been hired as an Inria CR within the Parsifal team. His position starts 1 September 2017.
Internships for 2014 available
Members of Parsifal have posted internships for 2014 (M2 level).
Lectures from the Paraty Proof Theory School
Elaine Pimentel just sent me some information about the Proof Theory School at Paraty, Brazil (August 27 – September 1, 2012). Topics related to Linear Logic, Ludics, and the Geometry of Interaction were presented. The pdf files of the lecture material are available.
Workshop dates: 15 & 16 Nov 2012
The Parisfial team is planning to host a meeting in the Alan Turing building (on the Polytechnique campus) on 15 and 16 November 2012 between us and our colleagues from Vienna. We hope to involve colleagues also from Innsbruck and PPS (Paris). Save the date. Local organizers: Kaustuv Chaudhuri and Stefan Hetzl.