Artifact Evaluation Committee FormaliSE Artifact Track

Ákos Hajdu Artifact Evaluation Co-Chair

Meta

United Kingdom

Lina Marsso Artifact Evaluation Co-Chair

University of Toronto

Canada

Marcelo Arroyo Committee Member

Levente Bajczi Committee Member

Budapest University of Technology and Economics

Hungary

Gustavo Carvalho Committee Member

Universidade Federal de Pernambuco

Brazil

Ruotong Cheng Committee Member

University of Toronto

Canada

Xiao Cheng Committee Member

UNSW

Australia

Sung Woo Choi Committee Member

Christophe Garion Committee Member

ISAE-SUPAERO

France

JaehunLee Committee Member

Pohang University of Science and Technology

South Korea

Kunlin Liu Committee Member

School of Computer, National University of Defense Technology, China

Claudio Mandrioli Committee Member

University of Luxembourg

Luxembourg

Pedro Ribeiro Committee Member

University of York, UK

United Kingdom

Nicola Thoben Committee Member

University of Oldenburg

Pingshi Yu Committee Member

Imperial College London

Benjamin von Berg Committee Member

Graz University of Technology

Austria

Zsófia Ádám Committee Member