From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,9a798d131d60c691,start X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,CP1252 Received: by 10.66.80.166 with SMTP id s6mr302491pax.30.1349969548969; Thu, 11 Oct 2012 08:32:28 -0700 (PDT) Received: by 10.52.29.174 with SMTP id l14mr256475vdh.13.1349969548908; Thu, 11 Oct 2012 08:32:28 -0700 (PDT) Path: jt13ni2809pbb.1!nntp.google.com!kr7no23011744pbb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 11 Oct 2012 08:32:28 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=65.35.142.255; posting-account=437h3QoAAADWBBpHooFiXZcPxeR3s6-q NNTP-Posting-Host: 65.35.142.255 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: ACM SIGAda Conference on High Integrity Language Technology: HILT 2012,Boston (Dec. 2-6) From: Greg G Injection-Date: Thu, 11 Oct 2012 15:32:28 +0000 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Date: 2012-10-11T08:32:28-07:00 List-Id: ACM Conference on High-Integrity Language Technology, HILT 2012 ACM SIGAda=92s Annual International Conference Boston, Massachusetts=20 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 c= ount 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 crit= eria but also satisfy stringent safety and/or security demands, typically e= ntailing certification against a relevant standard. A significant factor a= ffecting whether and how such requirements are met is the chosen language t= echnology and its supporting tools: not just the programming languages) but= also languages for expressing specifications, program properties, domain m= odels, and other attributes of the software or overall system. HILT 2012 p= rovides a forum for the leading experts from academia/research, industry, a= nd government to present their latest findings in designing, implementing, = and using language technology for high integrity software. Sponsored by SIGAda, ACM=92s 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 de= velopment topics. Visit the conference website! See http://www.sigada.org/conf/hilt2012 For latest tutorial, program, and exhibit information and on-line registrat= ion 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 --=20 ------------------ Greg Gicca HILT 2012 Publicity Chair gicca@adacore.com 646-375-0734 office 646-358-3294 fax