Program Committee FormaliSE

Kyungmin Bae Program Co-Chair

Pohang University of Science and Technology (POSTECH)

South Korea

Domenico Bianculli Program Co-Chair

University of Luxembourg

Luxembourg

Toshiaki Aoki

JAIST

Japan

Maurice ter Beek

ISTI-CNR, Pisa, Italy

Simon Bliudze

INRIA Lillle - Nord Europe

France

Ana Cavalcanti

University of York

United Kingdom

Yunja Choi

Kyungpook National University

South Korea

Nancy Day

University of Waterloo, Canada

Canada

Marc Frappier

Université de Sherbrooke, Canada

Carlo A. Furia

Università della Svizzera italiana (USI)

Switzerland

Ebru Aydin Gol

Middle East Technical University

Osman Hasan

National University of Sciences & Technology

Marie-Christine Jakobs

TU Darmstadt, Germany

Einar Broch Johnsen

University of Oslo

Eunsuk Kang

Carnegie Mellon University

United States

Axel Legay

Mieke Massink

CNR-ISTI Pisa, Italy

Claudio Menghi

University of Luxembourg

Magnus O. Myreen

Chalmers University of Technology, Sweden

Sweden

Kazuhiro Ogata

Japan Advanced Institute of Science and Technology

Peter Ölveczky

University of Oslo

Patrizio Pelliccione

University of L'Aquila and Chalmers | University of Gothenburg

Italy

Rahul Purandare

IIIT-Delhi

India

Matteo Rossi

Politecnico di Milano

Gwen Salaün

University of Grenoble Alpes

France

Gerardo Schneider

University of Gothenburg

Sweden

Sibylle Schupp

Hamburg University of Technology

Jorge Sousa Pinto

HASLab/INESC TEC & Universidade do Minho, Portugal

Meng Sun

Peking University

Stefano Tonetta

Fondazione Bruno Kessler, Italy

Michael Whalen

Amazon Web Services and the University of Minnesota

United States

Paola Spoletini PC Member

Kennesaw State University

United States