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

ACM SIGAda’s High Integrity Language Technology
International Workshop on
Model-Based Development and Contract-Based Programming
as part of Embedded Systems Week (ESWEEK)

Invited Speakers

John Knight
 Your program is more complicated than you think: System Assurance and the Real-world Semantics of Software

University of Virginia

Bernard Dion
 40 years of experience in HIL languages in 15 minutes

ANSYS Systems Business Unit

Phil Koopman
 Challenges in Autonomous Vehicle Testing and Validation

Carnegie Mellon University
Department of Electrical and Computer Engineering (ECE)

Created on 4 October 2016;  website comments and corrections to ClydeRoby at ACM.Org