Inria
/
Raweb 2006
Presentation of the Project Moscova
Logo Inria
Moscova
Mobility, Security, Concurrency, Verification and Analysis
2006 Research Team Activity Report
Paris - Rocquencourt
Theme :
NUM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Concurrency theory
Type systems
Formal security
Labeled lambda-calculus
Application Domains
Telecoms and Interfaces
Software
OTT: One true tool for the working semanticist
Burfiks: Bayesian web filtering
Acute
Caml/Jocaml
Pattern matching in Ocaml
Hevea
Active DVI
New Results
High-level programming language design for distributed computation
Language design for distributed transactions
Sub-typing and abstraction safety in distributed languages
Type-safe marshaling
Bi-graphical models of concurrency
Cryptographic primitives
Join-calculus with values and pattern-matching
Reversible process algebra and transactions
Concurrency and bio-modelling
Labeled Lambda-Calculus and Variants
Security Properties in the Lambda-Calculus
Concurrent C Minor
Typed intermediate languages and typed assembly languages
Other Grants and Activities
National actions
European actions
Dissemination
Animation of research
Teaching
Partipations to conferences, Seminars, Invitations
Bibliography
Major publications
Publications of the year
References in notes