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
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


Microsoft Research

John Goodenough
(CMU/SEI BioSketch)

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


Carnegie Mellon University Software Engineering Institute

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