Sala VI - POPL 2019

Blogs (1) >>

Sun 13 - Sat 19 January 2019 Cascais, Portugal

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 3ATutorialFest at Sala VI

09:00 90m Talk		[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning 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 3BTutorialFest at Sala VI

11:00 90m Talk		[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning 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 8ATutorialFest at Sala VI

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

16:00 - 17:30	Tutorial 8BTutorialFest at Sala VI

16:00 90m Talk		[T8] Building Your Own Modular Static Analyser with Infer 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	TutorialFest Tutorial 3A																								TutorialFest Tutorial 3B																																				TutorialFest Tutorial 8A																								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

TutorialFest

TutorialFest

TutorialFest

TutorialFest

Mon 14 Jan
Displayed time zone: Belfast change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Sala VI

Program Display Configuration

Mon 14 JanDisplayed time zone: Belfast change

Mon 14 JanDisplayed time zone: Belfast change

TutorialFest

TutorialFest

TutorialFest

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