Section: Dissemination

Animation of the Scientific Community

Hubert Comon-Lundh organized (with Y. Ito) the French Japanese workshop on computational and symbolic proofs of security (CosyProofs 09) in Atagawa heights, April 2009 http://www.rcis.aist.go.jp/events/csps2009/index-en.html

Stéphanie Delaune was a member of the “comité de sélection” for a “Maître de Conférences” position at the University of Lille.

Jean Goubault-Larrecq was a member of the AERES evaluation committee of LIENS, ENS Paris, January 12. He participated in the mid-term evaluation of the ANR SeSur 2007 programme in September, as vice-president of the evaluation committee. He participated in the continued evaluation of the SEC&SI competition (“Système d'Exploitation Cloisonné et Sécurisé pour l'Internaute”, ARPEGE programme; 2008-2010).

Jean Goubault-Larrecq was a member of the jury of the Gilles Kahn PhD thesis prize, awarded by the SPECIF association and under the patronage of the French Academy of Sciences.

Steve Kremer was a member of the “comité de sélection” for a “Maître de Conférences” position at Ensimag/Verimag associated ot a CEA chair.

Steve Kremer co-organized the 7th International Workshop on Security Issues in Concurrency (SecCo'09), Bologna, Italy, co-located with CONCUR'09.

Graham Steel co-organised the 3rd International Workshop on Analysis of Security APIs (ASA-3), a satellite of CSF 2009 in Long Island, NY, USA, July 2009.

He was interviewed for Wired magazine, http://blog.wired.com/27bstroke6/2009/04/pins.html .