Program Committee FormaliSE

Marie-Christine Jakobs PC Chair

LMU Munich, Germany

Germany

Toby Murray PC Chair

University of Melbourne

Australia

Toshiaki Aoki Committee Member

JAIST

Japan

Ebru Aydin Gol Committee Member

Middle East Technical University

Turkey

Kyungmin Bae Committee Member

POSTECH

South Korea

Simon Bliudze Committee Member

INRIA Lillle - Nord Europe

France

Ana Cavalcanti Committee Member

University of York

United Kingdom

Nancy Day Committee Member

University of Waterloo, Canada

Canada

Rayna Dimitrova Committee Member

CISPA Helmholtz Center for Information Security

Gidon Ernst Committee Member

LMU Munich

Germany

Antonio Filieri Committee Member

AWS and Imperial College London

United States

Carlo A. Furia Committee Member

Università della Svizzera italiana (USI)

Switzerland

Marcus Gerhold Committee Member

University of Twente, The Netherlands

Ákos Hajdu Committee Member

Meta

United Kingdom

Arnd Hartmanns Committee Member

University of Twente

Netherlands

Laura Humphrey Committee Member

Air Force Research Laboratory

United States

Alexander Knapp Committee Member

Elisavet Kozyri Committee Member

Arctic University of Norway

Norway

Mieke Massink Committee Member

CNR-ISTI Pisa, Italy

Anastasia Mavridou Committee Member

KBR / NASA Ames Research Center

Hernan Melgratti Committee Member

University of Buenos Aires, Argentina

Claudio Menghi Committee Member

McMaster University, Canada

Canada

Alex Potanin Committee Member

Australian National University

Australia

Matteo Rossi Committee Member

Politecnico di Milano

Italy

Gerardo Schneider Committee Member

University of Gothenburg

Sweden

Laura Semini Committee Member

Università di Pisa - Dipartimento di Informatica

Italy

Marjan Sirjani Committee Member

Malardalen University

Sweden

Yulei Sui Committee Member

University of New South Wales, Sydney

Australia

Nils Timm Committee Member

Heike Wehrheim

Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Germany

Kirsten Winter Committee Member

Defence Science and Technology Group, Australia