Program Committee FormaliSE

Carlo A. Furia PC Chair

Università della Svizzera italiana (USI)

Switzerland

Antónia Lopes PC Chair

University of Lisbon

Portugal

Wolfgang Ahrendt Committee Member

Chalmers University of Technology

Sweden

Bernhard Aichernig Committee Member

Graz University of Technology

Austria

Toshiaki Aoki Committee Member

JAIST

Japan

Cyrille Artho Committee Member

KTH Royal Institute of Technology, Sweden

Kyungmin Bae Committee Member

POSTECH

South Korea

Domenico Bianculli Committee Member

University of Luxembourg

Luxembourg

Simon Bliudze Committee Member

INRIA Lillle - Nord Europe

France

Giovanna Broccia Committee Member

ISTI-CNR, FMT Lab

Italy

Radu Calinescu Committee Member

University of York, UK

United Kingdom

Pablo Castro Committee Member

Dept. of Computer Science FCEFQyN, University of Rio Cuarto

Argentina

Ana Cavalcanti Committee Member

University of York

United Kingdom

João F. Ferreira Committee Member

INESC-ID and IST, University of Lisbon

Portugal

Antonio Filieri Committee Member

AWS and Imperial College London

United States

Amit Goel Committee Member

AWS

United States

Paula Herber Committee Member

University of Munster, Germany

Germany

Marieke Huisman Committee Member

University of Twente

Netherlands

Marie-Christine Jakobs Committee Member

LMU Munich, Germany

Germany

Eunsuk Kang Committee Member

Carnegie Mellon University

United States

Oleksandr Kolchyn Committee Member

Glushkov Institute of Cybernetics

Ukraine

Anastasia Mavridou Committee Member

KBR / NASA Ames Research Center

Larissa A. Meinicke Committee Member

Chris Poskitt Committee Member

Singapore Management University

Singapore

Virgile Prevosto Committee Member

Université Paris-Saclay, CEA, List

France

Violet Ka I Pun Committee Member

Western Norway University of Applied Sciences

Matteo Rossi Committee Member

Politecnico di Milano

Italy

Ina Schaefer Committee Member

KIT

Germany

Cristina Seceleanu Committee Member

Mälardalen University

Sweden

Allison Sullivan Committee Member

University of Texas at Arlington

United States

Heike Wehrheim Committee Member

Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Germany

Kirsten Winter Committee Member

The University of Queensland