News

There was a small workshop on proof theory in Paris today: "Paris-Vienne".

Elaine Pimentel spends the month collaborating at LIX. She arrives here after presenting a paper at LPAR'05.

Jim Lipton visits LIX and gives a talk.

Lutz Strassburger starts his CR position in the Parsifal project today.

A final version of the Parsifal proposal was submitted for external review.

A proposal to the FAST PAI has been submitted today by Stephan Merz and Rajeev Gore (principals) and Dale Miller to link the QSL group and Parsifal to a team of researchers at ANU (including Alwen Tiu). (Feb 2006: not accepted.)

Dale Miller spends a week visiting Minnesota for collaborations.

Parsifal is approved as a PCRI project.

Parsifal now has an official spot on the INRIA web site.

Mohammad Mousavi visited and spoke. We are looking forward to collaborations with him on operational semantics topics.

Alwen Tiu has received a 5-year research position at the Australian National University in Canberra. He'll be working in the Automated Reasoning Group within the Computer Science Department.

Miller, Nadathur, and Tiu attend the MoVeLog'05 (Mobile Code Safety and Program Verification Using Computational Logic Tools) meeting in Barcelona.

There is the kickoff meeting for the Mobius project in Sophia. Joelle is planning to attend the meeting to represent the Parsifal team.

Andrew Gacek is a PhD student at the University of Minneasota who is working with Gopalan Nadathur. He will be visiting us during the week 26-30 September. He gave a talk at the WIPS 2005 workshop on ``Explicit Substitutions through the Eyes of the Suspension Calculus''.

Chuck Liang is applying to his university for sabbatical leave during Fall 2006 to be in the Parsifal project at LIX.

Miller presented the proposal for Parsifal at the CP of INRIA Futurs in Lille. Slides for the presentation are available. The CP recommends that Parsifal moves to the next phase of developing the proposal (discussions with internal evaluators).

Robin Milner will be giving three days of talks in Paris (5-7 September 2005) on bigraphs.

Kevin Watkins plans to join the Parsifal team as an INRIA post-doc on 19 December 2005.

Lutz Strassburger has accepted a CR2 position to join the Parsifal team at INRIA Futurs.

WIPS2005: Workshop on the Implementation of Proof Search, will be held at the Digital Technology Center, University of Minnesota. Organizers: Andrew Gacek and Gopalan Nadathur.

Second Workshop on the Rho-Calculus will be held at LIX.

George Necula will visit today and may give a talk titled The Open Verifier Framework for Building Foundational Verifiers.

Jamie Gabbay will visit today and may give a talk.

Mila Majster-Cederbaum starts a 6 week visit to LIX.

Brigitte Pientka will be visiting LIX for some of this week.

Parisfal will has two new members. Joëlle Despeyroux is joining as a permanent member, although she will maintain her main office at INRIA-Sophia. Claudia Faggian will join as a frequent visitor during May and June 2005. She will use room 00-2029 as her office.

We learn today that Alexis Saurin has his paper accepted for LICS 2005.

Alberto Momigliano and Alwen Tiu will be visiting today. Alberto will give a talk. Alwen will stay another day for discussions.

Prof Kazunori Ueda (Waseda University, Tokyo) will be visiting LIX today.

Axelle and Alexis are in India for a School in Security. Both are staying on in India for more time for activities.

It is confirmed today that Parisfal will receive funding from Égide within the Programme Picasso 2005. The title of this PAI ("les programmes d'actions intégrées") is ``Integrating Proof Theoretic techniques and Semantic Tools in Proof Carrying Code and Validation and Analysis of Declarative code'' and is between Parsifal and Comete at INRIA Futurs and a team at the Universidad Politècnica de Madrid, coordinated by Jim Lipton. Specifics for this project can be found under "anexo 1" for "Acciones Integradas Hispano-Francesas" here.