Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination

Participation in scientific events

Keynotes, tutorials, and invited talks

Yves Bertot gave an invited talk at the conference CICM (Conference on Intelligent Computer Mathematics) in Coimbra, Portugal, in July.

Laurent Théry, Laurence Rideau, and Yves Bertot gave invited talks at the workshop "Mathematical Structures of Computation", special week on "Formal Proof, Symbolic Computation and Computer Arithmetic", in Lyon, France, in February.

Yves Bertot gave talks at the University of Edinburgh in June, at the NASA Ames research center in California, in June, at SRI in California, in June, at the University of Aveiro in July, and at the University of Tokyo in September. He also attended the ACM Award ceremony in San Francisco, California, in June.