Séminaire de l'équipe DALI
Reponsable (à contacter) : Guillaume Revy
Ecole d'été thématique ARCHI'11 Mont-Louis, 13-17 juin 2011
4ièmes Rencontres Arithmétique de l'Informatique Mathématique, RAIM'11, Perpignan, 7-10 février 2011
17th Static Analysis Symposium, SAS'2010, Perpignan, 14-16 septembre 2010
Symposium en Architecture de Machines, SYMPA'2006, Canet-en-Roussillon, 4-6 octobre 2006
Abstraction, LIENS, Ecole Normale Supérieure
Arénaire, LIP, ENS de Lyon
ARITH, LIRMM, Université Montpellier 2
CACAO, LORIA, Nançy
PEQUAN, LIP6, Université Paris 6
Faculty of Scienbce and Engineering, Waseda University (Japon)
Faculty of Engineering, University of Waterloo (Canada)
GDR
(CNRS) ASR (Architecture, Système
et Réseau), IM
(Informatique Mathématique)
Le site Webdali a été réalisé par :
Programmation : Alexandre Mathieu (Licence Info 2, Année 2010-2011, Cours de programmation pour le Web)
Graphisme : Albertine Martel