Section: Other Grants and Activities
Slimmer: INRIA funded international team
Slimmer stands for Sophisticated logic implementations for modeling and mechanical reasoning is an “Equipes Associées” with seed money from INRIA. This project is initially designed to bring together the Parsifal personnel and Gopalan Nadathur's Teyjus team at the University of Minnesota (USA). Separate NSF funding for this effort has also been awards to the University of Minnesota. We are planning to expand the scope of this project to include other French and non-French sites, in particular, Alwen Tiu (Australian National University), Elaine Pimentel (Universidade Federal de Minas Gerais, Brazil) and Brigitte Pientka (McGill University, Canada).
Mobius: an EU Integrated Project on Proof Carrying Code
Mobius stands for “Mobility, Ubiquity and Security” and is a Proposal for an Integrated Project in response to the call FP6-2004-IST-FETPI. This proposal involve numerous sites in Europe and was awarded in September 2005. This large, European based project is coordinated via INRIA-Sophia.
TYPES: coordinated action from IST
TYPES has been an European project (a coordination action from the IST program) aiming at developing the technology of formal reasoning based on type theory. The project brought together 36 universities and research centers from 8 European countries (France, Italy, Germany, Netherlands, United Kingdom, Sweden, Poland and Estonia). It was the continuation of a number of European projects since 1992. The funding from the last project enabled the maintaining of collaboration within the community by supporting an annual workshop, a few smaller thematic workshops, one summer school, and visits of researchers to one another's labs. The funding of the project ended in April 2008.
Hurbert Curien: PAI Amadeus on the “Realm of Cut Elimination”
The "PAI" Amadeus for collaboration between France and Austria has approved the grant "The Realm of Cut Elimination" in November 2006. This proposal has allowed for collaborations between the Parsifal team and the groups of Agata Ciabattoni at Technische Universität Wien (Austria) and Michel Parigot at CNRS-PPS.
Hurbert Curien: PAI Germaine De Stael “Deep Inference and the Essence of Proofs”
This collaboration between Paris and Bern (Germany) aims at exploring some questions in the structure and identity of proofs. People involved in the Paris area are Lutz Straßburger, Dale Miller, Alexis Saurin, David Baelde, Michel Parigot, Stéphane Lengrand, and Séverine Maingaud. People involved in Bern are Kai Brünnler, Richard McKinley, and Phiniki Stouppa.