FormaliSE 2026
Sun 12 - Mon 13 April 2026
Rio de Janeiro, Brazil
co-located with
ICSE 2026
Toggle navigation
Attending
Venue: Windsor Convention Center and Hotels
ICSE 2026
Registration
Visa and Travel Authorization
Code of Conduct
Equity, Diversity, and Inclusion Plan for ICSE 2026
Official Travel Services
Sustainability at ICSE 2026
Travel Support
In-Person Conference
Visiting Rio | Touristic Advice
Program
FormaliSE Program
Your Program
Sun 12 Apr
Mon 13 Apr
Tracks
FormaliSE 2026
FormaliSE Program
Research Track
Artifact Track
Organization
FormaliSE 2026 Committees
Track Committees
Research Track
Organization Committee
Research Track
Program Committee Chairs
Research Track
Program Committee Members
Research Track
Social Media Chair
Artifact Track
Artifact Evaluation Chairs
Artifact Track
Artifact Evaluation Committee Members
Contributors
People Index
Search
Series
Series
FormaliSE 2026
FormaliSE 2025
FormaliSE 2024
FormaliSE 2023
FormaliSE 2022
FormaliSE 2021
FormaliSE 2020
FormaliSE 2019
FormaliSE 2018
Sign in
Sign up
ICSE 2026
(
series
) /
FormaliSE 2026 (
series
) /
Windsor Convention Center and Hotels
/
Room information: Main Entrance
Venue
Windsor Convention Center and Hotels
Room name
Main Entrance
Floor
0
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-03:00) Brasilia, Distrito Federal, Brazil
.
Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, Brazil
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-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(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 12 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 17:30
Sunday Registration
ICSE Social, Networking and Special Rooms
at
Main Entrance
Registration for ICSE 2026.
08:00
9h30m
Registration
ICSE 2026 Registration
ICSE Social, Networking and Special Rooms
Mon 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 17:30
Monday Registration
ICSE Social, Networking and Special Rooms
at
Main Entrance
Registration for ICSE 2026.
08:00
9h30m
Registration
ICSE 2026 Registration
ICSE Social, Networking and Special Rooms
Tue 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 19:00
Tuesday Registration
ICSE Social, Networking and Special Rooms
at
Main Entrance
Registration for ICSE 2026.
08:00
11h
Registration
ICSE 2026 Registration
ICSE Social, Networking and Special Rooms
Wed 15 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 17:30
Wednesday Registration
ICSE Social, Networking and Special Rooms
at
Main Entrance
Registration for ICSE 2026.
08:00
9h30m
Registration
ICSE 2026 Registration
ICSE Social, Networking and Special Rooms
18:00 - 19:00
Banquet Buses
ICSE Social, Networking and Special Rooms
at
Main Entrance
18:00
60m
Other
Banquet Buses
ICSE Social, Networking and Special Rooms
Thu 16 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 17:30
Thursday Registration
ICSE Social, Networking and Special Rooms
at
Main Entrance
Registration for ICSE 2026.
08:00
9h30m
Registration
ICSE 2026 Registration
ICSE Social, Networking and Special Rooms
18:00 - 19:00
Banquet Buses
ICSE Social, Networking and Special Rooms
at
Main Entrance
18:00
60m
Other
Banquet Buses
ICSE Social, Networking and Special Rooms
Fri 17 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 17:30
Friday Registration
ICSE Social, Networking and Special Rooms
at
Main Entrance
Registration for ICSE 2026.
08:00
9h30m
Registration
ICSE 2026 Registration
ICSE Social, Networking and Special Rooms
Sat 18 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 17:30
Saturday Registration
ICSE Social, Networking and Special Rooms
at
Main Entrance
Registration for ICSE 2026.
08:00
9h30m
Registration
ICSE 2026 Registration
ICSE Social, Networking and Special Rooms
Sun 12 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
Sunday Registration
Mon 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
Monday Registration
Tue 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
Tuesday Registration
Wed 15 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
Wednesday Registration
ICSE Social, Networking and Special Rooms
Banquet Buses
Thu 16 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
Thursday Registration
ICSE Social, Networking and Special Rooms
Banquet Buses
Fri 17 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
Friday Registration
Sat 18 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
Saturday Registration
Sun 12 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
ICSE 2026 Registration
08:00 - 17:30
Mon 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
ICSE 2026 Registration
08:00 - 17:30
Tue 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
ICSE 2026 Registration
08:00 - 19:00
Wed 15 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
ICSE 2026 Registration
08:00 - 17:30
ICSE Social, Networking and Special Rooms
Banquet Buses
18:00 - 19:00
Thu 16 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
ICSE 2026 Registration
08:00 - 17:30
ICSE Social, Networking and Special Rooms
Banquet Buses
18:00 - 19:00
Fri 17 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
ICSE 2026 Registration
08:00 - 17:30
Sat 18 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Main Entrance
ICSE Social, Networking and Special Rooms
ICSE 2026 Registration
08:00 - 17:30
x
Sat 16 May 06:15