Main /
MembersMain.Members HistoryHide minor edits - Show changes to output Changed line 8 from:
** to:
** Vincent Demange (post-doc ANR DynRes) Added line 3:
** Joseph Boudou (PhD under the supervision of Philippe Balbani) Changed line 6 from:
** Jean-René Courtault to:
** Jean-René Courtault (PhD in the TYPES team) Added lines 6-7:
** Jean-René Courtault, PhD in the TYPES team ** [[http://www.loria.fr/~demangev | Vincent Demange]] (post-doc ANR DynRes) Added line 6:
** [[http://personal.us.es/hvd | Hans van Ditmarsch]] (DR2 CNRS) Changed lines 2-4 from:
** Philippe ** Olivier ** Andreas to:
** [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]] (DR2 CNRS) ** [[http://www.irit.fr/~Olivier.Gasquet | Olivier Gasquet]] (PR Université Paul Sabatier) ** [[http://www.irit.fr/~Andreas.Herzig | Andreas Herzig]] (DR2 CNRS) Changed lines 6-8 from:
** ** ** to:
** [[http://www.loria.fr/~galmiche | Didier Galmiche]] (PR1 Université de Lorraine) ** [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]] (CR1 CNRS) ** [[http://www.loria.fr/~dmery | Daniel Méry]] (Mcf Université de Lorraine) Changed line 10 from:
** to:
** [[http://www.lsv.ens-cachan.fr/~demri | Stéphane Demri]] (DR2 CNRS) Changed line 1 from:
* From the to:
* From the [[http://www.irit.fr | IRIT]] Changed lines 5-6 from:
* From the * From the LSV to:
* From the [[http://www.loria.fr | LORIA]] ** Didier Galmiche (PR1 Université de Lorraine) ** Dominique Larchey-Wendling (CR1 CNRS) ** Daniel Méry (Mcf Université de Lorraine) * From the [[http://www.lsv.ens-cachan.fr | LSV]] ** Stéphane Demry (DR2 CNRS) Added lines 1-6:
* From the IRIT ** Philippe Balbiani (DR2 CNRS) ** Olivier Gasquet (PR) ** Andreas Herzig (DR2 CNRS) * From the LORIA * From the LSV |