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: Sponsors' Booths
Venue
Main Conference
Room name
Sponsors' Booths
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:00 - 19:30
Invenia Labs
ICSE Sponsors Exhibitions
at
Sponsors' Booths
19:00
30m
Meeting
Opportunities at Invenia Labs
ICSE Sponsors Exhibitions
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
02:45 - 03:15
Huawei
ICSE Sponsors Exhibitions
at
Sponsors' Booths
02:45
30m
Meeting
SE Research @ Huawei
ICSE Sponsors Exhibitions
10:45 - 11:15
Invenia Labs
ICSE Sponsors Exhibitions
at
Sponsors' Booths
10:45
30m
Meeting
Opportunities at Invenia Labs
ICSE Sponsors Exhibitions
18:15 - 18:45
Facebook Research
ICSE Sponsors Exhibitions
at
Sponsors' Booths
18:15
30m
Meeting
Facebook Launches New Research Award Opportunity
ICSE Sponsors Exhibitions
22:45 - 23:15
Facebook Research
ICSE Sponsors Exhibitions
at
Sponsors' Booths
22:45
30m
Meeting
Meet Facebook Recruiting & Research
ICSE Sponsors Exhibitions
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
03:30 - 04:00
Huawei
ICSE Sponsors Exhibitions
at
Sponsors' Booths
03:30
30m
Meeting
SE Research @ Huawei
ICSE Sponsors Exhibitions
14:30 - 15:00
Invenia Labs
ICSE Sponsors Exhibitions
at
Sponsors' Booths
14:30
30m
Meeting
Opportunities at Invenia Labs
ICSE Sponsors Exhibitions
18:45 - 19:15
Facebook Research
ICSE Sponsors Exhibitions
at
Sponsors' Booths
18:45
30m
Meeting
Meet Facebook Recruiting & Research
ICSE Sponsors Exhibitions
Fri 28 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
02:30 - 03:00
Huawei
ICSE Sponsors Exhibitions
at
Sponsors' Booths
02:30
30m
Meeting
SE Research @ Huawei
ICSE Sponsors Exhibitions
10:55 - 11:25
Huawei
ICSE Sponsors Exhibitions
at
Sponsors' Booths
10:55
30m
Meeting
SE Research @ Huawei
ICSE Sponsors Exhibitions
14:30 - 15:00
Invenia Labs
ICSE Sponsors Exhibitions
at
Sponsors' Booths
14:30
30m
Meeting
Opportunities at Invenia Labs
ICSE Sponsors Exhibitions
22:55 - 23:25
Facebook Research
ICSE Sponsors Exhibitions
at
Sponsors' Booths
22:55
30m
Meeting
Meet Facebook Recruiting & Research
ICSE Sponsors Exhibitions
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Sponsors' Booths
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
Invenia Labs
ICSE Sponsors Exhibitions
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Sponsors' Booths
ICSE Sponsors Exhibitions
Huawei
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
Invenia Labs
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
Facebook Research
ICSE Sponsors Exhibitions
Facebook Research
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
Sponsors' Booths
ICSE Sponsors Exhibitions
Huawei
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
Invenia Labs
ICSE Sponsors Exhibitions
Facebook Research
ICSE Sponsors Exhibitions
Fri 28 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Sponsors' Booths
ICSE Sponsors Exhibitions
Huawei
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
Huawei
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
Invenia Labs
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
Facebook Research
Sat 29 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
Sponsors' Booths
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
ICSE Sponsors Exhibitions
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
19:00
15
30
45
Sponsors' Booths
ICSE Sponsors Exhibitions
Opportunities at Invenia Labs
19:00 - 19:30
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Sponsors' Booths
ICSE Sponsors Exhibitions
SE Research @ Huawei
02:45 - 03:15
ICSE Sponsors Exhibitions
Opportunities at Invenia Labs
10:45 - 11:15
ICSE Sponsors Exhibitions
Facebook Launches New Research Award Opportunity
18:15 - 18:45
ICSE Sponsors Exhibitions
Meet Facebook Recruiting & Research
22:45 - 23:15
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Sponsors' Booths
ICSE Sponsors Exhibitions
SE Research @ Huawei
03:30 - 04:00
ICSE Sponsors Exhibitions
Opportunities at Invenia Labs
14:30 - 15:00
ICSE Sponsors Exhibitions
Meet Facebook Recruiting & Research
18:45 - 19:15
Fri 28 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Sponsors' Booths
ICSE Sponsors Exhibitions
SE Research @ Huawei
02:30 - 03:00
ICSE Sponsors Exhibitions
SE Research @ Huawei
10:55 - 11:25
ICSE Sponsors Exhibitions
Opportunities at Invenia Labs
14:30 - 15:00
ICSE Sponsors Exhibitions
Meet Facebook Recruiting & Research
22:55 - 23:25
Information for Participants
Tue 25 May 2021 19:00 - 19:30 at
Sponsors' Booths
-
Invenia Labs
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Wed 26 May 2021 02:45 - 03:15 at
Sponsors' Booths
-
Huawei
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Wed 26 May 2021 10:45 - 11:15 at
Sponsors' Booths
-
Invenia Labs
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Wed 26 May 2021 18:15 - 18:45 at
Sponsors' Booths
-
Facebook Research
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Wed 26 May 2021 22:45 - 23:15 at
Sponsors' Booths
-
Facebook Research
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Thu 27 May 2021 03:30 - 04:00 at
Sponsors' Booths
-
Huawei
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Thu 27 May 2021 14:30 - 15:00 at
Sponsors' Booths
-
Invenia Labs
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Thu 27 May 2021 18:45 - 19:15 at
Sponsors' Booths
-
Facebook Research
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Fri 28 May 2021 02:30 - 03:00 at
Sponsors' Booths
-
Huawei
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Fri 28 May 2021 10:55 - 11:25 at
Sponsors' Booths
-
Huawei
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Fri 28 May 2021 14:30 - 15:00 at
Sponsors' Booths
-
Invenia Labs
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
Information for Participants
Fri 28 May 2021 22:55 - 23:25 at
Sponsors' Booths
-
Facebook Research
Info for session
Go directly to the Sponsor’s Booth on
Clowdr
x
Wed 4 Dec 09:19