Section: Dissemination

Visits and presentations

• Jean-François Monin visited Yuxi Fu (Jiaotong University, Shanghai) from October 11 to October 16, and from December 14 to December 18.

• Vania Joloboff was invited to give presentations at the Shanghai Jiaotong University, the Hunan University and the National University of Defense Technology (Changsha).

• Jean-Pierre Jouannaud gave a seminar presentation at Ecole Polytechnique, in June 2009, on his work on confluence with van Oostrom.

• Jean-Pierre Jouannaud gave an invited presentation at the 10th Anniversary of the France-Taiwan Scientific Prize, September 2009, NTU, Taipei, Taiwan.

• Jean-Pierre Jouannaud was guest speaker in the Distinguished lecture series of Academia Sinica, October 2009, Taipei, Taiwan.

• Jean-Pierre Jouannaud was keynote speaker at the IEEE Open Source Software Conference, October 2009, Guiyang, China.

• Vania Joloboff and Jean-Pierre Jouannaud gave an invited presentation at the Microsoft Research Asia Verified Software Workshop, October 2009, Beijing, China.

• Frédéric Blanqui, Jean-Pierre Jouannaud and Vania Joloboff gave an invited presentation at the workshop SBDCES, October 2009, Osaka, Japan.

• Jean-Pierre Jouannaud and Pierre-Yves Strub gave a seminar presentation at USTC, November 2009, Suzhou, China.