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
FormaliSE 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
) /
Main Conference
/
Room information: SCORE Room
Venue
Main Conference
Room name
SCORE Room
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
19:30 - 21:15
SCORE Finalists presentation
SCORE
at
SCORE Room
Chair(s):
Sarah Beecham
Lero - The Irish Software Research Centre and University of Limerick
,
Fabio Calefato
University of Bari
,
Igor Steinmacher
Northern Arizona University, USA
,
Patanamon Thongtanunam
The University of Melbourne
19:30
5m
Day opening
SCORE 2021 Introduction
SCORE
19:35
15m
Demonstration
VBP: Support for Voice-Based Programming (VOice COmputer for Developers' Requests - VOCODER)
SCORE
Francesco Amorosini
Politecnico di Milano
,
Hilal Taha
Malardalen University
,
Serena Allkja
Politecnico di Milano
,
Alessandro Passoni
Politecnico di Milano
,
Jaime Francés
Mälardalen University
,
Alberto Cabellos Jimenez
Mälardalen University
19:50
15m
Demonstration
Howzit: Secure Peer-to-Peer Messaging
SCORE
Toni Jurjevic
,
Petar Jukica
University of Zagreb
,
Luka Guzina
Mälardalen University
,
Vasilije Milinić
,
Tea Pavićević
Mälardalen University
,
Dejana Tomašević
Mälardalen University
,
Marko Jurin
University of Zagreb
20:05
15m
Demonstration
ADR Manager
SCORE
Daniel Abajirov
University of Stuttgart
,
Manuel Merkel
University of Stuttgart
,
Katrin Bauer
University of Stuttgart
20:20
10m
Break
Break
SCORE
20:30
15m
Demonstration
Jambu Overflow - Lepic
SCORE
Vitor N. Cantão
UFPA - Federal University of Pará
,
Aian Shay
UFPA - Federal University of Pará
,
Arthur Takeshi N. Yoshikawa
JambuOverflow
,
Felipe M. R. Oliveira
UFPA - Federal University of Pará
,
Isabela L. M. Batista
UFPA - Federal University of Pará
,
Pedro Victor A. Melo
UFPA - Federal University of Pará
,
João Canavarro
UFPA - Federal University of Pará
,
Renan F. Cunha
UFPA - Federal University of Pará
20:45
15m
Demonstration
Team Katara - AI4Agile
SCORE
Phong Bach
Washington State University Everett
,
Emily Cawlfield
Washington State University Everett
,
Nain Galvan
Washington State University Everett
,
Aric Monary
Washington State University Everett
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
19:00
30
20:00
30
21:00
30
SCORE Room
SCORE
SCORE Finalists presentation
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
19:00
15
30
45
20:00
15
30
45
SCORE Room
SCORE
SCORE 2021 Introduction
19:30 - 19:35
SCORE
VBP: Support for Voice-Based Programming (VOice COmputer for Developers ...
19:35 - 19:50
SCORE
Howzit: Secure Peer-to-Peer Messaging
19:50 - 20:05
SCORE
ADR Manager
20:05 - 20:20
SCORE
Break
20:20 - 20:30
SCORE
Jambu Overflow - Lepic
20:30 - 20:45
SCORE
Team Katara - AI4Agile
20:45 - 21:00
x
Wed 4 Dec 09:48