FormaliSE 2025
Sun 27 - Mon 28 April 2025
Ottawa, Ontario, Canada
co-located with
ICSE 2025
Toggle navigation
Attending
Venue: Rogers Centre, Ottawa (formerly Shaw Centre)
Venue: Offsite Special Venue
Reception venue: National Arts Centre
ICSE 2025
Registration
Food at ICSE2025
Fun Activities
Social media
Hotels
Getting Around Ottawa
Visa and Travel Authorization
Travelling to Ottawa
Travel Support
Code of Conduct
Equity, Diversity, and Inclusion Plan
Sustainability
FAQ
Program
FormaliSE Program
Your Program
Sun 27 Apr
Mon 28 Apr
Tracks
FormaliSE 2025
Research Track
Artifact Track
Organization
FormaliSE 2025 Committees
Track Committees
Research Track
Organization Committee
Research Track
Program Committee
Artifact Track
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 2025
(
series
) /
FormaliSE 2025 (
series
) /
Rogers Centre, Ottawa (formerly Shaw Centre)
/
Room information: Canada Hall 3 plus Foyer
Venue
Rogers Centre, Ottawa (formerly Shaw Centre)
Room name
Canada Hall 3 plus Foyer
Floor
3
Room number
303 + PF1 + PF2 + PF3
Capacity
1600
Room Information
Breaks and lunches
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
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+03: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
Sun 27 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
10:30
30m
Coffee break
Sunday Morning Break
ICSE Catering
12:30 - 14:00
Lunch
ICSE Catering
at
Canada Hall 3 plus Foyer
12:30
90m
Lunch
Sunday Lunch
ICSE Catering
15:30 - 16:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
15:30
30m
Break
Sunday Afternoon Break
ICSE Catering
Mon 28 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
10:30
30m
Break
Monday Morning Break
ICSE Catering
12:30 - 14:00
Lunch
ICSE Catering
at
Canada Hall 3 plus Foyer
12:30
90m
Lunch
Monday Lunch
ICSE Catering
15:30 - 16:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
15:30
30m
Break
Monday Afternoon Break
ICSE Catering
Tue 29 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
10:30
30m
Break
Tuesday Morning Break
ICSE Catering
12:30 - 14:00
Lunch
ICSE Catering
at
Canada Hall 3 plus Foyer
12:30
90m
Lunch
Tuesday Lunch
ICSE Catering
15:30 - 16:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
15:30
30m
Break
Tuesday Afternoon Break
ICSE Catering
Wed 30 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
10:30
30m
Break
Wednesday Morning Break
ICSE Catering
12:30 - 14:00
Lunch
ICSE Catering
at
Canada Hall 3 plus Foyer
12:30
90m
Lunch
Wednesday Lunch
ICSE Catering
15:30 - 16:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
15:30
30m
Break
Wednesday Afternoon Break
ICSE Catering
Thu 1 May
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
10:30
30m
Break
Thursday Morning Break
ICSE Catering
12:30 - 14:00
Lunch
ICSE Catering
at
Canada Hall 3 plus Foyer
12:30
90m
Lunch
Thursday Lunch
ICSE Catering
15:30 - 16:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
15:30
30m
Break
Thursday Afternoon Break
ICSE Catering
Fri 2 May
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
10:30
30m
Break
Friday Morning Break
ICSE Catering
12:30 - 14:00
Lunch
ICSE Catering
at
Canada Hall 3 plus Foyer
13:15
45m
Lunch
Friday Lunch
ICSE Catering
15:30 - 16:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
15:30
30m
Break
Friday Afternoon Break
ICSE Catering
Sat 3 May
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
10:30
30m
Break
Saturday Morning Break
ICSE Catering
12:30 - 14:00
Lunch
ICSE Catering
at
Canada Hall 3 plus Foyer
13:15
45m
Lunch
Saturday Lunch
ICSE Catering
15:30 - 16:00
Break
ICSE Catering
at
Canada Hall 3 plus Foyer
15:30
30m
Break
Saturday Afternoon Break
ICSE Catering
Sun 27 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Canada Hall 3 plus Foyer
ICSE Catering
Break
ICSE Catering
Lunch
ICSE Catering
Break
Mon 28 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Canada Hall 3 plus Foyer
ICSE Catering
Break
ICSE Catering
Lunch
ICSE Catering
Break
Tue 29 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Canada Hall 3 plus Foyer
ICSE Catering
Break
ICSE Catering
Lunch
ICSE Catering
Break
Wed 30 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Canada Hall 3 plus Foyer
ICSE Catering
Break
ICSE Catering
Lunch
ICSE Catering
Break
Thu 1 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Canada Hall 3 plus Foyer
ICSE Catering
Break
ICSE Catering
Lunch
ICSE Catering
Break
Fri 2 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Canada Hall 3 plus Foyer
ICSE Catering
Break
ICSE Catering
Lunch
ICSE Catering
Break
Sat 3 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Canada Hall 3 plus Foyer
ICSE Catering
Break
ICSE Catering
Lunch
ICSE Catering
Break
Sun 27 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
Canada Hall 3 plus Foyer
ICSE Catering
Sunday Morning Break
10:30 - 11:00
ICSE Catering
Sunday Lunch
12:30 - 14:00
ICSE Catering
Sunday Afternoon Break
15:30 - 16:00
Mon 28 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
Canada Hall 3 plus Foyer
ICSE Catering
Monday Morning Break
10:30 - 11:00
ICSE Catering
Monday Lunch
12:30 - 14:00
ICSE Catering
Monday Afternoon Break
15:30 - 16:00
Tue 29 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
Canada Hall 3 plus Foyer
ICSE Catering
Tuesday Morning Break
10:30 - 11:00
ICSE Catering
Tuesday Lunch
12:30 - 14:00
ICSE Catering
Tuesday Afternoon Break
15:30 - 16:00
Wed 30 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
Canada Hall 3 plus Foyer
ICSE Catering
Wednesday Morning Break
10:30 - 11:00
ICSE Catering
Wednesday Lunch
12:30 - 14:00
ICSE Catering
Wednesday Afternoon Break
15:30 - 16:00
Thu 1 May
Displayed time zone:
Eastern Time (US & Canada)
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
Canada Hall 3 plus Foyer
ICSE Catering
Thursday Morning Break
10:30 - 11:00
ICSE Catering
Thursday Lunch
12:30 - 14:00
ICSE Catering
Thursday Afternoon Break
15:30 - 16:00
Fri 2 May
Displayed time zone:
Eastern Time (US & Canada)
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
Canada Hall 3 plus Foyer
ICSE Catering
Friday Morning Break
10:30 - 11:00
ICSE Catering
Friday Lunch
13:15 - 14:00
ICSE Catering
Friday Afternoon Break
15:30 - 16:00
Sat 3 May
Displayed time zone:
Eastern Time (US & Canada)
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
Canada Hall 3 plus Foyer
ICSE Catering
Saturday Morning Break
10:30 - 11:00
ICSE Catering
Saturday Lunch
13:15 - 14:00
ICSE Catering
Saturday Afternoon Break
15:30 - 16:00
x
Mon 31 Mar 16:06