Artifact Evaluation Committee FormaliSE

Sharar Ahmadi

Jaime Arias

CNRS; LIPN; Université Sorbonne Paris Nord

France

Levente Bajczi

Budapest University of Technology and Economics

Hungary

Laura Bussi

University of Pisa

Gustavo Carvalho

Universidade Federal de Pernambuco

Brazil

Xiao Cheng Artifact Evaluation Committee Member

University of Technology Sydney

Bishoksan Kafle

The university of Melbourne

Australia

Andreas Katis

KBR / NASA Ames Research Center

Livia Lestingi

DEIB, Politecnico di Milano

Italy

Robert Müller

University of Siegen

Germany

Pedro Ribeiro

Cedric Richter

Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Germany

Virgile Robles

Larisa Safina

INRIA Lillle - Nord Europe

France

Arnab Sharma

University of Paderborn

Germany

Martin Tappler

TU Graz; Silicon Austria Labs

Austria