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

(Abstract)
Software Engineering Institute / Carnegie Mellon University

Keynote Presentations


Thomas Ball
 Correctness via Compilation to Logic

(Abstract)

Microsoft Research
 

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

(Abstract)

Spaceport America
 

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