Sala V -

Sun 13 - Sat 19 January 2019 Cascais, Portugal

co-located with POPL 2019

VenueHotel Cascais Miragem

Room nameSala V

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 1APOPL TutorialFest at Sala V

09:00 90m Talk		[T1] QuickChick: Property-Based Testing in Coq POPL TutorialFest Benjamin C. Pierce University of Pennsylvania, Leonidas Lampropoulos University of Pennsylvania

11:00 - 12:30	Tutorial 1BPOPL TutorialFest at Sala V

11:00 90m Talk		[T1] QuickChick: Property-Based Testing in Coq POPL TutorialFest Benjamin C. Pierce University of Pennsylvania, Leonidas Lampropoulos University of Pennsylvania

14:00 - 15:30	Tutorial 5APOPL TutorialFest at Sala V

14:00 90m Talk		[T5] Correct-by-Construction Programming in Agda POPL TutorialFest Andreas Abel Gothenburg University, Jesper Cockx Chalmers \| University of Gothenburg

16:00 - 17:30	Tutorial 5BPOPL TutorialFest at Sala V

16:00 90m Talk		[T5] Correct-by-Construction Programming in Agda POPL TutorialFest Andreas Abel Gothenburg University, Jesper Cockx Chalmers \| University of Gothenburg

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 V	POPL TutorialFest Tutorial 1A																								POPL TutorialFest Tutorial 1B																																				POPL TutorialFest Tutorial 5A																								POPL TutorialFest Tutorial 5B

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 V	POPL TutorialFest [T1] QuickChick: Property-Based Testing in Coq 09:00 - 10:30																								POPL TutorialFest [T1] QuickChick: Property-Based Testing in Coq 11:00 - 12:30																																				POPL TutorialFest [T5] Correct-by-Construction Programming in Agda 14:00 - 15:30																								POPL TutorialFest [T5] Correct-by-Construction Programming in Agda 16:00 - 17:30

Room information: Sala V

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 V

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