Actes des journées nationales 2010, Pau du 10 au 12 mars 2010

Transparents de la session de clôture avec la proclamation du prix du meilleur poster.

Document "Défis" qui résume les réponses à l'appel à défis 2010.

Diapositive 2

.O {color:black; font-size:149%;} a:link {color:#CCCCFF !important;} a:active {color:#3333CC !important;} a:visited {color:#B2B2B2 !important;}

Peggy Cellier, Mireille Ducassé, Sébastien Ferré and Olivier Ridoux.
Fouille de données pour la localisation de fautes dans les programmes

Transparents présentés pour l'ouverture des journées 2010 du GDR GPL.

Sabina Akhtar, Stephan Merz and Martin Quinson.
Extending PlusCal: A Language for Describing Concurrent
and Distributed Algorithms