CPP 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
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