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.