Section: Other Grants and Activities

International Initiatives

• SIVES is a French-Chinese ANR project for 2009-2011 between INRIA FORMES, Verimag, ST Microelectronics, Tsinghua University and Beihand University on the development of a “SImulation and Verification based platform for Embedded Systems” (coordinated by Frédéric Blanqui).

• FORMES is part of the Sino-French Laboratory for Computer Science, Automation and Applied Mathematics (LIAMA)(http://liama.ia.ac.cn/wiki/ ) whose French director is Jean-Pierre Jouannaud since November 11.

• FORMES co-organized the 1st Workshop on Simulation Based Development of Certified Embedded Systems(http://unit.aist.go.jp/cvs/workshop/SBDCES.html ) with CVS/AIST (Japan) from October 5 to 7.

• FORMES organized the 1st Asian-Pacific Summer School on Formal Methods(http://formes.asia/cms/coqschool/2009 ) late august, 2009. The school attracted over 60 participants from China (mostly), Corea, Macao and Taiwan, see http://formes.asia/cms/coqschool/2009 .

• Ming Gu and Vania Joloboff participated into the scientific committee and provided local organization for the 2009 ARTIST Summer School in China(http://www.artist-embedded.org/artist/Overview,1630.html ), a summer school organized by the ARTIST Design European Network of Excellence on the topics of Embedded Systems, which was held at Tsinghua University from July 19 to July 24.

• Last but not least, FORMES organizes a weekly seminar which has been proved to be a major local forum in the area of formal methods, with a steady participation of colleagues who come from the other nearby research institutions, CASIA, ISCAS and Pekin University, to attend the presentations. All seminars are announced on our website, as well as the other relevant local seminars or events, in particular those taking place at ISCAS.