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

Sun 7 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Ranjit Jhala at Watercourt
Chair(s): Isil Dillig
VMCAI-2018151531200000009:00 - 10:00
Talk

Mon 8 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Kenneth L. McMillan at Watercourt
Chair(s): Lenore Zuck
VMCAI-2018151539840000009:00 - 10:00
Talk
VMCAI-2018
16:00 - 17:30: VMCAI 2018 - Invited Tutorial by Mayur Naik at Watercourt
Chair(s): Jens Palsberg
VMCAI-2018151542360000016:00 - 17:30
Talk
VMCAI-2018
18:00 - 22:00: VMCAI 2018 - VMCAI Banquet at Watercourt
VMCAI-2018151543080000018:00 - 22:00
Dinner

Tue 9 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Azadeh Farzan at Watercourt
Chair(s): Isil Dillig
VMCAI-2018151548480000009:00 - 10:00
Talk
VMCAI-2018
10:30 - 12:00: VMCAI 2018 - Verifying Protocols and Systems at Watercourt
Chair(s): James Riely
VMCAI-2018151549020000010:30 - 11:00
Talk
VMCAI-2018151549200000011:00 - 11:30
Talk
VMCAI-2018151549380000011:30 - 12:00
Talk

Sun 7 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Watercourt

VMCAI 2018

Synthesis
10:30 - 12:00

VMCAI 2018

Security
16:00 - 17:30

Mon 8 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Watercourt

VMCAI 2018

Potpourri
14:00 - 15:30

Tue 9 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Watercourt