VenueOmni Hotel
Room nameWatercourt A
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 13 Jan
Times are displayed in time zone: Tijuana, Baja California change

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

Sat 13 Jan
Times are displayed in time zone: Tijuana, Baja California change