Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala VI
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sat 19 Jan

CoqPL-2019
09:00 - 10:30: CoqPL - Keynote & Contributed Talks 1 at Sala VI
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore
CoqPL-201909:00 - 09:05
Day opening
CoqPL-201909:05 - 10:05
Talk
CoqPL-201910:05 - 10:30
Talk
Sam GruetterMassachusetts Institute of Technology
File Attached
CoqPL-2019
11:15 - 12:30: CoqPL - Contributed Talks 2 at Sala VI
Chair(s): Enrico TassiINRIA
CoqPL-201911:15 - 11:40
Talk
Kiran GopinathanUniversity College London, Ilya SergeyYale-NUS College and National University of Singapore
File Attached
CoqPL-201911:40 - 12:05
Talk
Karl PalmskogUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
File Attached
CoqPL-201912:05 - 12:30
Talk
Thomas Dinsdale-Young, Bas SpittersAarhus University, Søren Eller ThomsenAarhus University, Daniel TschudiAarhus University
File Attached
CoqPL-2019
14:00 - 15:30: CoqPL - Contributed Talks 3 & Coq Developers at Sala VI
Chair(s): Qinxiang CaoShanghai Jiao Tong University
CoqPL-201914:00 - 14:25
Talk
Vadim ZalivaCarnegie Mellon University, USA, Matthieu SozeauInria
File Attached
CoqPL-201914:25 - 14:50
Talk
File Attached
CoqPL-201914:50 - 15:30
Demonstration
CoqPL-2019
16:00 - 17:40: CoqPL - Contributed Talks 4 at Sala VI
Chair(s): Robbert KrebbersDelft University of Technology
CoqPL-201916:00 - 16:25
Talk
Qinxiang CaoShanghai Jiao Tong University
File Attached
CoqPL-201916:25 - 16:50
Talk
Michael GreenbergPomona College, Joseph C. OsbornPomona College
File Attached
CoqPL-201916:50 - 17:15
Talk
File Attached
CoqPL-201917:15 - 17:40
Talk
Georgy LukyanovNewcastle University, UK, Andrey MokhovNewcastle University, UK
File Attached

Sat 19 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala VI