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.