Section: Dissemination

Teaching

• Jean-Pierre Jouannaud participated in january to the selection of chinese candidates to the postdoc program of the "Fondation Franco-Chinoise pour la Science et ses Applications".

• Frédéric Blanqui, Jean-François Monin and Pierre-Yves Strub participated to the classes in the 1st Asian-Pacific Summer School on Formal Methods.

• Frédéric Blanqui gave lectures on “System F à la Curry” at Tsinghua University.

• Jean-Pierre Jouannaud gave lectures at Tsinghua university, at both the graduate and undergraduate level.

• Frédéric Blanqui and Pierre-Yves Strub gave lectures on Coq at Tsinghua university (graduate class).

• Jean-François Monin participated to the oral examinations and selection of chinese students applicants to the Polytech'Network.