séminaires
20/01/2011
Séminaires à venir
- 2 mars 2011, “Découvrir des propriétés sur le contenu des tableaux” (MeASI CEA LIST, Paris)
séminaires recherche
En conférence
- conférence internationale PLDI'08
“Discovering Properties about Arrays in Simple Programs” (Loews Ventana Canyon Resort, Tucson, AZ, USA)
- conférence internationale VMCAI'07
“An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints” (Plaza hôtel, Nice)
- workshop SYNCHRON'06
“An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints” (Hôtel le Pic-Blanc, Alpe d'Huez)
Sur invitation
- Equipe-projet ProVal, Laboratoire de Recherche en Informatique LRI
“Discovering Properties about Arrays in Simple Programs” (Orsay)
- Microsoft Research MSR
“Discovering Properties about Arrays in Simple Programs” (Redmond, WA, USA)
- Stanford Research Institute SRI
“Discovering Properties about Arrays in Simple Programs” (Menlo Park, CA, USA)
À Vérimag
- réunion synchrone
“Discovering Properties about Arrays in Simple Programs” (Verimag)
- réunion APRON
“Static Analysis of Array Contents” (Ecole des mines de Paris)
- réunion hybride
“An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints” (Verimag)
- réunion APRON
“An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints” (Ecole des mines de Paris)
- réunion synchrone
“Non-égalités et espaces numériques abstraits” (Verimag)
séminaires développement
présentations scientifiques
Vulgarisation
- cours catégories, applications à l'informatique
“Introduction au λ-calcul” et
“Modèles catégoriques du λ-calcul”
Autres
- journée des doctorants MSTII
“Présentation du laboratoire Verimag, Vérification et langages synchrones” (Institut Fourier, Grenoble)