OPCT 2019
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

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

Mon 14 Jan

Displayed time zone: Belfast change