VSL 2014: VIENNA SUMMER OF LOGIC 2014
HOL PROGRAM
Sunday, July 13th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 22E: HOL Workshop
Location: FH, CAD 2
08:45
Welcome (abstract)
09:00
Using HOL4 to Formalize Physical Systems (abstract)
09:30
Modernising HOL's documentation (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 26I: HOL Workshop
Location: FH, CAD 2
10:45
Writing proof automation for HOL4 (abstract)
11:15
Hack Session 1 (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 31G: HOL Workshop
Location: FH, CAD 2
14:30
HOL4 Hidden Features (abstract)
15:00
New Styles of Proof (abstract)
15:30
Hack Session 2 (abstract)
16:00-16:30Coffee Break
16:30-18:30 Session 34H
Location: FH, CAD 2
16:30
Discussion Session (abstract)
17:00
Hack Session 3 (abstract)