Mocellin Stakehouse - FormaliSE 2026

Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil

co-located with ICSE 2026

VenueWindsor Convention Center and Hotels

Room nameMocellin Stakehouse

Room InformationNo extra information available

Program

This program is tentative and subject to change.

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, BrazilSelect other time zone

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 programSpecify 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

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

19:00 - 23:00	ICSE Organizing Committee Victory DinnerICSE Social, Networking and Special Rooms at Mocellin Stakehouse A special dinner to celebrate the success of ICSE 2026 with the organizing committee. This is a private event for the organizing committee members and invited guests.

19:00 4h Social Event		ICSE Organizing Committee Victory Dinner ICSE Social, Networking and Special Rooms

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	19:00						30						20:00						30						21:00						30						22:00						30
Mocellin Stakehouse	ICSE Social, Networking and Special Rooms ICSE Organizing Committee Victory Dinner

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45
Mocellin Stakehouse	ICSE Social, Networking and Special Rooms ICSE Organizing Committee Victory Dinner 19:00 - 23:00

Room information: Mocellin Stakehouse

This program is tentative and subject to change.

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Social, Networking and Special Rooms

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tracks

Room information: Mocellin Stakehouse

This program is tentative and subject to change.

Program Display Configuration

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Social, Networking and Special Rooms

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change