Project-FORMES:Short-term visitors

Section: Dissemination

Kokichi Futatsugi (JAIST) gave a talk on April 3 on “Combining Inference and Search in Verification with CafeOBJ”.
Gilles Dowek (Ecole Polytechnique) gave a talk on April 17 on “Polarized Resolution Modulo”.
Yoshiki Kinoshita (AIST) gave a talk on April 24 on “Introduction to Agda language and system”.
Christian Urban (TU Muenchen) gave a talk on May 22 on “Nominal Techniques in the Theorem Prover Isabelle or, How Not to be Intimidated by the Variable Convention”.
Hubert Comon-Lundh (INRIA & AIST) gave a talk on May 26 on “Models for security protocols”.
Hugo Herbelin (INRIA) gave a talk on June 16 on “Coq: current development issues”.
Gilles Barthe (IMDEA Software) gave a talk on September 1st on the “Certification of code-based cryptographic proofs”.
Laurent Fribourg (CNRS & ENS Cachan) gave a talk on October 12 on “Detecting Race Condition in Concurrent Systems with the Inverse Method”.
Joseph Sifakis (CNRS & INRIA-Schneider), Turing Award 2007, gave a talk on October 26 on “Embedded Systems Design: Scientific Challenges and Work Directions”, and on October 27 on “Component-based Construction of Heterogeneous Real-time Systems in BIP”.
T. John Koo, Director of the Center for Embedded Software Systems, Shenzhen Institute of Advanced Technology (SIAT), Chinese Academy of Sciences, gave a talk on November 13 about“Model-based tool-chain for the design and analysis of embedded hybrid systems”.