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

Besides conference talks mentioned in the publication list, we have participated to the following events.

A. Giorgetti , Model-checking par génération d'annotations , tool demonstration at CNRS evaluation committee, Besançon, February 1st 2007.

C. Ringeissen , participation to the Dagstuhl seminar Automated Deduction and Decision Procedures , October 1-5, 2007.

M. Rusinowitch , Invited Talk on Some Decision Problems Related to Cryptographic Protocol Verification, Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07) Affiliated with CADE-21 Bremen, Germany, 15 July, 2007.

M. Rusinowitch , Tutorial on Security , International School on Rewriting ISR 2007, Nancy, July 3rd 2007.

M. Rusinowitch , Keynote Talk on Automated Verification of Cryptographic Protocols , at the Workshop on Rigorous System Development and Analysis. Nancy, October 12, 2007.

L. Vigneron , participation to the Dagstuhl seminar Formal Protocol Verification Applied , October 15-19, 2007.


Logo Inria