Section: Partnerships and Cooperations

International Research Visitors

Internships

• Clément Chouteau, from May 2016 to July 2016

• David Pham (Univ. Évry) from June 2016 to July 2016

Visits to International Teams

Research Stays Abroad

F. Gilbert spent one month in the formal methods team at NASA Langley Research Center, to work with Cesar Munoz on the use of automated theorem provers to verify PVS proofs.