| Name | Institution | Web page |
|---|---|---|
| Sylvie Boldo | INRIA Saclay - Île-de-France | link |
| François Clément | INRIA Paris - Rocquencourt | link |
| Jean-Christophe Filliâtre | LRI, CNRS | link |
| Micaela Mayero | LIPN, Université Paris 13 | link |
| Guillaume Melquiond | INRIA Saclay - Île-de-France | link |
| Pierre Weis | INRIA Paris - Rocquencourt | link |