By Cláudio Belo Lourenço, HASLab/INESC TEC & University of Minho.
By Prof. José Nuno Oliveira, HASLab/INESC TEC & University of Minho.
By Raju Halder, HASLab/INESC TEC & University of Minho.
By José Proença, HASLab/INESC TEC and University of Minho.
By Camille Fayollas, Université de Toulouse, France.
By Alexandre Madeira, HASLab/INESC TEC and University of Minho.
By Prof. Wolfram Kahl, McMaster University, Ontario, Canada
By Prof. Michael Harrison, Newcastle University, QMUL, and HASLab.
By Prof. Dines Bjorner, Technical, University of Denmark
By Jorge Mendes, HASLab /INESC TEC and University of Minho