Section: Other Grants and Activities

Visits, researcher invitation

Visits

J.-C. Filliâtre visited Alwyn Goodloe at the National Institute of Aerospace (Hampton, USA) in September 2009 and gave a tutorial on the Why tool. J.-C. Filliâtre also presented the ACSL specification language [32] and the Frama-C platform.

M. Pouzet visited Arvind (MIT, Boston, USA) and Grégoire Hamon (TheMathworks, USA) in July 2009. He presented the N-synchronous model.

Invitations

Barbará Vieira, Ph.D. student at Universidade do Minho (Braga, Portugal), visited ProVal from March to May 2009. She worked with J.-C. Filliâtre on a verification tool for CAO, a domain-specific language for cryptographic protocols (http://www.cs.bris.ac.uk/~page/research/cao.html ).