spacer             spacer

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

  • Home
  • About the Conference
    • Final Program (PDF)
    • Important Dates
    • Submission Information
    • Social Event
    • Conference Officers
    • Program Committee
    • SIGAda Officers
  • Technical Program
    • Keynote / Invited Presentations
    • Schedule
    • Final Program (PDF)
    • Panels
    • Tutorials
    • Workshops and Birds-of-a-Feather Sessions
  • Educators
    • Grants for Educators
  • Exhibits and Sponsorships
    • Exhibits and Sponsorship Opportunities
    • Additional Promotional Opportunities
    • Current Exhibitors and Sponsors
    • Pictures at an Exhibition
  • News and Press
    • Overview
    • Previous Conferences
  • Registration and Travel
    • Conference Registration
    • Hotel Registration
    • Local Restaurants (PDF)
    • IMPORTANT VISA INFORMATION

Sponsored by SIGAda, ACM’s Special Interest Group on the Ada Programming Language,
in cooperation with SIGBED, SIGCSE, SIGPLAN, SIGSOFT, Ada-Europe, and the Ada Resource Association

December 2-6, 2012 — Boston, Massachusetts (USA)
Pre-conference tutorials: December 2-3
Conference: December 4-6

Please see the Final Program (PDF) for the conference schedule and other important information.

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.

Conference Submissions

The deadline for technical submissions is now closed. Please check here periodically for up-to-date information about the conference program.

Conference Keynote Speakers

The conference will feature keynote presentations from leading experts in language technology and high-integrity systems.
Keynote Presentations
spacer
Kathleen Fisher
 HACMS: High-Assurance Vehicles (Abstract)
DARPA Information Innovation Office 		spacer
Nancy Leveson
 Challenges for Safety-Critical Software (Abstract)
Massachusetts Institute of Technology
Dept. of Aeronautics and Astronautics
Engineering Systems Division 		spacer
Barbara Liskov
 Programming the Turing Machine (Abstract)
Massachusetts Institute of Technology
Department of Electrical Engineering and Computer Science 		spacer
Greg Morrisett
 Hardening Legacy C/C++ Code (Abstract)
Harvard University
School of Engineering and Applied Sciences 		spacer
Guy Steele
 Programming Language Life Cycles (Abstract)
Oracle Labs

Platinum Sponsor

spacer

Silver Sponsors

spacer       spacer

spacer       spacer

Basic Exhibitors

spacer       spacer

spacer

Hotel Rates, Reservations, Travel
Reserve by November 12 for the Special Discounted Rate

Hyatt Regency Boston
One Avenue de Lafayette
Boston, Massachusetts   02111   (USA)
Why Stay at the Conference Hotel?  

Register On-Line for HILT 2012 Now!
Conference Registration Information

Why Should You Join ACM?

USA Visas: If you require a visa to attend HILT 2012, read this IMPORTANT VISA INFORMATION FOR NON-US SUBMITTERS.
Created on 30 November 2012;  website comments and corrections to ClydeRoby at ACM.Org
Related searches:
program language abstract software sigada
gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.