FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

Lunch, Dinner, Coffee-breaks

Dates
Plenary

This program is tentative and subject to change.

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

07:00 - 19:00
Ready Room SundayICSE Social, Networking and Special Rooms at 209

The Ready Room will be available throughout the week. There will be some tables with computers where people can edit presentations (bring on a USB stick) and upload presentations to the presentation rooms through the Contact 1 website. There will also be AV technicians to help if needed.

You do not need to use the Ready Room: You have several choices: You can upload your presentation from your own computer in advance of your session (days in advance even) at the Contact 1 website (you will be sent a link). Or you can plug your computer in using an HDMI cable when you are starting your presentation. This last option is available but not recommended, since it increases the chance of delays.

There will be some tables and couches in the Ready Room where you can get work done, or have small get-togethers with people.

This room will not be ‘quiet’. If you want a quiet place to work or chill out (library quiet, no talking) then Room 209 will be available much of the time.

The Ready Room will also have some poster boards.

09:00 - 12:30
Child Care Sunday AMICSE Social, Networking and Special Rooms at 102 Child Care

Child Care at ICSE is free, but you must have registered for child care when you registered for the conference.

If you need to add child care to your registration, please contact the registration desk.

10:30 - 11:00
10:30
30m
Coffee break
Sunday Morning Break
ICSE Catering

12:30 - 14:00
12:30
90m
Lunch
Sunday Lunch
ICSE Catering

15:30 - 16:00
15:30
30m
Break
Sunday Afternoon Break
ICSE Catering

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

07:00 - 19:00
Ready Room MondayICSE Social, Networking and Special Rooms at 209

The Ready Room will be available throughout the week. There will be some tables with computers where people can edit presentations (bring on a USB stick) and upload presentations to the presentation rooms through the Contact 1 website. There will also be AV technicians to help if needed.

You do not need to use the Ready Room: You have several choices: You can upload your presentation from your own computer in advance of your session (days in advance even) at the Contact 1 website (you will be sent a link). Or you can plug your computer in using an HDMI cable when you are starting your presentation. This last option is available but not recommended, since it increases the chance of delays.

There will be some tables and couches in the Ready Room where you can get work done, or have small get-togethers with people.

This room will not be ‘quiet’. If you want a quiet place to work or chill out (library quiet, no talking) then Room 209 will be available much of the time.

The Ready Room will also have some poster boards.

09:00 - 10:30
10:30 - 11:00
10:30
30m
Break
Monday Morning Break
ICSE Catering

11:00 - 12:30
12:30 - 14:00
12:30
90m
Lunch
Monday Lunch
ICSE Catering

14:00 - 15:30
15:30 - 16:00
15:30
30m
Break
Monday Afternoon Break
ICSE Catering

16:00 - 17:30

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

07:00 - 19:00
10:30 - 11:00
10:30
30m
Break
Tuesday Morning Break
ICSE Catering

12:30 - 14:00
12:30
90m
Lunch
Tuesday Lunch
ICSE Catering

15:30 - 16:00
15:30
30m
Break
Tuesday Afternoon Break
ICSE Catering

19:00 - 22:00
Quiet Room Tuesday EveningICSE Social, Networking and Special Rooms at 202

Wed 30 Apr

Displayed time zone: Eastern Time (US & Canada) change

07:00 - 22:00
07:00 - 19:00
09:00 - 12:30
Child Care Wednesday AMICSE Social, Networking and Special Rooms at 102 Child Care

Child Care at ICSE is free, but you must have registered for child care when you registered for the conference.

If you need to add child care to your registration, please contact the registration desk.

10:30 - 11:00
10:30
30m
Break
Wednesday Morning Break
ICSE Catering

12:30 - 14:00
12:30
90m
Lunch
Wednesday Lunch
ICSE Catering

15:30 - 16:00
15:30
30m
Break
Wednesday Afternoon Break
ICSE Catering

Thu 1 May

Displayed time zone: Eastern Time (US & Canada) change

07:00 - 22:00
07:00 - 19:00
10:30 - 11:00
10:30
30m
Break
Thursday Morning Break
ICSE Catering

12:30 - 14:00
12:30
90m
Lunch
Thursday Lunch
ICSE Catering

15:30 - 16:00
15:30
30m
Break
Thursday Afternoon Break
ICSE Catering

Fri 2 May

Displayed time zone: Eastern Time (US & Canada) change

07:00 - 15:30
Quiet Room Friday Until 330ICSE Social, Networking and Special Rooms at 202
07:00 - 19:00
10:30 - 11:00
10:30
30m
Break
Friday Morning Break
ICSE Catering

12:30 - 14:00
13:15
45m
Lunch
Friday Lunch
ICSE Catering

15:30 - 16:00
15:30
30m
Break
Friday Afternoon Break
ICSE Catering

16:00 - 22:00

Sat 3 May

Displayed time zone: Eastern Time (US & Canada) change

07:00 - 17:00
10:30 - 11:00
10:30
30m
Break
Saturday Morning Break
ICSE Catering

12:30 - 14:00
13:15
45m
Lunch
Saturday Lunch
ICSE Catering

15:30 - 16:00
15:30
30m
Break
Saturday Afternoon Break
ICSE Catering

Events

Title
Friday Afternoon Break
ICSE Catering

Friday Lunch
ICSE Catering

Friday Morning Break
ICSE Catering

Monday Afternoon Break
ICSE Catering

Monday Lunch
ICSE Catering

Monday Morning Break
ICSE Catering

Saturday Afternoon Break
ICSE Catering

Saturday Lunch
ICSE Catering

Saturday Morning Break
ICSE Catering

Sunday Afternoon Break
ICSE Catering

Sunday Lunch
ICSE Catering

Sunday Morning Break
ICSE Catering

Thursday Afternoon Break
ICSE Catering

Thursday Lunch
ICSE Catering

Thursday Morning Break
ICSE Catering

Tuesday Afternoon Break
ICSE Catering

Tuesday Lunch
ICSE Catering

Tuesday Morning Break
ICSE Catering

Wednesday Afternoon Break
ICSE Catering

Wednesday Lunch
ICSE Catering

Wednesday Morning Break
ICSE Catering