TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Greg Gicca <[log in to unmask]>
Reply To:
Team Ada: Ada Programming Language Advocacy
Date:
Mon, 25 Jun 2012 10:36:43 -0400
Content-Type:
text/plain
Parts/Attachments:
text/plain (62 lines)
High Integrity Language Technology - HILT 2012
ACM SIGAda's Annual International Conference
http://www.sigada.org/conf/hilt2012/


IMPORTANT DATES:
    Paper/tutorial PROPOSAL submission: June 29
    Industrial presentation PROPOSAL: August 1

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 Sys. Div.
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.

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

ATOM RSS1 RSS2