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,9525bb0977393bea,start
X-Google-NewGroupId: yes
X-Google-Thread: 115aec,9525bb0977393bea,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,gid9f28aa1c7c,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.195.131 with SMTP id ie3mr4930021pbc.8.1335969957600;
        Wed, 02 May 2012 07:45:57 -0700 (PDT)
Path: 
 r9ni123789pbh.0!nntp.google.com!news2.google.com!postnews.google.com!c4g2000yqj.googlegroups.com!not-for-mail
From: Greg G <greggicca@gmail.com>
Newsgroups: 
 comp.lang.ada,comp.lang.misc,comp.edu,comp.software-eng,comp.realtime
Subject: High Integrity Language Technology, HILT 2012 conference
Date: Wed, 2 May 2012 07:45:56 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <67827e4c-45bb-46e5-b83a-6a4269b5a0c6@c4g2000yqj.googlegroups.com>
NNTP-Posting-Host: 72.185.255.242
Mime-Version: 1.0
X-Trace: posting.google.com 1335969956 11123 127.0.0.1 (2 May 2012 14:45:56
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 2 May 2012 14:45:56 +0000 (UTC)
Cc: gicca@adacore.com
Complaints-To: groups-abuse@google.com
Injection-Info: c4g2000yqj.googlegroups.com; posting-host=72.185.255.242;
 posting-account=437h3QoAAADWBBpHooFiXZcPxeR3s6-q
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:11.0) Gecko/20100101 Firefox/11.0,gzip(gfe)
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-05-02T07:45:56-07:00
List-Id: <comp.lang.ada>


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

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
gicca@adacore.com