Section: Dissemination
Interaction with the Scientific Community
Academy Members, Professional Societies
Patrick Cousot is a member of the Academia Europaea .
Patrick Cousot is member of the IFIP working group WG 2.3 on programming methodology.
Patrick Cousot is a member of the Board of Trustees and of the Scientific Advisory Board of the IMDEA -Software (Instituto madrileño de estudios avanzados—Research Institute in Software Development Technology), Madrid, Spain and of the Asian Association for Foundations of Software (AAFS),
Collective Responsibilities
Patrick Cousot is director of studies in computer science at ENS and member of the commission de spécialistes (hiring committee) of ENS.
Radhia Cousot was head of the Abstract Interpretation group at École Polytechnique under a convention between the CNRS, the École Normale Supérieure and the École Polytechnique until April 1st, 2009.
Laurent Mauborgne is assistant director of studies in computer science at ENS and member of the commission de spécialistes (hiring committee) of ENS and VERIMAG laboratory in Grenoble.
Patrick Cousot, Laurent Mauborgne, Xavier Rival, Élodie-Jane Sims, and Antoine Miné are members of the lab council of the Laboratoire d'Informatique de l'École Normale Supérieure.
Editorial Boards and Program Committees
Bruno Blanchet is associate editor of the International Journal of Applied Cryptography (IJACT).
Bruno Blanchet was member of the program committee of the IEEE Computer Security Foundations Symposium (CSF 2009), the Workshop on Formal and Computational Cryptography (FCC 2009), the 13th Annual Asian Computing Science Conference (ASIAN 2009), and the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010).
Patrick Cousot is member of the advisory board of the Higher-Order Symbolic Computation journal (HOSC, Springer) and of the Journal of Computing Science and Engineering (JCSE, Kiise).
Patrick Cousot is member of the steering committees of the Static Analysis Symposium (SAS) and the Verification, Model-Checking and Abstract Interpretation (VMCAI) international conference.
Patrick Cousot was member of the program committees of the 10th International Conference on Verification, Model-Checking and Abstract Interpretation (VMCAI'09), the 12th International Conference on Hybrid Systems: Computation and Control (HSCC'09), the Structural Operational Semantics (SOS'09) conference, the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'09), the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010), and the 19th European Symposium on Programming (ESOP'10).
Radhia Cousot is member of the advisory board of the Higher-Order Symbolic Computation journal (HOSC, Springer).
Radhia Cousot was member of the program committees of the 16th International Static Analysis Symposium (SAS'09), the International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'09), the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'09). She is on the program committees of the International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'10), the ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI'10), the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'11), and the 20th European Symposium on Programming (ESOP'11). Radhia Cousot is co-PC-chair of the 17th International Static Analysis Symposium (SAS'10) and co-general chair of the 2nd International Workshop on Numerical and Symbolic Abstract Domains (NSAD'10), the 1st Workshop on Static Analysis and Systems Biology SASB'10, and the workshop on Tools for Automatic Program AnalysiS (TAPAS'10).
Jérôme Feret was member of the program committee of the Fifth International Workshop on Developments in Computational Models (DCM 2009) and is co-PC-chair of the 1st Workshop on Static Analysis and Systems Biology (SASB'10).
Laurent Mauborgne is a member of the program committee of the 17th International Static Analysis Symposium (SAS'10).
Antoine Miné is co-PC-chair of the Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD'10).
Xavier Rival was member of the program committee of the eleventh Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010), the COCV 2009 Workshop (Compiler Optimization meets Compiler Verification), and co-PC chair of the workshop on Tools for Automatic Program AnalysiS (TAPAS'10).
PhD and Habilitation Juries
Bruno Blanchet was reviewer of the PhD thesis of Antoine Mercier (ENS Cachan, December 2009).
Patrick Cousot was in the jury of the PhD thesis of Colas Le Guernic (University of Grenoble, 28 October 2009) and Jean-Baptiste Tristan (University of Paris 7, 6 November 2009).
Radhia Cousot was superviser of the PhD thesis of Pietro Ferrara defended at École polytechnique on 22 May 2009. She was in the jury of the PhD thesis of Anna Zaks (New York University, 29 April 2009).
Jérôme Feret was in the jury of the PhD thesis of Sylvain Pradalier (École Polytechnique and Università di Bologna, September 2009).
