";
include("../sources/menu$fileadd.php");
echo "
";
?>
Groupes de travail 2012
Réunions et Visites 2012
- 5 Avril 2012: Réunion de travail à Cachan sur les protocoles utilisés dans les transports publics
Participants: Pedro Adao, Stéphanie Delaune, Malika Izabachène, et Graham Steel.
- 23 au 27 Avril 2012: Visite de Myrto Arapinis (Birmingham) pour travailler sur la composition
Participants: Myrto Arapinis, Vincent Cheval, et Stéphanie Delaune.
- 1 Octobre 2012: Visite de Véronique Cortier (LORIA) à Cachan
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune.
- 16 Octobre 2012: Réunion de travail à Cachan sur les protocoles utilisés dans les transports publics
Participants: Stéphanie Delaune, Malika Izabachène, et Graham Steel.
- 13 Novembre 2012: Visite de Véronique Cortier (LORIA) à Cachan
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune.
- 15 Novembre 2012: Visite de Steve Kremer (LORIA) à Cachan
Participants: Stéphanie Delaune, Apoorvaa Deshpande, et Steve Kremer.
- 3 au 7 Décembre 2012: Visite d'Alwen Tiu (Birmingham) pour comparer nos approches/outils pour la vérification de propriétés du type respect de la vie privée
Participants: David Baelde, Vincent Cheval, Stéphanie Delaune, et Alwen Tiu.
- 10 au 14 Décembre 2012: Visite de Myrto Arapinis (Birmingham) pour travailler sur la composition
Participants: Myrto Arapinis, Vincent Cheval, et Stéphanie Delaune.
- 17 Décembre 2012: Rémy Chrétien et Stéphanie Delaune en visite au LORIA
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune.
- 21 Décembre 2012: David Baelde en visite au LORIA (travail sur l'extension de l'outil AKISS)
Participants: David Baelde, et Steve Kremer