Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Fri 18 Jan 2019 09:00 - 09:05 at Sala I + II - SRC Announcement & Keynote II Chair(s): Stephanie Weirich

Fri 18 Jan
Times are displayed in time zone: Greenwich Mean Time : 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