Section: Dissemination

Participation in Conferences and Seminars

Participation in Conferences

VMCAI:

International Conference on Verification, Model Checking and Abstract Interpretation (Savannah, GA, USA, 18-20 January 2009).

Patrick Cousot, Radhia Cousot and Vincent Laviron attended the conference. Patrick Cousot gave an invited talk (in last minute replacement of Alan Emerson) [22] and chaired a session. Vincent Laviron presented [27] .

PEPM:

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (Savannah, GA, USA, 19–20 January 2009).

Radhia Cousot attended the conference.

Usable Verification:

NSF workshop on “Usable Verification” (Savannah, GA, USA, 20 January 2009).

Patrick Cousot and Radhia Cousot gave an invited talk [31] .

POPL:

ACM Symposium on Principles of Programming Languages (Savannah, GA, USA, 21–23 January 2009).

Radhia Cousot attended the conference.

COCV:

International Workshop “Compiler Optimization meets Compiler Verification” (York, IK, 22 March 2009).

Xavier Rival attended the conference and gave a one-hour invited lecture [66] .

CC:

International Conference on Compiler Construction (York, UK, 22–29 March 2009).

Xavier Rival attended the conference.

ESOP:

European Symposium on Programming (York, UK, 25–27 March 2009).

Xavier Rival attended the conference.

CoSyProofs:

Computational and Symbolic Proofs of Security, Spring School and French-Japanese collaboration workshop (Highashi Izu Peninsula, Japan, 6–9 April 2009).

Bruno Blanchet gave an invited talk [39] .

MITACS:

2nd Canada-France Workshop on Foundations & Practice of Security (Grenoble, France, 31 May–5 June 2009).

Bruno Blanchet gave an invited talk [40] .

APNOC:

International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (Paris, France, 22 June 2009).

Radhia Cousot was invited speaker [30] .

CAV:

21th International Conference on Computer Aided Verification (Grenoble, France, June 26–July 2, 2009).

Antoine Miné attended.

ASA:

3rd International Workshop on Analysis of Security APIs (Port Jefferson, NY, USA, 10–11 July 2009).

Bruno Blanchet and David Cadé attended the workshop.

ICALP:

36th International Colloquium on Automata, Languages and Programming (Rhodes, Greece, July 5–12, 2009).

Jérôme Feret attended the conference.

CSF:

Computer Security Foundations Symposium (Port Jefferson, NY, USA, 8–10 July 2009).

Bruno Blanchet chaired a session. David Cadé attended the conference.

DCM:

5th International Workshop on Developments in Computational Models (Rhodes, July 11, 2009).

Jérôme Feret attended the workshop.

FCC:

Workshop on Formal and Computational Cryptography (Port Jefferson, NY, USA, 11–12 July 2009).

Bruno Blanchet chaired a session. David Cadé presented [29] .

SAS:

16th International Static Analysis Symposium (Los Angeles, CA, USA, 9–11 August 2009).

Antoine Miné presented [21] . Patrick Cousot and Radhia Cousot attended the conference. Radhia Cousot chaired a session.

Ecrypt-II

Summer School On Provable Security (Barcelona, Spain, 7–11 Sept. 2009).

Bruno Blanchet gave an invited talk [41] .

GiorgioLevi

Workshop “Logic and Energy: A Visionary Inspirator. A Tribute to Giorgio Levi for Forty Years of Research” (23 October 2009). Patrick Cousot and Radhia Cousot gave an invited talk on [15]

SEFM:

7th IEEE International Conference on Software Engineering and Formal Methods (Hanoi, Vietnam, 23–27 November 2009).

Pietro Ferrara presented [24] .

APLAS:

7th Asian Symposium on Programming Languages and Systems (Seoul, Korea, 14–16 December 2009).

Vincent Laviron presented [26] .

Invitations and Participation in Seminars

Julien Bertrane gave a seminar presenting his post-doc work “Developing temporal abstract domains that prove the temporal specifications of reactive systems” at the university ECNU, Shanghai, China on September the 27th [35] .

Bruno Blanchet presented a talk on “CryptoVerif: A Computationally Sound Mechanized Prover for Cryptographic Protocols” at the Università di Padova, Italy, March 2009 [42] and at the Stony Brook University, NY, USA, July 2009 [43] .

Patrick Cousot organizes the seminar “Semantics and Abstract Interpretation” at ENS.

Patrick Cousot visited the Technische Universität München and the Ludwig-Maximilians-Universität München, Munich, Germany, 17–27 May 2009.

Jérôme Feret presented an abstract interpretation framework for analyzing qualitative properties of biological pathways [54] in working group of the Laboratory of Nonlinear Systems (LANOS) at the École Polytechnique de Lausanne. He presented an abstract interpretation framework for reducing differential semantics for biological networks in the seminar of the CEA-list group [51] , in the seminar of the Thrust in Reliable Software Research (TRESOR) group at the École Polytechnique de Lausanne [50] and in a interdisciplinary seminar of the department of Dynamics of Membrane Interactions in Normal et Pathological Cells (DIMNP) at the University of Montpellier 2 [53] .

Pietro Ferrara presented a talk on static analysis via abstract interpretation of multithreaded programs in seminars at the Swiss Federal Institute of Technology Zurich (ETH Zurich) [59] and at IRISA [58] .

Élodie-Jane Sims attended the DS-09301 Dagstuhl seminar on “Typing, Analysis and Verification of Heap-Manipulating Programs” and gave a talk on pointer analysis and separation logic [71] .

Antoine Miné gave a talk on the static analysis of run-time errors in parallel embedded C code at the seminar of the “Laboratoire Preuves, Programmes et Systèmes,” Paris 7, France, Novembre 2009 [65] .

Xavier Rival attended the ES_PASS workshop (Feb. 2009, Toulouse) and gave a talk on backward analysis [69] . Xavier Rival gave a talk on abstract interpretation and shape analysis at the “Une demi-heure de Science” Seminar at the Comité des Projets of Inria Rocquencourt [68] . Xavier Rival attended the “Fundamentals of Communications and Networks” joint INRIA-Bell Labs Workshop, and gave a lecture on abstract interpretation and shape analysis [67] . Xavier Rival attended the DS-09301 Dagstuhl seminar on “Typing, Analysis and Verification of Heap-Manipulating Programs” and gave a lecture on shape analysis [70] .

Laurent Mauborgne was invited to give a talk on disjunctions in static analysis [62] at IMDEA-Software in Madrid in april 2009. Laurent Mauborgne attended the final ES_PASS workshop (Oct. 2009) and gave a talk on the new applications for Astrée [63] .