Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
Complete Program
Your Program
Tue 18 May
Wed 19 May
Thu 20 May
Fri 21 May
Track/Call
Organization
FormaliSE 2021 Committees
Track Committees
Organizing Committee
Programme Committee
Contributors
People Index
Search
Series
Series
FormaliSE 2025
FormaliSE 2024
FormaliSE 2023
FormaliSE 2022
FormaliSE 2021
FormaliSE 2020
FormaliSE 2019
FormaliSE 2018
Sign in
Sign up
ICSE 2021
(
series
) /
FormaliSE 2021
(
series
) /
FormaliSE 2021
/
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
x
Mon 7 Oct 03:55