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

Participation in Conferences and Seminars

Participation in Conferences

VMCAI:

International Conference on Verification, Model Checking and Abstract Interpretation (Madrid, Spain, 17-19 January 2010).

Liqian Chen, Antoine Miné, Xavier Rival and Matteo Zanioli attended the conference. Xavier Rival chaired a session. Liqian Chen gave a talk [45] .

POPL:

ACM Symposium on Principles of Programming Languages (Madrid, Spain, 20-22 January 2010).

Antoine Miné, Xavier Rival and Matteo Zanioli attended the conference.

CMBS:

Workshop Computational Modelling of Biological Systems (Holetown, Barbados, 15-19 March 2010). Jérôme Feret attended the workshop and gave a three hours talk on static analysis of biological pathways [43] and a two hours talk on model reduction of differential models [40] .

ESOP:

European Symposium on Programming (Paphos, Cyprus), 22–26 March 2010).

Vincent Laviron and Xavier Rival attended the conference. Vincent Laviron presented [27] .

MFPS:

International Conference on Mathematical Foundations of Programming Semantics (Ottawa, Ontario,Canada, 6–20 May 2010).

Jérôme Feret attended the conference and gave a talk on model reduction of differential models [42] .

FMOODS:

International Conference on Formal Methods for Open Object-based Distributed Systems (Amsterdam, Netherlands, 6–11 June 2010).

Ferdinanda Camporesi and Jérôme Feret attended the conference.

CS2Bio:

International Workshop on Interactions between Computer Science and Biology (Amsterdam, Netherlands, 12 June 2010).

Ferdinanda Camporesi and Jérôme Feret attended the workshop. Jérôme Feret gave an invited talk on model reduction of differential models [41] .

LSB:

Workshop on Logic and Systems Biology (Edinburgh, Scotland, UK, 10 July 2010).

Ferdinanda Camporesi and Jérôme Feret attended the workshop.

LICS:

IEEE Symposium on Logic In Computer Science (Edinburgh, Scotland, UK, 11-14 July 2010).

Ferdinanda Camporesi and Jérôme Feret attended the conference.

CAV:

International Conference on Computer Aided Verification (Edinburgh, Scotland, UK, 15–19 July 2010).

Ferdinanda Camporesi attended the conference.

MecBIC:

International Workshop on Membrane Computing and Biologically Inspired Process Calculi (Iena, Germany, 23 August 2010).

Jérôme Feret attended the workshop and gave a talk [25] .

SOS:

International Workshop on Structural Operational Semantics (Paris, France, 30 August 2010).

Ferdinanda Camporesi attended the workshop.

CONCUR:

International Conference on Concurrency Theory (Paris, France, 31 August – 3 September 2010).

Ferdinanda Camporesi and Jérôme Feret attended the conference.

SASB:

International Workshop on Static Analyis and Systems Biology (Perpignan, France, 13 September 2010).

Ferdinanda Camporesi, Patrick Cousot, Radhia Cousot, and Jérôme Feret attended to the workshop. Jérôme Feret co-chaired the workshop and chaired a session.

NSAD:

Second International Workshop on Numerical and Symbolic Abstract Domains.

Antoine Miné, Mehdi Bouaziz and Xavier Rival attended the workshop. Antoine Miné co-chaired the workshop.

SAS:

17th International Static Analysis Symposium (Perpignan, France, 14–16 September 2010).

Ferdinanda Camporesi, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Mehdi Bouaziz, and Matteo Zanioli attended the conference.

TAPAS:

International Workshop on Tools for Automatic Program Analysis (Perpignan, France, 17 September).

Ferdinanda Camporesi, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Mehdi Bouaziz attended the workshop. Xavier Rival co-chaired the workshop and chaired a session.

ICNAAM:

International Conference of Numerical Analysis and Applied Mathematics (Rhodos, Grece, 19–25 September 2010).

Jérôme Feret attended the workshop and gave a talk [16] .

UML&FM:

Third IEEE International workshop UML and Formal Methods (Shanghai, China, 16 November 2010).

Julien Bertrane attended the workshop and gave a talk [14] .

PLDI:

ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (Toronto, Canada, 7–9 June 2010).

Antoine Miné and Laurent Mauborgne attended the conference.

LFX:

First International Workshop on Learning From eXperience (Toronto, Canada, 6 June 2010).

Antoine Miné and Laurent Mauborgne attended the workshop, and Antoine Miné gave a talk [44] .

Invitations and Participation in Seminars

— Patrick Cousot gave a talk on Abstract interpretation: from origin to perspectives at the Dagstuhl Perspectives Workshop 10482 on “Formal Methods — Just a Euro-Science?”, Schloss Dagstuhl, Germany, 30 November 2010 – 3 December 2010; on Contract Precondition Inference from Intermittent Assertions on Collections, at the The Future of Software Engineering (FOSE) Symposium, ETH Zürich, Switzerland, 22-23 November 2010 [24] ; on Static Analysis and Verification of Aerospace Software by Abstract Interpretation at the Workshop on formal verification of avionics software products, Airbus France, Toulouse, France, June 24, 2010; on A Scalable Segmented Decision Tree Abstract Domain at the Amir Pnueli Memorial Symposium, CIMS, NYU, New York, NY, USA, May 7—9, 2010 [34] ; on Embedded software verification by abstract interpretation at a visit to Rockwell-Collins, Cedar Rapids, Iowa, US, May 3rd, 2010; on Array content static analysis by segmentation at a Seminar of IBM T.J. Watson Research Center at Hawthorn, NY, USA, April 24, 2010 [23] ; on Challenge Problems in Aerospace Software Verification, at Carnegie Mellon University, Pittsburgh, PA, USA. March 4th, 2010 [17] .

— Patrick Cousot and Radhia Cousot gave a talk on Contract Precondition Inference from Intermittent Assertions on Collections at the Software Engineering and Programming Languages Seminar, MSR, Redmond, WA, USA, September 8, 2010 [24] .

— Jérôme Feret presented an abstract interpretation framework for reducing differential semantics for biological networks in the Bio Systems analysis group at the university of Jena and in the Logic and semantics seminar at the university of Cambridge.

— Antoine Miné gave a talk on the Apron library at the seminar of the “Équipe Contraintes, LINA,” École des Mines de Nantes, France, 10 February 2010.

— Xavier Rival was invited to give a talk on “Shape Analysis with Inductive Definitions” at Liafa in Paris in March 2010. Xavier Rival was invited to give a talk on “Shape Analysis with Inductive Definitions” at IMDEA-Software in Madrid in april 2010. Xavier Rival was invited to give a talk on abstract interpretation based static analysis at the University of Colorado at Boulder. Xavier Rival gave a talk on the Abstraction of Calling Contexts with Shapes at the University of Queen Mary (London, UK) in october 2010. Xavier Rival was invited to give a talk on “Shape Analysis and Interprocedural Analysis” at the Workshop on “Automata and Logic for Data Manipulating programs” (Paris, December 2010).

— Laurent Mauborgne gave a talk on “Modification Shapes”, and another talk on “Segmented Relations” at IMDEA Software in Madrid in March 2010.


previous
next

Logo Inria