Meetings

From Averiss

Jump to: navigation, search

[edit] Réunions passées

  • Paris (Chevaleret) les 11 et 12 fevrier 2009
  • Bordeaux, Mercredi 30 Janvier 2008
    • Peter Habermehl : What else is decidable about integer arrays ?
    • Anca Muscholl : Deciding properties on active documents
    • Philippe Schnoebelen : The Post embedding problem, with applications to lossy channel systems
    • Florian Horn : Sur les algorithmes pour jeux stochastiques
    • Florent Bouchy : Décomposition de Logiques du Premier Ordre Décidables avec Entiers et Réels
    • Tayssir Touili : SPADE: Verification of Multithreaded Dynamic and Recursive Programs
    • Jérôme Leroux : Acceleration in Data-flow Analysis
  • Paris (Chevaleret) les 5 et 6 mars 2007
    • réunion commune Averiles / Averiss
    • programme (pdf)
Retrieved from "http://www.liafa.jussieu.fr/averiss/index.php/Meetings"
Personal tools