FormaliSE 2024
Fri 12 - Sun 21 April 2024
Lisbon, Portugal
co-located with
ICSE 2024
Toggle navigation
Attending
Congress and Conference Centre: Centro Cultural de Belém
ICSE 2024
Code of Conduct
Equity, Diversity, and Inclusion Plan
Registration
Travel Support
Visa
Accomodation
Transportation
Banquet at LX Factory
Keynotes
Sustainability
Instructions for Authors Presenting at ICSE 2024
Guidelines for Creating a Poster
Program
FormaliSE Program
Your Program
Filter by Day
Fri 12 Apr
Sat 13 Apr
Sun 14 Apr
Mon 15 Apr
Tue 16 Apr
Wed 17 Apr
Thu 18 Apr
Fri 19 Apr
Sat 20 Apr
Sun 21 Apr
Track/Call
Organization
FormaliSE 2024 Committees
Track Committees
Organization Committee
Program Committee
Artifact Evaluation 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 2024
(
series
) /
FormaliSE 2024 (
series
) /
FormaliSE 2024
/
Program Committee
FormaliSE
Carlo A. Furia
PC Chair
Università della Svizzera italiana (USI)
Switzerland
Antónia Lopes
PC Chair
University of Lisbon
Portugal
Wolfgang Ahrendt
Committee Member
Chalmers University of Technology
Sweden
Bernhard Aichernig
Committee Member
Graz University of Technology
Austria
Toshiaki Aoki
Committee Member
JAIST
Japan
Cyrille Artho
Committee Member
KTH Royal Institute of Technology, Sweden
Kyungmin Bae
Committee Member
POSTECH
South Korea
Domenico Bianculli
Committee Member
University of Luxembourg
Luxembourg
Simon Bliudze
Committee Member
INRIA Lillle - Nord Europe
France
Giovanna Broccia
Committee Member
ISTI-CNR, FMT Lab
Italy
Radu Calinescu
Committee Member
University of York, UK
United Kingdom
Pablo Castro
Committee Member
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
Argentina
Ana Cavalcanti
Committee Member
University of York
United Kingdom
João F. Ferreira
Committee Member
INESC-ID and IST, University of Lisbon
Portugal
Antonio Filieri
Committee Member
AWS and Imperial College London
United States
Amit Goel
Committee Member
AWS
United States
Paula Herber
Committee Member
University of Munster, Germany
Germany
Marieke Huisman
Committee Member
University of Twente
Netherlands
Marie-Christine Jakobs
Committee Member
LMU Munich, Germany
Germany
Eunsuk Kang
Committee Member
Carnegie Mellon University
United States
Oleksandr Kolchyn
Committee Member
Glushkov Institute of Cybernetics
Ukraine
Anastasia Mavridou
Committee Member
KBR / NASA Ames Research Center
Larissa A. Meinicke
Committee Member
Chris Poskitt
Committee Member
Singapore Management University
Singapore
Virgile Prevosto
Committee Member
Université Paris-Saclay, CEA, List
France
Violet Ka I Pun
Committee Member
Western Norway University of Applied Sciences
Matteo Rossi
Committee Member
Politecnico di Milano
Italy
Ina Schaefer
Committee Member
KIT
Germany
Cristina Seceleanu
Committee Member
Mälardalen University
Sweden
Allison Sullivan
Committee Member
University of Texas at Arlington
United States
Heike Wehrheim
Committee Member
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
Germany
Kirsten Winter
Committee Member
The University of Queensland
x
Mon 23 Dec 04:43