HILT 2014             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Invited Speaker

Peter Feiler
 AADL and Model-Based Engineering

Software Engineering Institute / Carnegie Mellon University

Keynote Presentations

Thomas Ball
 Correctness via Compilation to Logic


Microsoft Research

Christine Anderson
 From Ada9X to Spaceport America: Going Where No One Has Gone Before


Spaceport America

Created on 14 October 2014;  website comments and corrections to ClydeRoby at ACM.Org