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 Bertot
CoqPL-2018151583040000009:00 - 10:00
Talk
File Attached
CoqPL-2018
10:30 - 12:10: - Tactics and Proof Engineering at Watercourt A
Chair(s): Benjamin Delaware
CoqPL-2018151583580000010:30 - 10:55
Talk
File Attached
CoqPL-2018151583730000010:55 - 11:20
Talk
File Attached
CoqPL-2018151583880000011:20 - 11:45
Talk
File Attached
CoqPL-2018151584030000011:45 - 12:10
Talk
File Attached
CoqPL-2018
14:00 - 14:50: - PL Metatheory at Watercourt A
Chair(s): Steve Zdancewic
CoqPL-2018151584840000014:00 - 14:25
Talk
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

Sat 13 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Watercourt A
09:00 - 10:00
10:30 - 12:10
14:00 - 14:50
14:50 - 15:30
16:00 - 18:05