Section: Dissemination
Scientific Animation
Administrative charges:
-
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”.
-
Hubert Comon-Lundh is member of the jury “appel à projets Digiteo”
-
Hubert Comon-Lundh is member of the Master MPRI studies committee and director of the MPRI until sept. 2013.
-
Stéphanie Delaune has been a member of the scientific committee of Inria Saclay since February 2012.
-
Stéphanie Delaune has been “Déléguée aux thèses” at the École Doctorale Sciences Pratiques at ENS Cachan since September 2012.
-
Jean Goubault-Larrecq is in charge of computer science questions, common Ecole Polytechnique-ENS Paris, Lyon, Cachan-ESPCI entrance competitive exam, starting September 2012.
Editorial boards:
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).
-
24th International Conference on Automated Deduction (CADE), Lake Placid, New York, USA, 2013 (Stéphanie Delaune)
-
26th IEEE Computer Security Foundations Symposium (CSF), Tulane University, New Orleans LA, USA, 2013 (Stéphanie Delaune)
-
24th International Conference on Rewriting Techniques and Applications (RTA), Eindhoven, The Netherlands, 2013 (Stéphanie Delaune)
-
20th Workshop on Logic, Language, Information and Computation (WoLLIC), Darmstadt, Germany, 2013 (Stéphanie Delaune)
-
Worshop Formal and Computational Cryptography (FCC), president of the program commitee. June 30, 2013, New Orleans (Hubert Comon-Lundh).
-
Workshop on Logical Frameworks and Meta-Languages: Theory and Practice LFMTP'13, Boston, U.S.A., September 2013 (David Baelde).
-
Workshop on Fixed Points in Computer Science FICS'13, Torino, Italy, September 2013 (David Baelde).
-
24th Journées Francophones des Langages Applicatifs JFLA'13, Aussois, France, February 2013 (David Baelde).
Organization of conferences:
-
Workshop on Fixed Points in Computer Science FICS'13, Torino, Italy, September 2013 (David Baelde).
-
25th Journées Francophones des Langages Applicatifs JFLA'14, Fréjus, France, January 2014 (David Baelde).
Selection committees:
-
Hubert Comon-Lundh was president of the “Maitre de Conférences” selection committee, ENS Paris, 2013.
-
Hubert Comon-Lundh was member of the selection committee of “Maitre de conférences” selection committee, Univ. Paris-Diderot, 2013.
-
Hubert Comon-Lundh was member of the Inria Paris-Rocquencourt junior researche selection committee, 2013.
-
Jean Goubault-Larrecq was member of the Inria Saclay-Ile-de-France junior researcher selection committee, 2013.
Scientific boards:
-
Jean Goubault-Larrecq, external member of the selection committee of the Formal Methods and Security Inria-DGA seminar, Rennes
-
Jean Goubault-Larrecq, external member of the selection committee of the Formal Methods and Security Inria-DGA seminar, Rennes
-
Jean Goubault-Larrecq, member of the scientific committee of the Labex “Fondation Sciences Mathématiques de Paris”.
-
Jean Goubault-Larrecq, member of the scientific committe of the “Ecole de Printemps d'Informatique Théorique” (EPIT).
Invited talks:
-
Hubert Comon-Lundh, LICS: Logic in Computer Security, invited tutorial, IEEE Symp. Logic in Computer Science, New Orleans, July 2013.
-
Jean Goubault-Larrecq, A few Pearls in the Theory of Quasi-Metric Spaces, semi-plenary talk, Summer Topology Conference, North Bay, Ontario, Canada, July 23-26, 2013.
-
Jean Goubault-Larrecq, A Simple Proof of the Schröder-Simpson Theorem, session on Asymmetric Topology, Summer Topology Conference, North Bay, Ontario, Canada, July 23-26, 2013.
-
Jean Goubault-Larrecq, A Constructive Proof of the Topological Kruskal Theorem, Mathematical Foundations of Computer Science (MFCS), IST Austria, near Vienna, Austria, August 26-30, 2013.
-
Jean Goubault-Larrecq, Is Mathematical Rigor Needed in Intrusion Detection?, Foundations and Practice of Security (FPS), La Rochelle, France, October 21, 2013.
Invitation to seminars:
-
Hubert Comon-Lundh, Towards Unconditonal Soundness, IRISA, Rennes, Feb 1, 2013.
-
Hubert Comon-Lundh, Computationally Sound Automated Proofs of Security, LRI, Orsay, March 15, 2013.
-
Jean Goubault-Larrecq, Orchids, ou: de l'importance de la sémantique, séminaire DGA Innosciences, DGA, Bagneux, June 25, 2013.
-
Jean Goubault-Larrecq, Full Abstraction for Non-Deterministic and Probabilistic Extensions of PCF, Pierre-Louis Curien Festschrift, Venice, Italy, September 9-11, 2013.