Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala I + II
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

Conference Day
Wed 16 Jan

Displayed time zone: Belfast change

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

Conference Day
Thu 17 Jan

Displayed time zone: Belfast change

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

Conference Day
Fri 18 Jan

Displayed time zone: Belfast change

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

Conference Day
Wed 16 Jan

Displayed time zone: Belfast change

Conference Day
Thu 17 Jan

Displayed time zone: Belfast change

Conference Day
Fri 18 Jan

Displayed time zone: Belfast change

Conference Day
Wed 16 Jan

Displayed time zone: Belfast change

Conference Day
Fri 18 Jan

Displayed time zone: Belfast change