ACM Conference on High-Integrity Language Technology, HILT 2012
ACM SIGAda’s Annual International Conference
Boston, Massachusetts
December 2-3, 2012 / Tutorials
December 4-6, 2012 / Conference

Why you should attend:

Software is becoming more and more pervasive in our everyday lives and 
we count on this software to be reliable. Its failure could lead to 
financial or even physical harm.

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 languages) but also languages for expressing specifications, 
program properties, domain models, and other attributes of the software 
or overall system. HILT 2012 provides a forum for the leading experts 
from academia/research, industry, and government to present their latest 
findings in designing, implementing, and using language technology for 
high integrity software.

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

Featured Speakers and Topics:

* DARPA Information Innovation Office
High-Assurance Cyber Military Systems (HACMS):
High-Assurance Vehicles

* Massachusetts Institute of Technology
* Department of Aeronautics and Astronautics
* Engineering Systems Division
Challenges for Safety-Critical Software

* Massachusetts Institute of Technology
* Department of Electrical Engineering and Computer Science
Programming the Turing Machine

* Harvard University
* School of Engineering and Applied Sciences
Hardening Legacy C/C++ Code

* Oracle Labs
Programming Language Life Cycles

This is an exciting conference on a variety of high-reliability software 
development topics.

Visit the conference website!

For latest tutorial, program, and exhibit information and on-line 

For conference registration

Venue / Hotel:
Hyatt Regency Boston
One Avenue de Lafayette
Boston, Massachusetts (USA)
December 2-6, 2012

Corporate Sponsors Platinum: AdaCore
Corporate Sponsors Silver: Ellidiss Software, LDRA, Microsoft Research 
and TASC
Additional Exhibitors: MathWorks

Greg Gicca
HILT 2012 Publicity Chair
[log in to unmask]
646-375-0734 office
646-358-3294 fax


To unsubscribe from the TEAM-ADA list:
write to: mailto:[log in to unmask]
or click the following link: