%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\subsection{Dissémination}

%\subsubsection{brevets}
%\subsubsection{logiciels} (distribution open source ou non)
%\subsubsection{actions de vulgarisation} (p.e. science en f\^ete)
\subsubsubsection{invitations, tutoriels, école d'été, tables rondes}
\begin{itemize}
  \item[{\sc euroTICS,}] \textit{European Computer Science Summit}, octobre
    2005, Zurich, Suisse; C. Choppy (table ronde)
  \item[{\sc iasse,}] \textit{ISCA International Conference on Intelligent and
    Adaptative Systems and Software Engineering}, juillet 2004, Nice, France;
    C. Choppy (exposé invité)
  \item[{\sc ictac,}] \textit{International Colloquium on Theoretical Aspects
    of Computing}, novembre 2006, Tunis, Tunisie; C. Choppy et L. Petrucci
    (tutoriel)
  \item[{\sc isps,}] \textit{International Symposium on Programming and
    Systems}, mai 2005, Alger, Algérie; L. Petrucci (exposé invité)
  \item[{\sc pns,}] \textit{Workshop on Petri Nets Standards (ATPN)},
    juin 2007, Siedlce, Pologne; L. Petrucci (exposé invité, synthèse et groupe
    de travail)
  \item[{\sc TeaConc,}] \textit{Workshop on Teaching Concurrency (ATPN)},
    juin 2006, Turku, Finlande; L. Petrucci (table ronde)
  \item[{\sc vecos,}] \textit{Workshop on Verification and Evaluation of
    Computer and Communication Systems (ISPS)},
    mai 2007, Alger, Algérie; L. Petrucci (exposé invité)
\end{itemize}