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-2018151583040000009: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-2018151583580000010:30 - 10:55
Talk
Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET
File Attached
CoqPL-2018151583730000010:55 - 11:20
Talk
Simon Boulier, Matthieu SozeauInria, Nicolas TabareauInria, France, Abhishek AnandCornell University
File Attached
CoqPL-2018151583880000011:20 - 11:45
Talk
File Attached
CoqPL-2018151584030000011: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-2018151584840000014:00 - 14:25
Talk
Stephanie WeirichUniversity of Pennsylvania, USA, Antoine VoizardUniversity of Pennsylvannia, Anastasiya Kravchuk-Kirilyuk University of Pennsylvania
File Attached
CoqPL-2018151584990000014:25 - 14:50
Talk
File Attached
CoqPL-2018
14:50 - 15:30: - Coq developers talk & panel at Watercourt A
CoqPL-2018151585140000014: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-2018151585560000016:00 - 16:25
Talk
Robert RandUniversity of Pennsylvania, Jennifer PaykinUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
File Attached
CoqPL-2018151585710000016:25 - 16:50
Talk
Abhishek AnandCornell University, Greg MorrisettCornell University
File Attached
CoqPL-2018151585860000016:50 - 17:15
Talk
Paul KrogmeierPurdue University, Steven KiddPurdue University, Benjamin DelawarePurdue University
File Attached
CoqPL-2018151586010000017:15 - 17:40
Talk
Edwin WestbrookGalois, Inc.
File Attached
CoqPL-2018151586160000017: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