ACM SIGAda Conference on High Integrity Language Technology: HILT 2012,Boston (Dec. 2-6)

ACM SIGAda Conference on High Integrity Language Technology: HILT 2012,Boston (Dec. 2-6)

[Greg G]

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:

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

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

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

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

GUY L. STEELE, JR.
* Oracle Labs
Programming Language Life Cycles

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

Visit the conference website!
See http://www.sigada.org/conf/hilt2012

For latest tutorial, program, and exhibit information and on-line registration
See http://www.sigada.org/conf/hilt2012/AP-hilt2012.pdf

For conference registration
See: http://www.sigada.org/conf/hilt2012/register/index.html

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
gicca@adacore.com
646-375-0734 office
646-358-3294 fax