CPP 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
VenueHotel Cascais Miragem
Room nameSala I + II
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 16 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:05: Welcome & Keynote IPOPL Research Papers at Sala I + II
Chair(s): Peter O'HearnFacebook
09:00 - 09:05
Day opening
Welcome
POPL Research Papers
Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU), Stephanie WeirichUniversity of Pennsylvania, USA
Media Attached
09:05 - 10:05
Talk
Automated Fault-Finding and Fixing at Facebook
POPL Research Papers
Mark HarmanFacebook and University College London
Media Attached

Thu 17 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

17:00 - 18:00: Business MeetingPOPL Research Papers at Sala I + II
17:00 - 17:15
Other
PC Chair Report
POPL Research Papers
Stephanie WeirichUniversity of Pennsylvania, USA
Media Attached
17:15 - 17:25
Awards
SIGPLAN Awards
POPL Research Papers
Benjamin C. PierceUniversity of Pennsylvania
Media Attached
17:25 - 17:30
Other
POPL 2020 Announcement
POPL Research Papers
Brigitte PientkaMcGill University, Lars BirkedalAarhus University
Media Attached
17:30 - 17:40
Other
NSF funding for PL
POPL Research Papers
Rance CleavelandUniversity of Maryland
Media Attached
17:40 - 17:50
Other
SIGPLAN Climate Committee Report
POPL Research Papers
Benjamin C. PierceUniversity of Pennsylvania
Media Attached
17:50 - 18:00
Other
State of SIGPLAN
POPL Research Papers
Jens PalsbergUniversity of California, Los Angeles (UCLA)
Media Attached

Fri 18 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:05: SRC Announcement & Keynote IIPOPL Research Papers / POPL Student Research Competition at Sala I + II
Chair(s): Stephanie WeirichUniversity of Pennsylvania, USA
09:00 - 09:05
Awards
SRC Announcement
POPL Student Research Competition
Niki VazouIMDEA Software Institute
Media Attached
09:05 - 10:05
Talk
Mechanized Metatheory - The Next Chapter
POPL Research Papers
Brigitte PientkaMcGill University
Media Attached File Attached

Wed 16 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Thu 17 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Fri 18 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Wed 16 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Fri 18 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change