Team abstraction

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

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).

Patrick Cousot was a Principal Investigator programme panel member of the Science Foundation Ireland (SFI) (2010).

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.

Patrick Cousot, Antoine Miné and Xavier Rival are members of the lab council of the Laboratoire d'Informatique de l'École Normale Supérieure.

Editorial Boards and Program Committees

— 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 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010), Madrid, Spain, January 17-19, 2010. the 19th European Symposium on Programming (ESOP 2010), Paphos, Cyprus, March 22-26, 2010; the 49th IEEE Conference on Decision and Control Pre-conference Workshop on Verification of Control Systems, Atlanta, GA, USA, December 14, 2010; the 12th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2011), Austin, TX, USA, January 23-25, 2011; and the 14th ACM International Conference on Hybrid Systems (HSCC 2011), Chicago, IL, USA, April 11-14, 2011.

— Radhia Cousot is member of the advisory board of the Higher-Order Symbolic Computation journal (HOSC, Springer) and the Central European Journal of Computer Science (CEJCS, Versita & Springer).

Radhia Cousot is member of the steering committees of the Static Analysis Symposium (SAS), the Workshop on Numerical and Symbolic Abstract Domains (NSAD) and the Workshop on Static Analysis and Systems Biology (SASB).

Radhia Cousot was co-general chair of the 2nd NSAD, 1st SASB, 1st TAPAS, (2010), Perpignan, France and co-program committee chair of the 17th International Static Analysis Symposium (SAS 2010), Perpignan, France, September 14-16, 2010.

Radhia Cousot was member of the program committees of the 31st ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI), Toronto, Canada, June 5-10, 2010; the 2nd International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC 2010), Braga, Portugal, June 22, 2010; the 2nd International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010), Perpignan, France, 13 September 2010; the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010), Perpignan, France, 13 September 2010; the 1st International Workshop on Tools for Automatic Program AnalysiS (TAPAS 2010), Perpignan, France,17 September 2010; the 21st European Symposium on Programming (ESOP 2011), Saarbrücken, Germany, March 26-April 3, 2011; the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2011), Austin, Texas, USA, January 26-28, 2011.

— Jérôme Feret is a member of the steering committee of the Workshop on Static Analysis and Systems Biology (SASB).

Jérôme Feret was co-program committee chair of the 1st SASB (2010) and is co-program committee chair of the 2nd SASB (2011)

Jérôme Feret was member of the program committee of the 1st International Workshop on Interactions between Computer Science and Biology Workshop (CS2Bio 2010).

— Laurent Mauborgne is member of the steering committees of the Workshop on Numerical and Symbolic Abstract Domains (NSAD).

Laurent Mauborgne was a member of the program committee of the 17th International Static Analysis Symposium (SAS'10).

— Antoine Miné was co-program committee chair of the Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD'10).

Antoine Miné was member of the program committee of the VS-Theory 2010 workshop (part of VSTTE’10). He is member of the program committee of the 18th International Static Analysis Symposium (SAS'11), the third Workshop on Numerical and Symbolic Abstract Domains (NSAD'11), and the First International Workshop on Safety and Security in Cyber-Physical Systems (SSCPS'11).

— Xavier Rival was program committee chair of the workshop on Tools for Automatic Program AnalysiS (TAPAS'10).

Xavier Rival was member of the program committee of the eleventh Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010), and the Conferences on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011).

PhD and Habilitation Juries

— Patrick Cousot was a reviewer and in the jury of the PhD thesis of Matthias Péron (September 22, 2010).

Patrick Cousot was a reviewer of the PhD thesis of Tal Lev-Ami (Tel-Aviv University, 2010).

Patrick Cousot was in the jury of the PhD thesis of Tuncay Tekle (Stony Brook University, September 27, 2010) and Christopher Conway (New York University, November 11, 2010).

— Antoine Miné was in the jury of the PhD thesis of Duong Nguyen (École des Mines de Paris, 26 November 2010).


previous
next

Logo Inria