Inria / Raweb 2005
Project: mimosa

Migration et Mobilité: Sémantique et Applications

• Members
• Overall Objectives
• Scientific Foundations
  • Semantics of mobility and security
  • Reactive and Functional programming
• Application Domains
  • Simulation
  • Embedded systems
  • Scripting
  • Web servers and Web proxies
• Software
  • Mimosa Softwares
  • Reactive Programming
  • Functional programming
  • Old softwares
• New Results
  • Semantics of mobility
  • Security
  • Reactive programming
  • Functional programming
• Contracts and Grants with Industry
  • JSM
• Other Grants and Activities
  • National initiatives
  • European initiatives
• Dissemination
  • Seminars and conferences
  • Animation
  • Teaching
• Bibliography
  • Major publications
  • Publications of the year