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

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Sponsored by SIGAda, ACM’s Special Interest Group on the Ada Programming Language,
in cooperation with SIGAPP, SIGBED, SIGCAS, SIGCSE, SIGPLAN, SIGSOFT, Ada-Europe, and the Ada Resource Association

November 10-14, 2013 — Pittsburgh, Pennsylvania (USA)
Pre-conference tutorials: November 10-11
Conference: November 12-14

******* ******* ******* ******* *******
Attendees: Please fill out the Conference Evaluation Form at tinyurl.com/HILT2013-Evaluation
******* ******* ******* ******* *******

Early Conference Registration Rates Through November 1

Please see the Final Program (PDF) for the conference schedule and other important information.

High integrity software must not only meet correctness and performance criteria but also satisfy stringent safety and/or security demands, typically entailing certification against a relevant standard. A significant factor affecting whether and how such requirements are met is the chosen language technology and its supporting tools: not just the programming language(s) but also languages for expressing specifications, program properties, domain models, and other attributes of the software or overall system.

HILT 2013 will provide a forum for experts from academia/research, industry, and government to present the latest findings in designing, implementing, and using language technology for high integrity software. To this end we are soliciting technical papers, experience reports (including experience in teaching), and tutorial proposals on a broad range of relevant topics.

Conference Submissions

You may send submissions in MS Word, PDF, or text format. Please submit your papers via EasyChair at https://www.easychair.org/conferences/?conf=hilt2013

Conference Keynote Speakers

The conference will feature keynote and invited presentations from leading experts in language technology and high-integrity systems.

Edmund M. Clarke
(CMU BioSketch; Wikipedia BioSketch)

 Model Checking and the Curse of Dimensionality
Carnegie Mellon University
2007 ACM Turing Award

Jeannette Wing
(Microsoft Research BioSketch; Wikipedia BioSketch)

 Formal Methods: An Industrial Perspective (Abstract)
Microsoft Research

John Goodenough
(CMU/SEI BioSketch)

 Building Confidence in System Behavior (Abstract)
Carnegie Mellon University Software Engineering Institute

Invited Speakers

Michael Whalen
 Up and Out: Scaling Formal Analysis Using Model-Based Development and Architecture Modeling
University of Minnesota

Platinum Sponsors


Gold Sponsors

Microsoft Research

Silver Sponsors

Ellidiss (TNI Europe) logo
Verocel logo

Basic Exhibitors

LDRA Software Technology, Inc.


logo for Wyndham Pittsburgh University Center

Hotel Rates, Reservations, Travel

Hotel Reservations at HILT 2013
Wyndham Pittsburgh University Center

100 Lytton Avenue
Pittsburgh, Pennsylvania   15213   (USA)

Why Stay at the Conference Hotel?  

Why Should You Join ACM?

USA Visas: If you require a visa to attend HILT 2013, read this IMPORTANT VISA INFORMATION FOR NON-US SUBMITTERS.

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