VenueOmni Hotel
Room nameWatercourt A
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sat 13 Jan

CoqPL-2018
09:00 - 10:00: - Keynote at Watercourt A
Chair(s): Yves BertotINRIA
CoqPL-201809:00 - 10:00
Talk
Lukasz CzajkaUniversity of Innsbruck, Cezary KaliszykUniversity of Innsbruck
File Attached
CoqPL-2018
10:30 - 12:10: - Tactics and Proof Engineering at Watercourt A
Chair(s): Benjamin DelawarePurdue University
CoqPL-201810:30 - 10:55
Talk
Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET
File Attached
CoqPL-201810:55 - 11:20
Talk
Simon Boulier, Matthieu SozeauInria, Nicolas TabareauInria, France, Abhishek AnandCornell University
File Attached
CoqPL-201811:20 - 11:45
Talk
File Attached
CoqPL-201811:45 - 12:10
Talk
Andrew BedfordLaval University
File Attached
CoqPL-2018
14:00 - 14:50: - PL Metatheory at Watercourt A
Chair(s): Steve ZdancewicUniversity of Pennsylvania
CoqPL-201814:00 - 14:25
Talk
Stephanie WeirichUniversity of Pennsylvania, USA, Antoine VoizardUniversity of Pennsylvannia, Anastasiya Kravchuk-Kirilyuk University of Pennsylvania
File Attached
CoqPL-201814:25 - 14:50
Talk
File Attached
CoqPL-2018
14:50 - 15:30: - Coq developers talk & panel at Watercourt A
CoqPL-201814:50 - 15:30
Talk
File Attached
CoqPL-2018
16:00 - 18:05: - Semantics and Synthesis at Watercourt A
Chair(s): Ilya SergeyUniversity College London
CoqPL-201816:00 - 16:25
Talk
Robert RandUniversity of Pennsylvania, Jennifer PaykinUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
File Attached
CoqPL-201816:25 - 16:50
Talk
Abhishek AnandCornell University, Greg MorrisettCornell University
File Attached
CoqPL-201816:50 - 17:15
Talk
Paul KrogmeierPurdue University, Steven KiddPurdue University, Benjamin DelawarePurdue University
File Attached
CoqPL-201817:15 - 17:40
Talk
Edwin WestbrookGalois, Inc.
File Attached
CoqPL-201817:40 - 18:05
Talk
Dan FruminRadboud University, Robbert KrebbersDelft University of Technology
File Attached

Sat 13 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Watercourt A
09:00 - 10:00
14:00 - 14:50