(email)
By Prof. José Nuno Oliveira, HASLab/INESC TEC & University of Minho.
By Raju Halder, HASLab/INESC TEC & University of Minho.
By Camille Fayollas, Université de Toulouse, France.
By José Proença, HASLab/INESC TEC and University of Minho.
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
By Prof. Augusto Sampaio, Universidade Federal de Pernambuco (UFPE), Brazil