Sala VI -

VenueHotel Cascais Miragem

Room nameSala VI

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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 14 Jan
Displayed time zone: Belfast change

09:00 - 10:30	Tutorial 3APOPL TutorialFest at Sala VI

09:00 90m Talk		[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning POPL TutorialFest Dominic Orchard University of Kent, UK, Harley D. Eades III Augusta University, Vilem-Benjamin Liepelt University of Kent, UK

11:00 - 12:30	Tutorial 3BPOPL TutorialFest at Sala VI

11:00 90m Talk		[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning POPL TutorialFest Dominic Orchard University of Kent, UK, Harley D. Eades III Augusta University, Vilem-Benjamin Liepelt University of Kent, UK

14:00 - 15:30	Tutorial 8APOPL TutorialFest at Sala VI

14:00 90m Talk		[T8] Building Your Own Modular Static Analyser with Infer POPL TutorialFest Jules Villard Facebook London, Ezgi Çiçek Facebook London, Mehdi Bouaziz Facebook London, Nikos Gorogiannis

16:00 - 17:30	Tutorial 8BPOPL TutorialFest at Sala VI

16:00 90m Talk		[T8] Building Your Own Modular Static Analyser with Infer POPL TutorialFest Jules Villard Facebook London, Ezgi Çiçek Facebook London, Mehdi Bouaziz Facebook London, Nikos Gorogiannis

Mon 14 Jan
Displayed time zone: Belfast 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
Sala VI	POPL TutorialFest Tutorial 3A																								POPL TutorialFest Tutorial 3B																																				POPL TutorialFest Tutorial 8A																								POPL TutorialFest Tutorial 8B

Mon 14 Jan
Displayed time zone: Belfast 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
Sala VI	POPL TutorialFest [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning 09:00 - 10:30																								POPL TutorialFest [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning 11:00 - 12:30																																				POPL TutorialFest [T8] Building Your Own Modular Static Analyser with Infer 14:00 - 15:30																								POPL TutorialFest [T8] Building Your Own Modular Static Analyser with Infer 16:00 - 17:30

Room information: Sala VI

Mon 14 Jan
Displayed time zone: Belfast change

Mon 14 Jan
Displayed time zone: Belfast change

POPL TutorialFest

POPL TutorialFest

POPL TutorialFest

POPL TutorialFest

Mon 14 Jan
Displayed time zone: Belfast change

Tracks

Room information: Sala VI

Program Display Configuration

Mon 14 JanDisplayed time zone: Belfast change

Mon 14 JanDisplayed time zone: Belfast change

POPL TutorialFest

POPL TutorialFest

POPL TutorialFest

POPL TutorialFest

Mon 14 JanDisplayed time zone: Belfast change

Mon 14 Jan
Displayed time zone: Belfast change

Mon 14 Jan
Displayed time zone: Belfast change

Mon 14 Jan
Displayed time zone: Belfast change