Team abstraction

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Overall Objectives

Highlights

Radhia Cousot co-chaired the 17th International Static Analysis symposium with Matthieu Martel (University of Perpignan), from the 14th to the 16th of September and edited the proceedings [37] . Three satellite workshops have been organised. Antoine Miné co-chaired the Second International Workshop on Numerical and Symbolic Abstract Domains, with Enric Rodríguez Carbonell (Technical University of Catalonia, Spain); Jérôme Feret co-chaired the First International Workshop on Static Analysis and Systems Biology, with Andre Levchenko (Johns Hopkins University, USA); and Xavier Rival co-chaired the First International Workshop on Tools for Automatic Program AnalysiS, with David Delmas (Airbus France).


previous
next

Logo Inria