Team FORMES
Members
Overall Objectives
Overall Objectives
Highlights of the year
Scientific Foundations
Simulation
Formal proofs
Application Domains
Application Domains
Software
SimSoC
CoqMT
aCiNO
CoLoR and Rainbow
Moca
New Results
Simulation
Certified provers
Decision procedures
Termination
Confluence
Assume-Guarantee reasoning
Distributed algorithms
Contracts and Grants with Industry
Schneider Electric
Orange IT Labs
Other Grants and Activities
International Initiatives
National Initiatives
Dissemination
Visits and presentations
Editorial duties
Program committees
Internships
Teaching
Long-term visitors
Short-term visitors
Bibliography
Major publications
Publications of the year
References in notes
Inria
/
Raweb 2009
Presentation of the Project FORMES
Section: Dissemination
Editorial duties
Jean-Pierre Jouannaud is a member of the editorial board of IJSI.
Logo Inria
