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: Panel Room
Venue
Main Conference
Room name
Panel 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
20:55 - 21:40
Panel 1
ICSE Panels
at
Panel Room
+38h5min
Chair(s):
Davide Falessi
California Polytechnic State University
,
David C. Shepherd
Virginia Commonwealth University
20:55
45m
Panel
Are academics working on the right problems?
Panel
ICSE Panels
Felienne Hermans
Leiden University
,
Titus Barik
Microsoft, USA
,
Jordi Cabot
ICREA - UOC
Media Attached
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:55 - 09:40
Panel 2
ICSE Panels
at
Panel Room
Chair(s):
Birgit Penzenstadler
Chalmers
08:55
45m
Panel
Pass the Mic: Sustainability from Around the Globe
Panel
ICSE Panels
Champika Ellawala
,
Chao Mbogo
,
Yuri Castro
Media Attached
19:50 - 20:35
Panel 3
ICSE Panels
at
Panel Room
+12h
Chair(s):
Patricia Lago
Vrije Universiteit Amsterdam
,
Gail Murphy
University of British Columbia
19:50
45m
Panel
What is a NIER paper in software engineering?
Panel
ICSE Panels
Ivica Crnkovic
Chalmers University of Technology
,
Paris Avgeriou
University of Groningen, The Netherlands
,
Liliana Pasquale
University College Dublin & Lero
,
Antonia Bertolino
CNR-ISTI
Media Attached
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
07:50 - 08:35
Panel 3
ICSE Panels
at
Panel Room
07:50
45m
Panel
What is a NIER paper in software engineering?
Panel
ICSE Panels
Ivica Crnkovic
Chalmers University of Technology
,
Paris Avgeriou
University of Groningen, The Netherlands
,
Liliana Pasquale
University College Dublin & Lero
,
Antonia Bertolino
CNR-ISTI
Media Attached
11:00 - 11:45
Panel 1
ICSE Panels
at
Panel Room
11:00
45m
Panel
Are academics working on the right problems?
Panel
ICSE Panels
Felienne Hermans
Leiden University
,
Titus Barik
Microsoft, USA
,
Jordi Cabot
ICREA - UOC
Media Attached
23:00 - 23:45
Panel 4
ICSE Panels
at
Panel Room
Chair(s):
Yu Huang
University of Michigan
,
Emerson Murphy-Hill
Google
,
Margaret-Anne Storey
University of Victoria
23:00
45m
Panel
Diversity & Inclusion Panel
ICSE Panels
Brittany Johnson
George Mason University
,
Alannah Oleson
,
Alexander Serebrenik
Eindhoven University of Technology
,
Stephanie Forrest
Arizona State University
Media Attached
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
20:00
30
21:00
30
Panel Room
ICSE Panels
Panel 1
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Panel Room
ICSE Panels
Panel 2
ICSE Panels
Panel 3
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Panel Room
ICSE Panels
Panel 3
ICSE Panels
Panel 1
ICSE Panels
Panel 4
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
20:00
15
30
45
21:00
15
30
45
Panel Room
ICSE Panels
Panel
Are academics working on the right problems?
20:55 - 21:40
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Panel Room
ICSE Panels
Panel
Pass the Mic: Sustainability from Around the Globe
08:55 - 09:40
ICSE Panels
Panel
What is a NIER paper in software engineering?
19:50 - 20:35
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Panel Room
ICSE Panels
Panel
What is a NIER paper in software engineering?
07:50 - 08:35
ICSE Panels
Panel
Are academics working on the right problems?
11:00 - 11:45
ICSE Panels
Diversity & Inclusion Panel
23:00 - 23:45
x
Wed 4 Dec 09:36