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 [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: http://listserv.acm.org/scripts/wa-ACMLPX.exe?SUBED1=TEAM-ADA&A=1