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: Networking and Culture Room 2
Venue
Main Conference
Room name
Networking and Culture Room 2
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
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
23:00 - 23:30
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
23:00
30m
Meeting
Mentoring circle led by Joanne M. Atlee
ICSE Social and Networking
Joanne M. Atlee
University of Waterloo
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:00 - 15:30
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
15:00
30m
Meeting
Mentoring circle led by Alexander Serebrenik
ICSE Social and Networking
Alexander Serebrenik
Eindhoven University of Technology
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
14:45 - 15:15
Bookable Event
ICSE Social and Networking
at
Networking and Culture Room 2
+32h
Chair(s):
Valentina Lenarduzzi
LUT University
Go directly to this room on
Clowdr
14:45
30m
Panel
COST Action Network on Gender Balance
ICSE Social and Networking
Barbora Buhnova
Masaryk University
,
Letizia Jaccheri
Norwegian University of Science and Technology
Media Attached
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:45 - 11:15
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
Chair(s):
Abhik Roychoudhury
National University of Singapore
10:45
30m
Meeting
Mentoring circle led by Abhik Roychoudhury
ICSE Social and Networking
Abhik Roychoudhury
National University of Singapore
15:30 - 16:00
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
Chair(s):
Jonathan Bell
Northeastern University
15:30
30m
Meeting
Mentoring circle led by Jonathan Bell
ICSE Social and Networking
Jonathan Bell
Northeastern University
22:45 - 23:15
Bookable Event
ICSE Social and Networking
at
Networking and Culture Room 2
Go directly to this room on
Clowdr
22:45
30m
Panel
COST Action Network on Gender Balance
ICSE Social and Networking
Barbora Buhnova
Masaryk University
,
Letizia Jaccheri
Norwegian University of Science and Technology
Media Attached
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
03:30 - 04:00
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
Chair(s):
Gail Murphy
University of British Columbia
03:30
30m
Meeting
Mentoring circle led by Gail Murphy
ICSE Social and Networking
Gail Murphy
University of British Columbia
06:15 - 06:45
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
Chair(s):
Tao Xie
Peking University
06:15
30m
Meeting
Mentoring circle led by Tao Xie
ICSE Social and Networking
Tao Xie
Peking University
14:30 - 15:00
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
Chair(s):
Patricia Lago
Vrije Universiteit Amsterdam
14:30
30m
Meeting
Mentoring circle led by Patricia Lago
ICSE Social and Networking
Patricia Lago
Vrije Universiteit Amsterdam
18:45 - 19:15
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
Chair(s):
Thomas Zimmermann
Microsoft Research
18:45
30m
Meeting
Mentoring circle led by Thomas Zimmermann
ICSE Social and Networking
Thomas Zimmermann
Microsoft Research
20:15 - 20:45
Bookable Event
ICSE Social and Networking
at
Networking and Culture Room 2
+12h
Chair(s):
Ivica Crnkovic
Chalmers University of Technology
,
Lucy Ellen Lwakatare
University of Helsinki, Finland
Go directly to this room on
Clowdr
20:15
30m
Panel
How to Engineer AI-Systems? – an Overview of 1st Workshop on AI Engineering – Software Engineering for AI
ICSE Social and Networking
Media Attached
Fri 28 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
06:45 - 07:15
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
Chair(s):
Julia Rubin
University of British Columbia, Canada
06:45
30m
Meeting
Mentoring circle led by Julia Rubin
ICSE Social and Networking
Julia Rubin
University of British Columbia, Canada
08:15 - 08:45
Bookable Event
ICSE Social and Networking
at
Networking and Culture Room 2
08:15
30m
Panel
How to Engineer AI-Systems? – an Overview of 1st Workshop on AI Engineering – Software Engineering for AI
ICSE Social and Networking
Media Attached
10:55 - 11:25
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
Chair(s):
Lars Grunske
Humboldt University of Berlin
10:55
30m
Meeting
Mentoring circle led by Lars Grunske
ICSE Social and Networking
Lars Grunske
Humboldt University of Berlin
14:30 - 15:00
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
Chair(s):
Diomidis Spinellis
Athens University of Economics and Business & TU Delft
14:30
30m
Meeting
Mentoring circle led by Diomidis Spinellis
ICSE Social and Networking
Diomidis Spinellis
Athens University of Economics and Business & TU Delft
16:05 - 16:35
Bookable Event
ICSE Social and Networking
at
Networking and Culture Room 2
Chair(s):
Alexander Serebrenik
Eindhoven University of Technology
Go directly to this room on
Clowdr
16:05
30m
Panel
Meet ICPC!
ICSE Social and Networking
Mon 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
20:00 - 20:30
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
20:00
30m
Meeting
Mentoring circle led by Arie van Deursen
ICSE Social and Networking
Arie van Deursen
Delft University of Technology, Netherlands
Thu 3 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
01:00 - 01:30
Mentoring circle
ICSE Social and Networking
at
Networking and Culture Room 2
01:00
30m
Meeting
Mentoring circle led by John Grundy
ICSE Social and Networking
John Grundy
Monash University
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
23:00
30
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle
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
Networking and Culture Room 2
ICSE Social and Networking
ICSE Social and Networking
Bookable Event
ICSE Social and Networking
ICSE Social and Networking
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
Networking and Culture Room 2
ICSE Social and Networking
ICSE Social and Networking
ICSE Social and Networking
Mentoring circle
ICSE Social and Networking
Mentoring circle
ICSE Social and Networking
ICSE Social and Networking
Bookable Event
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
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle
ICSE Social and Networking
Mentoring circle
ICSE Social and Networking
Mentoring circle
ICSE Social and Networking
Mentoring circle
ICSE Social and Networking
Bookable Event
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
Networking and Culture Room 2
ICSE Social and Networking
ICSE Social and Networking
Mentoring circle
ICSE Social and Networking
Bookable Event
ICSE Social and Networking
Mentoring circle
ICSE Social and Networking
ICSE Social and Networking
Mentoring circle
ICSE Social and Networking
Bookable Event
ICSE Social and Networking
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
Networking and Culture Room 2
ICSE Social and Networking
ICSE Social and Networking
ICSE Social and Networking
Mon 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
20:00
30
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle
Thu 3 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
1:00
30
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
23:00
15
30
45
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle led by Joanne M. Atlee
23:00 - 23:30
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle led by Alexander Serebrenik
15:00 - 15:30
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
14:00
15
30
45
15:00
15
30
45
Networking and Culture Room 2
ICSE Social and Networking
COST Action Network on Gender Balance
14:45 - 15:15
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle led by Abhik Roychoudhury
10:45 - 11:15
ICSE Social and Networking
Mentoring circle led by Jonathan Bell
15:30 - 16:00
ICSE Social and Networking
COST Action Network on Gender Balance
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
20:00
15
30
45
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle led by Gail Murphy
03:30 - 04:00
ICSE Social and Networking
Mentoring circle led by Tao Xie
06:15 - 06:45
ICSE Social and Networking
Mentoring circle led by Patricia Lago
14:30 - 15:00
ICSE Social and Networking
Mentoring circle led by Thomas Zimmermann
18:45 - 19:15
ICSE Social and Networking
How to Engineer AI-Systems? – an Overview of 1st Workshop on AI Enginee ...
20:15 - 20:45
Fri 28 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle led by Julia Rubin
06:45 - 07:15
ICSE Social and Networking
How to Engineer AI-Systems? – an Overview of 1st Workshop on AI Enginee ...
08:15 - 08:45
ICSE Social and Networking
Mentoring circle led by Lars Grunske
10:55 - 11:25
ICSE Social and Networking
Mentoring circle led by Diomidis Spinellis
14:30 - 15:00
ICSE Social and Networking
Meet ICPC!
16:05 - 16:35
Mon 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
20:00
15
30
45
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle led by Arie van Deursen
20:00 - 20:30
Thu 3 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
1:00
15
30
45
Networking and Culture Room 2
ICSE Social and Networking
Mentoring circle led by John Grundy
01:00 - 01:30
Information for Participants
Wed 26 May 2021 10:45 - 11:15 at
Networking and Culture Room 2
-
Mentoring circle
Chair(s):
Abhik Roychoudhury
Info for session
x
Wed 4 Dec 09:29