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
Complete 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
) /
Co-located Events
/
Room information: ICPC Social Room
Venue
Co-located Events
Room name
ICPC Social Room
Room Information
No extra information available
Information for Participants
Info for room
ICPC Social Room
:
Go directly to this room on
Clowdr
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 18 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:30 - 12:00
Social Session
ICPC Research
at
ICPC Social Room
11:30
30m
Social Event
Introduction to the social program
ICPC Research
18:00 - 19:00
Open Session
ICPC Research
at
ICPC Social Room
18:00
60m
Social Event
Mental health in Academia
ICPC Research
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:10 - 12:00
Social Session
ICPC Research
at
ICPC Social Room
11:10
50m
Social Event
Free social Room/Happy hour Together/Drink and Science
ICPC Research
18:10 - 19:00
Social Session
ICPC Research
at
ICPC Social Room
18:10
50m
Social Event
Quiz- How much do you know about ICPC?
ICPC Research
Thu 20 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
03:00 - 04:00
AMA Session
ICPC Research
at
ICPC Social Room
03:00
60m
Social Event
How to write socio-technical papers in ICPC Community
ICPC Research
Bonita Sharif
University of Nebraska-Lincoln, USA
,
Foutse Khomh
Polytechnique Montréal
,
Eliane Wiese
University of Utah
11:30 - 12:00
Social Session
ICPC Research
at
ICPC Social Room
11:30
30m
Social Event
Free social Room/Happy hour Together/Drink and Science
ICPC Research
18:10 - 19:00
Social Session
ICPC Research
at
ICPC Social Room
18:10
50m
Social Event
Pet Event
ICPC Research
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
03:00 - 04:00
Social Session
ICPC Research
at
ICPC Social Room
03:00
60m
Social Event
Free social Room/Coffee Time
ICPC Research
Tue 18 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
ICPC Social Room
ICPC Research
Social Session
ICPC Research
Open Session
Wed 19 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
ICPC Social Room
ICPC Research
Social Session
ICPC Research
Social Session
Thu 20 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
ICPC Social Room
ICPC Research
AMA Session
ICPC Research
Social Session
ICPC Research
Social Session
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
3:00
30
ICPC Social Room
ICPC Research
Social Session
Tue 18 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
ICPC Social Room
ICPC Research
Introduction to the social program
11:30 - 12:00
ICPC Research
Mental health in Academia
18:00 - 19:00
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
ICPC Social Room
ICPC Research
Free social Room/Happy hour Together/Drink and Science
11:10 - 12:00
ICPC Research
Quiz- How much do you know about ICPC?
18:10 - 19:00
Thu 20 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
ICPC Social Room
ICPC Research
How to write socio-technical papers in ICPC Community
03:00 - 04:00
ICPC Research
Free social Room/Happy hour Together/Drink and Science
11:30 - 12:00
ICPC Research
Pet Event
18:10 - 19:00
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
3:00
15
30
45
ICPC Social Room
ICPC Research
Free social Room/Coffee Time
03:00 - 04:00
Information for Participants
Tue 18 May 2021 11:30 - 12:00 at
ICPC Social Room
-
Social Session
Info for room
ICPC Social Room
:
Go directly to this room on
Clowdr
Information for Participants
Tue 18 May 2021 18:00 - 19:00 at
ICPC Social Room
-
Open Session
Info for room
ICPC Social Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 11:10 - 12:00 at
ICPC Social Room
-
Social Session
Info for room
ICPC Social Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 18:10 - 19:00 at
ICPC Social Room
-
Social Session
Info for room
ICPC Social Room
:
Go directly to this room on
Clowdr
Information for Participants
Thu 20 May 2021 03:00 - 04:00 at
ICPC Social Room
-
AMA Session
Info for room
ICPC Social Room
:
Go directly to this room on
Clowdr
Information for Participants
Thu 20 May 2021 11:30 - 12:00 at
ICPC Social Room
-
Social Session
Info for room
ICPC Social Room
:
Go directly to this room on
Clowdr
Information for Participants
Thu 20 May 2021 18:10 - 19:00 at
ICPC Social Room
-
Social Session
Info for room
ICPC Social Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 03:00 - 04:00 at
ICPC Social Room
-
Social Session
Info for room
ICPC Social Room
:
Go directly to this room on
Clowdr
x
Tue 12 Nov 19:49