Partners

From BWare
(Difference between revisions)
Jump to: navigation, search
(Inria)
(LRI)
Line 1: Line 1:
 
== [http://cedric.cnam.fr Cedric] ==
 
== [http://cedric.cnam.fr Cedric] ==
  
== [http://www.lri.fr LRI] ==
+
== [http://www.lri.fr LRI] team Toccata, formerly [http://proval.lri.fr/ ProVal]==
 +
 
 +
* [http://www.lri.fr/~conchon/ Sylvain Conchon] (local coordinator)
 +
* [http://www.lri.fr/~contejea/ Evelyne Contejean]
 +
* [http://www.lri.fr/~filliatr/ Jean-Christophe Filliâtre]
 +
* [http://www.lri.fr/~iguer/ Mohamed Iguernelala]
 +
* [http://www.lri.fr/~marche/ Claude Marché]
 +
* [http://tertium.org/ Andrei Paskevich]
  
 
== [http://www.inria.fr Inria] ==
 
== [http://www.inria.fr Inria] ==

Revision as of 15:24, 10 October 2012

Contents

Cedric

LRI team Toccata, formerly ProVal

Inria

Damien Doligez (coordinator)

Gilles Dowek

Fabrice Le Fessant

Olivier Hermant (Mines ParisTech)

Mitsubishi Electric R&D Centre Europe

ClearSy

OCamlPro

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox