Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Pascal Poizat (LIP6, University Pierre et Marie Curie, Paris) visited us on March 26–27, 2012.

• Dimitris Vekris (LACL, University Paris-Est Créteil) visited us from April 23 to May 11, 2012.

• Meriem Ouederni (IRIT, Toulouse) visited us on June 4–15, 2012.

• The annual CONVECS seminar was held in Pont-en-Royans (France) on November 5–7, 2012. The following invited scientists attended the seminar:

  • Jérémy Buisson (University of Bretagne-Sud / VALORIA and Ecoles de St-Cyr Coëtquidan) gave on November 5, 2012 a talk entitled “Vers un futur pi-ADL reconfigurable”.

  • Sophie Dupuy-Chessa (LIG, Grenoble) gave on November 6, 2012 a talk entitled “Qualité des interfaces homme-machine plastiques”.

  • Massimo Zendri (STMicroelectronics) gave on November 6, 2012 a talk entitled “Circuit Level Formal Verification in Industrial Environment”.