Partners
From BWare
(Difference between revisions)
(→Inria) |
|||
| (6 intermediate revisions by one user not shown) | |||
| Line 1: | Line 1: | ||
| − | == [http://cedric.cnam.fr Cedric] == | + | == [http://cedric.cnam.fr Cedric] ([http://cedric.cnam.fr/index.php/labo/cpr CPR] Team) == |
| − | + | * [http://cedric.cnam.fr/~delahaye/ David Delahaye] (global coordinator) | |
| + | * [http://www.ensiie.fr/~guillaume.burel/ Guillaume Burel] | ||
| + | * [http://www.ensiie.fr/~dubois Catherine Dubois] | ||
| − | == [http://www. | + | == [http://www.lri.fr LRI] ([http://vals.lri.fr VALS] team, formerly [http://toccata.lri.fr Toccata], formerly [http://proval.lri.fr/ ProVal]) == |
| − | [http:// | + | * [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] (moved to OCamlPro in Sep. 2013) | ||
| + | * [http://www.lri.fr/~marche/ Claude Marché] | ||
| + | * [http://tertium.org/ Andrei Paskevich] | ||
| + | * Léon Gondelman | ||
| − | [http:// | + | == [http://www.inria.fr Inria] ([http://gallium.inria.fr/ Gallium], [https://www.rocq.inria.fr/deducteam/ Deducteam], and [http://www.irisa.fr/asap/ Asap] Teams) == |
| − | [http://fabrice.lefessant.net/ Fabrice Le Fessant] | + | * [http://cristal.inria.fr/~doligez/ Damien Doligez] (local coordinator) |
| − | + | * [http://who.rocq.inria.fr/Gilles.Dowek/ Gilles Dowek] | |
| − | [http:// | + | * [http://fabrice.lefessant.net/ Fabrice Le Fessant] |
| + | * [http://www.cri.ensmp.fr/people/hermant/ Olivier Hermant] (CRI, MINES ParisTech) | ||
== [http://www.mitsubishielectric-rce.eu/ Mitsubishi Electric R&D Centre Europe] == | == [http://www.mitsubishielectric-rce.eu/ Mitsubishi Electric R&D Centre Europe] == | ||
| + | |||
| + | * David Mentré (local coordinator) | ||
== [http://www.clearsy.com/ ClearSy] == | == [http://www.clearsy.com/ ClearSy] == | ||
| + | |||
| + | * Thierry Lecomte (local coordinator) | ||
| + | * Etienne Prun | ||
| + | * Lilian Burdy | ||
| + | * Antoine Requet | ||
| + | * Hector Ruiz-Barradas | ||
== [http://www.ocamlpro.com/ OCamlPro] == | == [http://www.ocamlpro.com/ OCamlPro] == | ||
| + | |||
| + | * [http://gazagnaire.org/ Thomas Gazagnaire] (local coordinator) | ||
| + | * [http://www.iguer.info/ Mohamed Iguernelala] (since Sep. 2013) | ||
Latest revision as of 09:36, 23 February 2014
Contents |
[edit] Cedric (CPR Team)
- David Delahaye (global coordinator)
- Guillaume Burel
- Catherine Dubois
[edit] LRI (VALS team, formerly Toccata, formerly ProVal)
- Sylvain Conchon (local coordinator)
- Evelyne Contejean
- Jean-Christophe Filliâtre
- Mohamed Iguernelala (moved to OCamlPro in Sep. 2013)
- Claude Marché
- Andrei Paskevich
- Léon Gondelman
[edit] Inria (Gallium, Deducteam, and Asap Teams)
- Damien Doligez (local coordinator)
- Gilles Dowek
- Fabrice Le Fessant
- Olivier Hermant (CRI, MINES ParisTech)
[edit] Mitsubishi Electric R&D Centre Europe
- David Mentré (local coordinator)
[edit] ClearSy
- Thierry Lecomte (local coordinator)
- Etienne Prun
- Lilian Burdy
- Antoine Requet
- Hector Ruiz-Barradas
[edit] OCamlPro
- Thomas Gazagnaire (local coordinator)
- Mohamed Iguernelala (since Sep. 2013)
