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

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Invited Speakers

Michael Whalen
 Up and Out: Scaling Formal Analysis Using Model-Based Development and Architecture Modeling
Wednesday, November 13, 2:00-3:30pm
(Abstract)
University of Minnesota

Keynote Presentations


Edmund M. Clarke
(CMU BioSketch; Wikipedia BioSketch)

 Model Checking and the Curse of Dimensionality
Monday, November 12, 9:00-10:30am

Carnegie Mellon University
2007 ACM Turing Award
 

Jeannette Wing
(Microsoft Research BioSketch; Wikipedia BioSketch)

 Formal Methods: An Industrial Perspective
Thursday, November 14, 9:00-10:30am

(Abstract)

Microsoft Research
 

John Goodenough
(CMU/SEI BioSketch)

 Building Confidence in System Behavior
Wednesday, November 13, 2:00-3:30pm

(Abstract)

Carnegie Mellon University Software Engineering Institute
 

Created on 29 May 2014;  website comments and corrections to ClydeRoby at ACM.Org