News: archived from 2004

Today, a meeting at ENS Cachan of the Rossignol project.

We are currently voting on new logos.

The "Equipes Associées" called SLIMMER (Sophisticated logic implementations for modeling and mechanical reasoning) will be funded by INRIA starting 2005. This project is initially designed to bring together the Parsifal personnel and Gopalan Nadathur's Teyjus team at the University of Minnesota. Nadathur plans to request matching funds from NSF. We also hope to expand the scope of this project to include other French and non-French sites.

Some of us will be meeting with Etienne Lozes and Emmanuel Beffara at PPS on 9 Dec 2004 to discuss spatial and modal logics for the pi-calculus.

An application for a "Equipes Associées" to INRIA and Gopalan Nadathur's Teyjus team at the University of Minnesota was submitted today.

Parsifal was presented to the INRIA Futurs CP on 2 September 2004 as a possible new INRIA Team.