Committees

Program Committee Chairs

Steering Committee

Adolfo Duran (Universidade Federal da Bahia, Brazil)

Phillip Wadler (University of Edinburgh, United Kingdom)

Gustavo Carvalho (Universidade Federal de Pernambuco, Brazil)

Volker Stolz (Western Norway University of Applied Sciences, Norway)

Sérgio Campos (Universidade Federal de Minas Gerais, Brazil)

Marius Minea (University of Massachusetts Amherst, USA)

Program Committee

Adenilso Simão (Universidade de São Paulo, Brazil)

Alfons Laarman (Leiden University, The Netherlands)

Aline Andrade (Universidade Federal da Bahia, Brazil)

Alvaro Miyazawa (University of York, United Kingdom)

Ana Melo (Universidade de São Paulo, Brazil)

András Vörös (Budapest University of Technology and Economics, Hungary)

Armin Biere (Albert-Ludwigs-Universität Freiburg, Germany)

Augusto Sampaio (Universidade Federal de Pernambuco, Brazil)

Clare Dixon (University of Liverpool, United Kingdom)

David Déharbe (CLEARSY Systems Engineering, France)

Dominik Ślęzak (University of Warsaw, Poland)

Elvinia Riccobene (University of Milan, Italy)

Gustavo Carvalho (Universidade Federal de Pernambuco, Brazil)

Haniel Barbosa (Universidade Federal de Minas Gerais, Brasil)

Jim Woodcock (University of York, United Kingdom)

Jose Fiadeiro (University of Dundee, United Kingdom)

Juliano Iyoda (Universidade Federal de Pernambuco, Brazil)

Kristin Yvonne Rozier (Iowa State University, USA)

Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil)

Leopoldo Teixeira (Universidade Federal de Pernambuco, Brazil)

Luis Barbosa (Universidade do Minho, Portugal)

Manfred Broy (Technische Universität München, Germany)

Marcel Oliveira (Universidade Federal do Rio Grande do Norte, Brazil)

Márcio Cornélio (Universidade Federal de Pernambuco, Brazil)

Marius Minea (University of Massachusetts Amherst, USA)

Máté Tejfel (Eotvos Lorand University Faculty of Informatics, Hungary)

Maurice ter Beek (Istituto di Scienza e Tecnologie dell’Informazione, Italy)

Michael Leuschel (Universität Düsseldorf, Germany)

Nils Timm (University of Pretoria, South Africa)

Patrícia Machado (Universidade Federal de Campina Grande, Brazil)

Peter Csaba Ölveczky (University of Oslo, Norway)

Rohit Gheyi (Universidade Federal de Campina Grande, Brazil)

Sérgio Campos (Universidade Federal de Minas Gerais, Brazil)

Sidney Nogueira (Universidade Federal Rural de Pernambuco, Brazil)

Sofiène Tahar (Concordia University, Canada)

Thierry Lecomte (CLEARSY Systems Engineering, France)

Tiago Massoni (Universidade Federal de Campina Grande, Brazil)

Tim Willemse (Eindhoven University of Technology, The Netherlands)

Volker Stolz (Western Norway University of Applied Sciences, Norway)