Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
VenueMain Conference
Room nameNetworking and Culture Room 1
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 25 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:45 - 15:15
Gather.townICSE Social and Networking at Networking and Culture Room 1 +12h
Chair(s): Carolin Brandt Delft University of Technology, Davide Fucci Blekinge Institute of Technology, Fabiano Pecorelli University of Salerno
Go directly to this room on Clowdr
14:45
30m
Other
Introduction to Gather.town
ICSE Social and Networking

Media Attached
19:00 - 19:30
19:00
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

19:00
30m
Meeting
Coffee Chat: Μιλάμε ελληνικά
ICSE Social and Networking
Eleni Constantinou Eindhoven University of Technology
19:00
30m
Meeting
Coffee Chat: Falamos português!
ICSE Social and Networking
Igor Steinmacher Northern Arizona University, USA
19:00
30m
Meeting
Coffee Chat: On parle français
ICSE Social and Networking
Fabio Petrillo Université du Québec à Chicoutimi, Canada
19:00
30m
Meeting
Coffee Chat: Parliamo italiano
ICSE Social and Networking
Valentina Lenarduzzi LUT University
19:00
30m
Meeting
Coffee Chat: Blacks in Software Engineering
ICSE Social and Networking

Wed 26 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

07:00 - 07:30
07:00
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

07:00
30m
Meeting
Coffee Chat: Hablamos español
ICSE Social and Networking
José Miguel Rojas University of Leicester, UK
10:45 - 11:15
10:45
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

10:45
30m
Meeting
Coffee Chat: Hablamos español
ICSE Social and Networking
José Miguel Rojas University of Leicester, UK
15:30 - 16:00
Bookable EventICSE Social and Networking at Networking and Culture Room 1
Chair(s): María José Escalona University of Seville
Go directly to this room on Clowdr



The winner of the AST 2021 Industrial Competition was the paper entitled:

Model-based Automation of Test Scripts Generation Across Product Variants: a Railway Perspective

presented by Alessio Bucaioni and co-authored with Fabio Di Silvestro, Inderjeet Singh, Mehrdad Saadatmand, Henry Muccini and Thorvaldur Jochumsson.

The jury selected this paper mainly due to the potential of this research to be transferred to industry, especially in the context of Industry 4.0. We want to thank the participation of the authors and the jury which was composed by Dr. Laura García-Borgoñon from ITAInnova, Nicolás Sánchez from G7 Innovation and Dr. Gustavo Aragón from Deloitte.

15:30
30m
Panel
AST Industrial Competition
ICSE Social and Networking
Alessio Bucaioni Mälardalen University, Aitor Arrieta University of Mondragon, Daniel Vince , Ali Sedaghatbaf RISE Research Institutes of Sweden, Stefan Karlsson ABB AB, Mälardalen University, Chidera Biringa University of Massachusetts
18:15 - 18:45
18:15
30m
Meeting
Coffee Chat: Blacks in Software Engineering
ICSE Social and Networking

18:15
30m
Meeting
Coffee Chat: Hablamos español
ICSE Social and Networking
José Miguel Rojas University of Leicester, UK
18:15
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

22:45 - 23:15
22:45
30m
Meeting
Coffee Chat: Hablamos español
ICSE Social and Networking
José Miguel Rojas University of Leicester, UK
22:45
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

06:15 - 06:45
06:15
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

06:15
30m
Meeting
Coffee Chat: Hablamos español
ICSE Social and Networking
José Miguel Rojas University of Leicester, UK
11:00 - 11:45
Take a Coffee with the ICSE 2021 PC co-ChairsICSE Social and Networking at Networking and Culture Room 1
Chair(s): Tao Xie Peking University, Arie van Deursen Delft University of Technology, Netherlands
11:00
45m
Social Event
Take a Coffee with ICSE2021 PC co-Chairs
ICSE Social and Networking

14:30 - 15:00
14:30
30m
Meeting
Coffee Chat: Hablamos español
ICSE Social and Networking
José Miguel Rojas University of Leicester, UK
14:30
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

16:05 - 16:25
Virtual Trip to MadridICSE Culture and Sports at Networking and Culture Room 1 +12h
Chair(s): Gregorio Robles Universidad Rey Juan Carlos, David C. Shepherd Virginia Commonwealth University, Sira Vegas Universidad Politecnica de Madrid
Go directly to this room on Clowdr
16:05
20m
Social Event
Virtual trip to Madrid and Interactive Activity
ICSE Culture and Sports

Media Attached
18:45 - 19:15
18:45
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

18:45
30m
Meeting
Coffee Chat: Hablamos español
ICSE Social and Networking
José Miguel Rojas University of Leicester, UK

Fri 28 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

02:30 - 03:00
02:30
30m
Meeting
Coffee Chat: Hablamos español
ICSE Social and Networking
José Miguel Rojas University of Leicester, UK
02:30
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

06:45 - 07:15
06:45
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

06:45
30m
Meeting
Coffee Chat: Hablamos español
ICSE Social and Networking
José Miguel Rojas University of Leicester, UK
10:55 - 11:25
Take a Coffee with the ICSE 2021 Open Science ChairICSE Social and Networking at Networking and Culture Room 1
Chair(s): Daniel Graziotin University of Stuttgart
10:55
30m
Social Event
Take a Coffee with ICSE2021 Open Science Chair
ICSE Social and Networking

14:30 - 15:00
14:30
30m
Meeting
Coffee Chat: Women in Software Engineering Research
ICSE Social and Networking

14:30
30m
Meeting
Coffee Chat: Hablamos español
ICSE Social and Networking
José Miguel Rojas University of Leicester, UK
16:05 - 16:35
Take a Coffee with the ICSE 2022 PC co-ChairsICSE Social and Networking at Networking and Culture Room 1
Chair(s): Daniela Damian University of Victoria, Andreas Zeller CISPA Helmholtz Center for Information Security
16:05
30m
Social Event
Take a Coffee with ICSE2022 PC co-Chairs
ICSE Social and Networking

Tue 25 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 29 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 25 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 26 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change