A satellite workshop of FM 2014, Singapore, 13th May 2014
AI4FM 2014 programme
9:00: Introduction: AI4FM 2014Cliff Jones, Newcastle University
9:05: Using Dafny for Programs and ProofRustan Leino, Microsoft Research
10:00: Coffee
10:30: Invariants without ToilDominique Méry, LORIA and Université de Lorraine
11:00: Specification for Termination and Non-TerminationTon Chanh Le and Wei-Ngan Chin, National University of Singapore
11:30: Building a Proof Process Capture SystemAndrius Velykis, Newcastle University
12:00: Discussion
12:30: Lunch
14:00: Tinkering by Theory FormationGudmund Grov (Heriot-Watt University), Colin Farquhar, Alison Pease and Simon Colton
14:30: Using Machine Learning in the Automatic Translation of Object PropositionsLigia Nistor and Jonathan Aldrich, Carnegie Mellon University
15:00: Proof Engineering Challenges for Large-Scale VerificationGerwin Klein, NICTA
15:30: Discussion
Proceedings
The proceedings of the workshop have been published as a technical report
accessible from the Heriot-Watt Technical Report Series here. Alternatively
download the proceedings directly here.