Site Archive
ActionsEnCours
Journées Nationales
Présentation du GDR
Actions Transverses
DocumentsDate added
Ce document est un extrait des actes des journées nationales qui reprend les 5 articles retenus pour l'appel à défis.
Sabina Akhtar, Stephan Merz and Martin Quinson.
Extending PlusCal: A Language for Describing Concurrent
and Distributed Algorithms
Transparents présentés pour l'ouverture des journées 2010 du GDR GPL.
Peggy Cellier, Mireille Ducassé, Sébastien Ferré and Olivier Ridoux.
Fouille de données pour la localisation de fautes dans les programmes
Diapositive 2
.O {color:black; font-size:149%;} a:link {color:#CCCCFF !important;} a:active {color:#3333CC !important;} a:visited {color:#B2B2B2 !important;}
EUclide is a Constraint Language based on Imperative DEfinitions
Document "Défis" qui résume les réponses à l'appel à défis 2010.
Transparents de la session de clôture avec la proclamation du prix du meilleur poster.