Roberto Bruttomesso (PhD student, DIT / ITC-IRST)
Alessandro Cimatti (researcher, ITC-IRST)
Anders Franzén (PhD student, DIT / ITC-IRST)
Alberto Griggio (PhD student, DIT)
Roberto Sebastiani (associate professor, DIT, University of Trento)

Gilles Audemard (assistant professor, Centre de Recherche en Informatique de Lens)
Marco Bozzano (researcher, ITC-IRST)
Tommi Junttila (researcher,  Helsinki University of Technology)
Veselin Kirov
Artur Kornilowicz (assistant professor, University of Bialystok)
Peter van Rossum (researcher, University of Nijmegen)
Alessandro Santuari (graduated student, University of Trento)
Stephan Schulz (TU Muenchen)