Group, High Integrity Language Technology - HILT 2012 ACM SIGAda's Annual International Conference http://www.sigada.org/conf/hilt2012/ Boston, Mass., USA December 2-6, 2012 Sponsored by ACM SIGAda The Industrial presentation deadline is fast approaching. An overview of proposed presentations is due August 1st. However the full abstract is not due until October 1st. If you would like to have a presentation considered please send abstracts to one of our Program CoChairs, Jeff Boleng ([log in to unmask]) or Tucker Taft ([log in to unmask]) . http://www.sigada.org/conf/hilt2012/ --- General conference information is listed below --- Keynote Presentations: Kathleen Fisher DARPA, Information Innovation Office Nancy Leveson MIT, Dept. of Aeronautics and Astronautics Engineering Systems Division Barbara Liskov MIT, Dept. of Electrical Engineering and Computer Science Greg Morrisett Harvard University, School of Engineering and Applied Sciences Guy Steele Oracle Labs Conference Summary: 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 2012 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. Important Dates Paper/tutorial proposal submission: June 29 Industrial presentation proposal: August 1 Please see the conference web site for more details and the Call for Participation: http://www.sigada.org/conf/hilt2012/ Greg Gicca HILT 2012 Publicity Chair [log in to unmask] ############################ 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