Jefferson O. Andrade

Instituto Federal do Espírito Santo, Brazil

Haniel Barbosa

Universidade Federal de Minas Gerais, Brazil

Luís Soares Barbosa

Universidade do Minho; INESC TEC; UNU-EGOV, Portugal

Davide Basile

Formal Methods & Tools; ISTI-CNR, Italy

Armin Biere

University of Freiburg, Germany

Silvia Bonfanti

University of Bergamo, Italy

Gustavo Carvalho

Universidade Federal de Pernambuco, Brazil

Valentina Castiglioni

Eindhoven University of Technology, Netherlands

Márcio Cornélio

Universidade Federal de Pernambuco, Brazil

Chelsea Edmonds

University of Western Australia, Australia

Katalin Fazekas

TU Wien, Austria

Ahmed Irfan

SRI International, USA

Juliano Iyoda

Universidade Federal de Pernambuco, Brazil

Alberto Lluch Lafuente

Technical University of Denmark, Denmark

Thierry Lecomte

CLEARSY, France

Michael Leuschel

University of Düsseldorf, Germany

Livia Lestingi

Politecnico di Milano, Italy

Nianyu Li

ZGC National Laboratory, China

Lucas Lima

Universidade Federal Rural de Pernambuco, Brazil

Carlos Luna

Facultad de Ingeniería, Udelar, Uruguay

Claudio Mandrioli

University of Luxembourg, Luxembourg

Alexandra Mendes

University of Porto, Portugal

Alvaro Miyazawa

University of York, United Kingdom

Vince Molnár

Budapest University of Technology and Economics, Hungary

Rosemary Monahan

National University of Ireland, Ireland

Alexandre Mota

Universidade Federal de Pernambuco, Brazil

Sidney Nogueira

Universidade Federal Rural de Pernambuco, Brazil

Marcel Oliveira

Universidade Federal do Rio Grande do Norte, Brazil

Luigia Petre

Åbo Akademi University, Finland

Luciana Rebelo

Gran Sasso Science Institute, Italy

Philipp Rümmer

University of Regensburg; Uppsala University, Germany/Sweden

Augusto Sampaio

Universidade Federal de Pernambuco, Brazil

Hans-Jörg Schurr

The University of Iowa, USA

Maike Schwammberger

KIT, Germany

Paola Spoletini

Kennesaw State University, USA

Volker Stolz

Western Norway University of Applied Sciences, Norway

Ciprian Teodorov

Ensta Bretagne - Lab-STICC MOCS, France

Nils Timm

University of Pretoria, South Africa

Jim Woodcock

University of York, United Kingdom

Yoni Zohar

Bar-Ilan University, Israel