AI4FM / 2014

A satellite workshop of FM 2014, Singapore, 13th May 2014

  • 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


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.