FormaliSE 2025
Sun 27 - Mon 28 April 2025
Ottawa, Ontario, Canada
co-located with
ICSE 2025
Toggle navigation
Attending
Venue: Rogers Centre, Ottawa (formerly Shaw Centre)
ICSE 2025
Registration
Hotels
Visa and Travel Authorization
Travelling to Ottawa
Getting Around Ottawa
Food at ICSE2025
Code of Conduct
Equity, Diversity, and Inclusion Plan
Fun Activities
Tracks
FormaliSE 2025
Research Track
Artifact Track
Organization
FormaliSE 2025 Committees
Track Committees
Research Track
Organization Committee
Research Track
Program Committee
Artifact Track
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 2025
(
series
) /
FormaliSE 2025 (
series
) /
Research Track
/
Program Committee
FormaliSE Research Track
Anastasia Mavridou
PC Co-Chair
KBR / NASA Ames Research Center
United States
Gwen Salaün
PC Co-Chair
University of Grenoble Alpes
France
Bernhard Aichernig
Committee Member
Graz University of Technology
Austria
Toshiaki Aoki
Committee Member
JAIST
Japan
Kyungmin Bae
Committee Member
POSTECH
South Korea
Domenico Bianculli
Committee Member
University of Luxembourg
Luxembourg
Simon Bliudze
Committee Member
Inria Center at the University of Lillle
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
Zhenbang Chen
Committee Member
College of Computer, National University of Defense Technology
China
Nancy Day
Committee Member
University of Waterloo, Canada
Canada
Francisco Durán
Committee Member
University of Málaga, Spain
Spain
Marie Farrell
Committee Member
The University of Manchester
United Kingdom
Carlo A. Furia
Committee Member
Università della Svizzera italiana (USI)
Switzerland
Fatemeh Ghassemi
Committee Member
University of Tehran
Iran
Divya Gopinath
Committee Member
NASA Ames (KBR Inc.)
Yann-Gaël Guéhéneuc
Committee Member
Concordia University and Polytechnique Montréal
Canada
Paula Herber
Committee Member
University of Munster, Germany
Germany
Marieke Huisman
Committee Member
University of Twente
Netherlands
Fuyuki Ishikawa
Committee Member
National Institute of Informatics
Japan
Xiaoqing Jin
Committee Member
Apple
United States
Oleksandr Kolchyn
Committee Member
Glushkov Institute of Cybernetics
Ukraine
Antónia Lopes
Committee Member
University of Lisbon
Portugal
Larissa A. Meinicke
Committee Member
Violet Ka I Pun
Committee Member
Western Norway University of Applied Sciences
Norway
Camilo Rocha
Committee Member
Pontificia Universidad Javeriana
Colombia
Cristina Seceleanu
Committee Member
Mälardalen University
Sweden
Arpit Sharma
Committee Member
Indian Institute of Science Education and Research Bhopal
India
Allison Sullivan
Committee Member
The University of Texas at Arlington
Heike Wehrheim
Committee Member
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
Germany
x
Fri 6 Dec 06:39