Red Rover - TPSA 2025

VenueCurtis Hotel Denver

Room nameRed Rover

Floor3

Capacity110

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select 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

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:30	Viper: An Infrastructure for Automated Verification in Separation LogicPOPL Tutorials at Red Rover

09:00 90m Tutorial		Viper: An Infrastructure for Automated Verification in Separation Logic POPL Tutorials P: Peter Müller ETH Zurich, P: Thibault Dardinier ETH Zurich

11:00 - 12:30	Viper: An Infrastructure for Automated Verification in Separation LogicPOPL Tutorials at Red Rover

11:00 90m Tutorial		Viper: An Infrastructure for Automated Verification in Separation Logic POPL Tutorials P: Peter Müller ETH Zurich, P: Thibault Dardinier ETH Zurich

14:00 - 15:30	Verification of Distributed Protocols: Decidable Modeling and Invariant InferencePOPL Tutorials at Red Rover

14:00 90m Tutorial		Verification of Distributed Protocols: Decidable Modeling and Invariant Inference POPL Tutorials P: Oded Padon Weizmann Institute of Science

16:00 - 17:30	Verification of Distributed Protocols: Decidable Modeling and Invariant InferencePOPL Tutorials at Red Rover

16:00 90m Tutorial		Verification of Distributed Protocols: Decidable Modeling and Invariant Inference POPL Tutorials P: Oded Padon Weizmann Institute of Science

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change


Room	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
Red Rover	POPL Tutorials Viper: An Infrastructure for Automated Verification in Separation Logic																								POPL Tutorials Viper: An Infrastructure for Automated Verification in Separation Logic																																				POPL Tutorials Verification of Distributed Protocols: Decidable Modeling and Invariant Inference																								POPL Tutorials Verification of Distributed Protocols: Decidable Modeling and Invariant Inference

Wed 22 Jan
Displayed time zone: Mountain Time (US & Canada) change


Room	12:00						30						13:00						30
Red Rover	POPL Catering

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change


Room	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
Red Rover	POPL Tutorials Viper: An Infrastructure for Automated Verification in Separation Logic 09:00 - 10:30																								POPL Tutorials Viper: An Infrastructure for Automated Verification in Separation Logic 11:00 - 12:30																																				POPL Tutorials Verification of Distributed Protocols: Decidable Modeling and Invariant ... 14:00 - 15:30																								POPL Tutorials Verification of Distributed Protocols: Decidable Modeling and Invariant ... 16:00 - 17:30

Room information: Red Rover

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change

POPL Tutorials

POPL Tutorials

POPL Tutorials

POPL Tutorials

Wed 22 Jan
Displayed time zone: Mountain Time (US & Canada) change

POPL Catering

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change

Tracks

Room information: Red Rover

Program Display Configuration

Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change

Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change

POPL Tutorials

POPL Tutorials

POPL Tutorials

POPL Tutorials

Wed 22 JanDisplayed time zone: Mountain Time (US & Canada) change

POPL Catering

Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change

Wed 22 Jan
Displayed time zone: Mountain Time (US & Canada) change

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change