Team Cassis

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Dissemination

Seminars, Workshops, and Conferences

We were invited to give the following talks.

V. Cortier , Invited talk at VERIFY 2010, 6th International Verification Workshop, Edinburgh, UK, July 20, 2010. Tutorial at MOVEP 2010, Summer school on modeling and verifying parallel processes, July 2, 2010, Aachen, Germany. Lectures at FOSAD 2010, International School on Foundations of Security Analysis and Design, Bertinoro, Italy. September 6-7, 2010. Seminar at Luxembourg, October 5, 2010. Talk in the joint seminar of the Saarbruecken Computer Science Cluster (Universitaet des Saarlandes, DFKI, MPI Informatics, MPI Software Systems, Germany), November 17, 2010.

C. Ringeissen , Seminar on Combining Satisfiability Procedures for Unions of Theories Sharing Fragments of Arithmetic, April 30, 2010, MPII Saarbruecken, Germany.

M. Rusinowitch , Invited talk at SecRet 2010, 5th International Workshop on Security and Rewriting Techniques, Valencia, Spain, June 18, 2010.

L. Vigneron , Seminar on “Verification of infinite state systems: application to the analysis of cryptographic protocols”, ENS Lyon, September 21, 2010.


Logo Inria