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) |