Section: Dissemination

Scientific Animation

• Pascal Fradet served in the program committee of JFLA 2013 (vingt quatrièmes Journées Francophones des Langages Applicatifs).

• Gregor Goessler served in the program committees of the international conference DATE 2013.

• Bertrand Jeannet was Program Chair of the TAPAS workshop (Tools for Automatic Program AnalysiS) affiliated to SAS (Static Analysis Symposium), that was held in Deauville in September 2012.

• Alain Girault served in the program committees of the international conferences DAC 2012, MEMOCODE 2012, LCTES 2012, and APSIPA ASC 2012,