|
|
|
High Integrity Language Technology
ACM SIGAda’s Annual International Conference
Important Dates
Submission InformationSocial Event
Conference OfficersProgram Committee
SIGAda OfficersOverview
Grants for Educators
Sponsored by
SIGAda,
ACM’s Special Interest Group on the Ada Programming Language,
in cooperation with
SIGCSE, SIGPLAN, SIGSOFT, Ada-Europe, and the Ada Resource Association
(ACM approval pending; Cooperation approvals pending.)
December 2-6, 2012
— Boston,
Massachusetts
(USA)
Pre-conference tutorials: December 2-3
Conference: December 4-6
Call for Technical Contributions
(2-page PDF)
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.
The conference will feature keynote and invited presentations from leading experts in language technology and high-integrity systems.
|
Platinum Sponsors 
|
One Avenue de Lafayette Boston, Massachusetts 02111 (USA) Why Stay at the Conference Hotel? |
Silver Sponsors
|
