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

Sat 19 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:30: Keynote & Contributed Talks 1CoqPL at Sala VI
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore
09:00 - 09:05
Day opening
CoqPL
09:05 - 10:05
Talk
CoqPL
10:05 - 10:30
Talk
CoqPL
Sam GruetterMassachusetts Institute of Technology
File Attached
11:15 - 12:30: Contributed Talks 2CoqPL at Sala VI
Chair(s): Enrico TassiINRIA
11:15 - 11:40
Talk
CoqPL
Kiran GopinathanUniversity College London, Ilya SergeyYale-NUS College and National University of Singapore
File Attached
11:40 - 12:05
Talk
CoqPL
Karl PalmskogUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign
File Attached
12:05 - 12:30
Talk
CoqPL
Thomas Dinsdale-Young, Bas SpittersAarhus University, Søren Eller ThomsenAarhus University, Daniel TschudiAarhus University
File Attached
14:00 - 15:30: Contributed Talks 3 & Coq DevelopersCoqPL at Sala VI
Chair(s): Qinxiang CaoShanghai Jiao Tong University
14:00 - 14:25
Talk
CoqPL
Vadim ZalivaCarnegie Mellon University, USA, Matthieu SozeauInria
File Attached
14:25 - 14:50
Talk
CoqPL
File Attached
14:50 - 15:30
Demonstration
CoqPL

Sat 19 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change