Team mimosa

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

Animation

Roberto Amadio

was the leader of the MOVE team (Modélisation et Vérification) of the Laboratoire d'Informatique Fondamentale of Marseilles (UMR-CNRS 6166) till the end of August. He was general Chair of the IEEE Computer Security Foundations Workshop (Aix en Provence), June 2005. He was a member of the programme committee of the following workshops and conferences: EXPRESS 2005, GEOCAL 2006, FOSSACS 2006, ICALP 2006, CONCUR 2006. He is co-chair of the programme committee of EXPRESS 2006. He is a member of the steering commitee of CONCUR, the Computer Security Foundations Workshop, and the Ecole de printemps d'Informatique Théorique. He was a referee in the HDR (Habilitation à Diriger des Recherches) of Jean-Marc Talbot (University of Lille 1).

Gérard Boudol

acted as a referee for the PhD Theses of Daniele Gorla (University of Torino) and Fransisco Martins (University of Lisboa). He was the chairman of the jury in the defence of the PhD Thesis of Philippe Bidinger (University of Grenoble), and member of the jury of the PhD Thesis of Benjamin Leperchey (Univeristy of Paris 7). He was a member of the Program Committee of the FOSSACS'06 conference.

Frédéric Boussinot

serves a reviewer of the thesis of Anne-Gwenn Bosser, PPS, University Paris 7. He was also examinator of the thesis of Philippe Bidinger, University of Grenoble. He is a member of the program committee for MSR'05 and SLAP'05. He is member of the editorial board of the revue TSI.

Ilaria Castellani

acted as a referee for the PhD theses of Mauro Gattari (Dept. of Mathematics and Computer Science, University of Siena, January 2005) and Marco Carbone (BRICS, University of Aarhus, July 2005).

Silvano Dal Zilio

was local organizer for the 18th IEEE Computer Security Foundations Workshop (see http://www.lif.univ-mrs.fr/CSFW18/ ) and the 2005 Spring School on Computer Seccurity – Marseille, April 25-29 (see http://www.lif.univ-mrs.fr/~secur05/ ). He is local coordinator for the ACI Masses de Donnees projet Tralala.

Manuel Serrano

was a referee for the PhD thesis of Daniel Bonniot (Ecole des Mines and INRIA project Cristal ). He was a member of the program committee for the Ecoop European Worskhop on Lisp and Scheme. He was a member of the ICFP'05 program committee. He is a member of the `` Scheme Strategy Group'' that decides on the evolutions of this programming language. He is one of seven authors of the Revised 6 Report on the Scheme programming language. He participated to the annual meeting that took place this year in Boston.


previous
next

Logo Inria