%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %\subsection{Organisation de la recherche} %\subsubsection{direction d'organisations scientifiques} \subsubsubsection{organisation d'événements scientifiques et conférences} \begin{itemize} \item \textsc{EuroTICS}, \textit{European Computer Science Summit}, octobre 2006, Zurich, Suisse; C. Choppy \item \textsc{forte}, \textit{International Conference on Formal Methods for Networked and Distributed Systems}, septembre 2006, Paris, France; C. Choppy \item \textsc{mompes}, \textit{MOdel-based Methodologies for Pervasive and Embedded Software (ACSD)}, juin 2005, Rennes, France; L. Petrucci \end{itemize} %\subsubsection{gestion de groupes de travail} %\subsubsection{autres}