Inria
/
Raweb 2006
Presentation of the Project mimosa
Logo Inria
mimosa
Migration et Mobilité: Sémantique et Applications
2006 Research Team Activity Report
Sophia Antipolis - Méditerranée
Theme :
COM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Semantics of mobility and security
Security of concurrent and mobile programs
Reactive and functional programming
Application Domains
Simulation
Embedded systems
Scripting
Web programming
Software
Mimosa softwares
Reactive programming
Functional programming
Web programming
Old softwares
New Results
Security
Reactive programming
Functional programming
Web programming
Contracts and Grants with Industry
CRE France-Télécom R&D
Other Grants and Activities
National initiatives
Dissemination
Seminars and conferences
Animation
Bibliography
Major publications
Publications of the year