[ecoop-info] ACM Conference on High Integrity Language Technology: HILT 2012, Boston (Dec. 2-6)

Greg Gicca gicca at adacore.com
Thu Oct 11 17:29:07 CEST 2012


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



More information about the ecoop-info mailing list