Inria
/
Raweb 2009
Presentation of the Project Pareo
Logo Inria
Pareo
Formal Islands: Foundations and Applications
2009 Research Team Activity Report
Nancy - Grand Est
Area :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Introduction
Rule-based programming languages
Rewriting calculus
Polygraphs and n-categories
Application Domains
Software
ATerm
Tom
Lemuridae
Cat
Catex
New Results
Improvement of theoretical foundations
Integration of formal methods in programming languages
Practical applications
Other Grants and Activities
Regional Initiatives
National Initiatives
International Initiatives
Dissemination
Animation of the scientific community
Teaching
Communications in conferences
Visits
Visitors
Theses
Thesis and admission committees
Bibliography
Major publications
Publications of the year
References in notes