Section: Other Grants and Activities
IST-FET Global Computing project MIKADO
The participants in the Mikado project are INRIA ( Sardes project, Rhône-Alpes, and Mimosa ), acting as the coordinator, France Télécom R&D Grenoble, and the universities of Sussex, Lisbon, Florence and Turin. The objectives of the Mikado project are to study programming models for distributed and mobile applications, the study of related specification and analysis formalisms, and the design of relevant programming constructs and of corresponding prototypical virtual machines. This project ended in April 2005.
IST-FET Global Computing project PROFUNDIS
In this project our partners are KTH Stockholm (coordinator), the Scientific and Technological University of Lisbon, and the University of Pisa. Its objectives are the study of proof techniques (logics, behavioural equivalences, type systems) for mobile systems. This project ended in April 2005.