HILT 2016 Keynote Speakers

HILT 2016

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

Home
About the Workshop
Technical Program
- Invited Presentations
- Schedule
Sponsorships
- Sponsorship Opportunities
- Current Sponsors
Registration and Travel

Invited Speakers
John Knight Your program is more complicated than you think: System Assurance and the Real-world Semantics of Software (Abstract) University of Virginia	Bernard Dion 40 years of experience in HIL languages in 15 minutes (Abstract) ANSYS Systems Business Unit	Phil Koopman Challenges in Autonomous Vehicle Testing and Validation (Abstract) Carnegie Mellon University Department of Electrical and Computer Engineering (ECE)

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