Previous | 
Home
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:
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.