Section: Dissemination

Scientific Animation

Administrative charges:

  • Hubert Comon-Lundh is director of the Parisian Master of Research in Computer Science (MPRI).

  • Hubert Comon-Lundh is member of the “comité de pilotage”, labex Digicosme.

  • Hubert Comon-Lundh is member of the “commission formation”, labex Digicosme.

  • Hubert Comon-Lundh is member of the “Jury prix de these Gilles Kahn/SIF”.

  • Stéphanie Delaune is a member of the scientific committee of Inria Saclay since February 2012.

  • Stéphanie Delaune is “Déléguée aux thèses” at the École Doctorale Sciences Pratiques at ENS Cachan since September 2012.

  • Jean Goubault-Larrecq, in charge of computer science questions, common Ecole Polytechnique-ENS Paris, Lyon, Cachan-ESPCI entrance competitive exam, starting September 2012.

Editorial boards:

  • Hubert Comon-Lundh is associate editor of the ACM Transactions on Computational Logic.

  • Hubert Comon-Lundh is guest editor of the Journal of Automated Reasoning (special issue, security and rewriting, Feb 2012).

Participation to program committes of conferences:

  • 16th International Conference on Foundations of Software Science and Computation Structures FoSSaCS'13, Rome, Italy, March 2013 (Jean Goubault-Larrecq).

  • 27th Annual ACM/IEEE Symposium Logic in Computer Science, Dubrovnik, Croatia, 2012 (Hubert Comon-Lundh)

  • 8th International Conference on Information Security Practice and Experience ISPEC'12, Hangzhou, China (Stéphanie Delaune).

  • 24th Journées Francophones des Langages Applicatifs JFLA'13, Aussois, France, February 2013 (David Baelde).

Selection committees:

  • Hubert Comon-Lundh was president of selection committee, MCF, ENS Cachan 2012.

  • Hubert Comon-Lundh was president of the selection committee for the mixed chair CNRS-Aix Marseille University, 2012.

Evaluation committees:

  • Hubert Comon-Lundh, member of the jury of “Prime d'Excellence Scientifique” (National committee, professors and maîtres de conférences), 2012.

  • Jean Goubault-Larrecq, AERES evaluation, LIAFA, Université Paris Diderot, December 27-28, 2012

  • Jean Goubault-Larrecq, CNRS PEPS program evaluation committee, March 22, 2012

Scientific boards:

  • Hubert Comon-Lundh, CNRS INSII, Oct. 2010-Oct 2014

  • Jean Goubault-Larrecq, external member of the selection committee of the Formal Methods and Security Inria-DGA seminar, Rennes

Invited talks:

  • Hubert Comon-Lundh Towards unconditional soundness. Grenoble, Jan 13, 2012, Workshop on Computer-Aided Security.

  • Jean Goubault-Larrecq, Probability and Nondeterminism in Domain Theory, Part II, Logic and Interactions, week 4: Quantitative approaches, Marseilles, France, February 20-24.

Invitation to seminars:

  • Stéphanie Delaune, Dagstuhl seminar on Analysis of security APIs, Wadern, Germany, November 25-28.

  • Stéphanie Delaune, Analysing privacy-type properties using formal methods, CAPPRIS meeting, Paris, March 14

  • Jean Goubault-Larrecq, An Isomorphism between Powercone and Prevision Models, McGill seminar, Bellairs Institute, Holetown, Barbados, April 01-06.