Section: Dissemination

Seminars, Workshops, and Conferences

We were invited to give the following talks.

K. Cabrera Castillos , Scenario Based Testing for ensuring POSIX Compliance (joint work with F. Dadeau, A. De Kermadec and R. Tissot). Invited Talk at the Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE'2009), part of the FM'Week (Eindhoven).

V. Cortier , Invited tutorial on Verification of Security Protocols at VMCAI'09 (Conference on Verification, Model Checking, and Abstract Interpretation), January 18th, 2009, Savannah, USA.

P. Héam , Invited Talk on Regular Approximations at Laboratoire Bordelais de Recherche en Informatique, Université de Bordeaux.

L. Vigneron , Seminar on Verification of Infinite State Systems: Application to the Security Protocols Analysis, at ENS Lyon, December 8th, 2009.