Program Committee FormaliSE

Patrizio Pelliccione PC Co-Chair

University of Gothenburg & Chalmers University of Technology

Sweden

Paola Spoletini PC Co-Chair

Kennesaw State University

United States

Dalal Alrajeh

Imperial College London

United Kingdom

Keijiro Araki

Kyushu Institute of Technology, Japan

Christel Baier

TU Dresden, Germany

Germany

Domenico Bianculli

University of Luxembourg

Luxembourg

Simon Bliudze

INRIA Lillle - Nord Europe

France

Andreas Bollin

University of Klagenfurt, Austria

Einar Broch Johnsen

University of Oslo

Ana Cavalcanti

University of York, UK

Alessandro Cimatti

Fondazione Bruno Kessler

Italy

Nancy Day

University of Waterloo, Canada

Ewen Denney

NASA Ames Research Center

Juergen Dingel

Queen's University, Kingston, Ontario

Carlo A. Furia

Chalmers University of Technology

Sweden

Marieke Huisman

University of Twente

Netherlands

Marie-Christine Jakobs

LMU, Munich, Germany

Peter Gorm Larsen

Aarhus University

Denmark

Hernan Melgratti

University of Buenos Aires, Argentina

Claudio Menghi

University of Gothenburg, Sweden

Rosemary Monahan

National University of Ireland

Liliana Pasquale

University College Dublin & Lero, Ireland

Ireland

Rahul Purandare

IIIT-Delhi

India

Matteo Rossi

Politecnico di Milano

Antonella Santone

University of Molise, Italy

Gerardo Schneider

University of Gothenburg

Sweden

Jun Sun

Singapore University of Technology and Design

Singapore

Elena Troubitsyna

Abo Akademi University

Jana Tumova

KTH Royal Institute of Technology, Sweden

Michael Whalen

University of Minnesota

United States

Virginie Wiels

Onera, France

Kirsten Winter

The University of Queensland

Fatiha Zaidi

LRI, Université Paris-Sud

Maurice ter Beek

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"