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.