By Ali Shoker, HASLab/INESC TEC and University of Minho.
By Prof. Pooya Farshim, Queen's University Belfast, UK.
By Prof. Rui Oliveira, HASLab/INESC TEC & University of Minho.
By Prof. Wolfram Kahl, McMaster University, Ontario, Canada
By Bernardo Portela, HASLab/INESC TEC & University of Minho.
By Prof. Michael Harrison, Newcastle University, QMUL, and HASLab.
By Prof. Dines Bjorner, Technical, University of Denmark
By João Paulo, HASLab /INESC TEC and University of Minho
By Francisco Maia, HASLab /INESC TEC and University of Minho
By Jorge Mendes, HASLab /INESC TEC and University of Minho
By Prof. Augusto Sampaio, Universidade Federal de Pernambuco (UFPE), Brazil
By Sergey Goncharov, Friedrich-Alexander-Universität Erlangen-Nürnberg.