Edoardo Persichetti (Florida Atlantic University)
epersichetti@fau.edu
Nicolas Sendrier (INRIA)
Maria Provost (Florida Atlantic University)
mprovost@fau.edu
Marco Baldi (Universita’ Politecnica delle Marche)
Paulo Barreto (UW Tacoma)
Tim Güneysu (Ruhr-Universität Bochum)
Nicolas Sendrier (INRIA, FR)
Jean-Pierre Tillich (INRIA, FR)
