CAV 2019: 31ST INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
PROGRAM FOR SUNDAY, JULY 14TH
Days:
next day
all days

View: session overviewtalk overview

09:00-10:30 Session 1: Tutorial 1, Part 1: Solver-Aided Programming (Emina Torlak)
Chair:
Nico Rosner
11:00-12:30 Session 2: Tutorial 1, Part 2: Solver-Aided Programming (Emina Torlak)
Chair:
Nico Rosner
14:30-16:00 Session 3: Tutorial 2, Part 1: Verification with Refinement Types (Ranjit Jhala)
Chair:
Emina Torlak
16:30-18:00 Session 4: Tutorial 2, Part 2: Verification with Refinement Types (Ranjit Jhala)
Chair:
Emina Torlak
18:00-21:00 Reception (the Tavern on the Green, students only, sponsored by the Amazon Automated Reasoning Group)