| Last name |
First name |
Institutionnal affiliation |
| Aransay |
Jesús |
Universidad de La Rioja |
| Barakat |
Mohamed |
University of Kaiserslautern |
| Basu |
Saugata |
Purdue University |
| Bembé |
Daniel |
Mathematisches Institut der Universität München |
| Bertot |
Yves |
INRIA |
| Bove |
Ana |
Univ. of Gothenburg |
| Castro-Jimenez |
Francisco-Jesus |
Universidad de Sevilla |
| Cohen |
Cyril |
INRIA Saclay - École Polytechnique |
| Coquand |
Thierry |
Goteborg University |
| Coste |
Michel |
Université de Rennes 1 |
| Delahaye |
David |
CNAM (Paris, France) |
| Dénès |
Maxime |
Inria |
| Díaz Boils |
Joaquín |
Universitat de Valencia |
| Domínguez |
César |
Universidad de La Rioja |
| Ellis |
Graham |
National University of Ireland |
| Español |
Luis |
Universidad de La Rioja |
| Gonthier |
Georges |
Microsoft Research Cambridge |
| Heras |
Jónathan |
Universidad de La Rioja |
| Ibrahim |
Adamou |
Universidad de Cantabria |
| Lambán |
Laureano |
Universidad de La Rioja |
| Lombardi |
Henri |
Université de Franche-Comté |
| Lucas |
Salvador |
DSIC, Universidad Politécnica de Valencia |
| Mahboubi |
Assia |
INRIA Microsoft Research |
| Mannaa |
Bassel |
University of Gothenburg |
| Martín Mateos |
Francisco J. |
Universidad de Sevilla |
| Mata |
Eloy |
Universidad de La Rioja |
| Montes |
Antonio |
Uni. Politècnica Catalunya |
| Mörtberg |
Anders |
University of Gothenburg |
| Pascual |
Vico |
Universidad de La Rioja |
| Perrucci |
Daniel |
Université de Rennes 1 |
| Potier |
Loïc |
INRIA |
| Poza |
María |
Universidad de La Rioja |
| Rideau |
Laurence |
Inria |
| Rinaldi |
Davide |
Ludwig Maximilian University of Munich |
| Romero |
Ana |
Universidad de La Rioja |
| ROY |
Marie-Francoise |
IRMAR Universite de Rennes 1 |
| Rubio |
Julio |
Universidad de La Rioja |
| Ruiz-Reina |
José-Luis |
Universidad de Sevilla |
| Sáenz-de-Cabezón |
Eduardo |
Universidad de La Rioja |
| Schuster |
Peter |
Universitat Munich and University of Leeds |
| Sergeraert |
Francis |
Institut Fourier - Grenoble - France |
| Spitters |
Bas |
Radboud University |
| Tassi |
Enrico |
INRIA-Microsoft Research |
