Programme Committee FormaliSE

Simon Bliudze Co-chair

INRIA Lillle - Nord Europe

France

Laura Semini Co-chair

Università di Pisa - Dipartimento di Informatica

Italy

Hernan Melgratti

University of Buenos Aires, Argentina

Axel Legay

Université Catholique de Louvain, Belgium

Christiano Braga

Universidade Federal Fluminense

Brazil

Marc Frappier

Université de Sherbrooke, Canada

Nancy Day

University of Waterloo, Canada

Canada

Peter Gorm Larsen

Aarhus University

Denmark

Rabéa Ameur Boulifa

EURECOM

Stéphanie Challita

Inria, France

Hélène Coullon

IMT Atlantique

Gwen Salaün

University of Grenoble Alpes

France

Ina Schaefer

TU Braunschweig

Germany

Malte Lochau

University of Siegen

Marie-Christine Jakobs

TU Darmstadt, Germany

Germany

Marjan Sirjani

Malardalen University

Sweden

Tiziana Margaria

University of Limerick and Lero - The Irish Software Research Centre

Ireland

Maurice ter Beek

ISTI-CNR, Pisa, Italy

Mieke Massink

CNR-ISTI Pisa, Italy

Italy

Alessandro Fantechi

University of Florence

Roberta Gori

University of Pisa

Italy

Toshiaki Aoki

JAIST

Japan

Domenico Bianculli

University of Luxembourg

Luxembourg

Peter Ölveczky

University of Oslo

Antónia Lopes

University of Lisbon

Portugal

Kyungmin Bae

Pohang University of Science and Technology (POSTECH)

South Korea

Patrizio Pelliccione

Gran Sasso Science Institute (GSSI) and Chalmers | University of Gothenburg

Italy

Carlo A. Furia

Università della Svizzera italiana (USI)

Switzerland

Jan Friso Groote

Eindhoven University of Technology

Marcel Verhoef

European Space Agency

Netherlands

Ebru Aydin Gol

Middle East Technical University

Dalal Alrajeh

Imperial College London

United Kingdom

Ana Cavalcanti

University of York

United Kingdom

Paola Spoletini

Kennesaw State University

United States

Anastasia Mavridou

KBR / NASA Ames Research Center

Srđan Krstić

ETH Zürich

Switzerland