Parsifal: News

Alexandre Viel, a student in MPRI, will be joining the Parsifal team in Spring 2008 as an intern working on Proving theorems about logic specifications.

Matteo Capelletti joined the Parsifal team as a post doc.

Miller and Strassburger will be attending the workshop Collegium Logicum 2007: Proofs and Structures in Vienna.

David Baelde and Alexis Saurin attend LPAR 2007 during 15-19 October 2007 in Yerevan, Armenia to present their papers.

Claudia Faggian gave a seminar on her recent work on proofs and interaction.

Parsifal was officially approved today as an INRIA project-team "équipes-projet-INRIA" (EPI).

Stéphane Lengrand starts his CNRS position with LIX today. He is also joining the Parsifal team.

Chuck Liang, Dale Miller, Vivek Nigam, and Alexis Saurin attended CSL 2007 in Lausanne to present their papers.

David Baelde presented a talk titled ``Model-checking sur des théories avec liaison de variable'' about his work on Bedwyr at the Gallium Seminar at INRIA - Rocquencourt.

Laurent Méhats starts as a post doc, funded by ANR Infer.

David Baelde attended CADE-21 and presented a systems description paper about the Bedwyr system for model checking.

David Baelde spoke at the ``Groupe de Travail: Sémantique et Réalisabilité'' (PPS, Chevaleret, UP7) on "Least and greatest fixed points in linear logic".

Stéphane Lengrand has qualified at rank 1 in the CNRS CR2 competition for competition 07/03. Thus it is likely that he will get CR2 position and join LIX in the Fall. He will probably join the Parsifal team formally: his research interests are clearly related to both Parsifal and to Logical.

Miller and Nigam attended the second annual meeting of the Mobius project in Dublin.

Alexis Saurin spoke at the ``Groupe de Travail: Sémantique et Réalisabilité'' (PPS, Chevaleret, UP7) on "Une nouvelle preuve de la Focalisation en LL: les graphes de Focalisation".

Baelde, Miller, and Tiu will be attending and speaking at a workshop on Mathematical Theories of Abstraction, Substitution and Naming in Computer Science at ICMS in Edinburgh.

The final presentation of Parsifal in front of the CP of INRIA Futur was held today. The CP recommends that Parsifal be officially made into an INRIA project.

Zach Snow from Gopalan Nadathur's team at the University of Minnesota visited as an intern from 15 May to 31 July 2007. He was funded in part by Slimmer and by NSF.

Nicolas Guenot will join Parsifal from March 5 to August 31 as a "stagiaire M2 MPRI". He will be advised by Lutz Strassburger.