VSL 2014: VIENNA SUMMER OF LOGIC 2014
VeriSure Home Page

Second VeriSure Workshop

Overview

The purpose of VeriSure  is to explore issues at the conjunction of computer-aided verification and system assurance: roughly-speaking the interplay of proofs and safety-cases.

More information on the goals of VeriSure 2014 can be found on the VeriSure 2014 Website

Click on the Program button above left for the VeriSure 2014 program.

Note the VeriSure 2014 is a workshop and each session provides a substantial period for discussion (which the EasyChair-generated program shows as a separate session).