Ce projet est consacré à une coopération scientifique entre la France
et le Québec, sur des thèmes liés à la sécurité, et plus
spécifiquement à des approches quantitatives produisant des mesures de
la sécurité de systèmes informatiques.

<h4>Planning</h4>

<ul>
<li> août 2013 : séjour à Montréal (Olga Kouchnarenko, Béatrice Bérard)</li>

<li> Journée: Hiding and Disclosing Information, co-organisée 
le 3 décembre 2013 avec John Mullins, en congé
sabbatique de l'Ecole polytechnique de Montréal. <br>
Thèmes : Quantitative Information Flow, Opacity and Diagnosis 
(<a href="../131203.html">Programme</a>).
</li>

<li> Réunions de travail (Béatrice Bérard, Olga Kouchnarenko, John
Mullins, Mathieu Sassolas) : <br>
20-21 février 2014, 29-30 avril 2014, 
26-27 mai 2014, 13 juin 2014.</li>
<li> Participation à la conférence LATA 2014, 10-14 mars 2014 
à l'université Complutense de Madrid (Espagne) pour une communication acceptée :
<i> Channel Synthesis Revisited </i> 
(<a href="http://grammars.grlmc.com/lata2014/program.php">Programme</a>).</li>
<li> Séminaire annuel : 1er et 2 juillet 2014 
(<a href="../PDF/14070102.pdf">Programme</a>).</li>

<li> Participation à la conférence AVOCS 2014 le 24 septembre 2014 
à l'université de Twente (Pays-Bas) pour une communication acceptée :
<i> Verification of Information Flow Properties under Rational Observation </i> 
(<a href="http://fmt.cs.utwente.nl/conferences/avocs2014/program.php">Programme</a>).</li>
</ul>