[SystemSafety] Call for Participation: HILT 2013 (High Integrity Language Technology)

[Ben Brosgol]

ACM HILT 2013, Annual High Integrity Language Technology Conference
Call for Technical Contributions

Developing and Certifying Critical Software

Pittsburgh, Pennsylvania, USA
November 10-14, 2013
Sponsored by ACM SIGAda:
    http://www.sigada.org/conf/hilt2013

    PDF version of Call for papers:
       http://www.sigada.org/conf/hilt2013/HILT2013-CFP.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 2013 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.

POSSIBLE TOPICS INCLUDE BUT ARE NOT LIMITED TO:

* New developments in formal methods
* Multicore and high integrity systems
* Object-Oriented Programming in high integrity systems
* High-integrity languages (e.g., SPARK)
* Use of high reliability profiles such as Ravenscar
* Use of language subsets (e.g., MISRA C, MISRA C++)
* Software safety standards (e.g., DO-178B and DO-178C)
* Typed/Proof-Carrying Intermediate Languages
* Contract-based programming (e.g., Ada 2012)
* Model-based development for critical systems
* Specification languages (e.g., Z)
* Annotation languages (e.g., JML)

* Teaching high integrity development
* Case studies of high integrity systems
* Real-time networking/quality of service guarantees
* Analysis, testing, and validation
* Static and dynamic analysis of code
* System Architecture and Design including Service-Oriented Architecture 
and Agile Development
* Information Assurance
* Security and the Common Criteria / Common Evaluation Methodology
* Architecture design languages (e.g., AADL)
* Fault tolerance and recovery

KINDS OF TECHNICAL CONTRIBUTIONS

TECHNICAL ARTICLES
present significant results in research, practice, or education. 
Articles are typically 10-20 pages in length. These papers will be 
double-blind refereed and published in the Conference Proceedings and in 
ACM Ada Letters. The Proceedings will be entered into the widely 
consulted ACM Digital Library accessible online to university campuses, 
ACM’s 100,000 members, and the software community.

EXTENDED ABSTRACTS
discuss current work for which early submission of a full paper may be 
premature. If your abstract is accepted, a full paper is required and 
will appear in the proceedings. Extended abstracts will be double-blind 
refereed. In 5 pages or less, clearly state the work’s contribution, its 
relationship with previous work by you and others (with bibliographic 
references), results to date, and future directions.

EXPERIENCE REPORTS
present timely results and “lessons learned”. Submit a 1-2 page 
description of the project and the key points of interest. Descriptions 
will be published in the final program or proceedings, but a paper will 
not be required.

PANEL SESSIONS
gather groups of experts on particular topics. Panelists present their 
views and then exchange views with each other and the audience. Panel 
proposals should be 1-2 pages in length, identifying the topic, 
coordinator, and potential panelists.

INDUSTRIAL PRESENTATIONS
Authors of industrial presentations are invited to submit a short 
overview (at least 1 page in size) of the proposed presentation and, if 
selected, a subsequent abstract for a 30-minute talk. The authors of 
accepted presentations will be invited to submit corresponding articles 
for ACM Ada Letters.

WORKSHOPS
are focused sessions that allow knowledgeable professionals to explore 
issues, exchange views, and perhaps produce a report on a particular 
subject. Workshop proposals, up to 5 pages in length, will be selected 
based on their applicability to the conference and potential for 
attracting participants.

TUTORIALS
can address a broad spectrum of topics relevant to the conference theme. 
Submissions will be evaluated based on applicability, suitability for 
presentation in tutorial format, and presenter’s expertise. Tutorial 
proposals should include the expected level of experience of 
participants, an abstract or outline, the qualifications of the 
instructor(s), and the length of the tutorial (half day or full day).

HOW TO SUBMIT: Except for Tutorial proposals use:

  http://www.easychair.org/conferences/?conf=hilt2013

At least one author is required to register and make a presentation at 
the conference.
?
Submission Deadlines:

 >> June 29, 2013 <<
Tutorial proposals:
   John McCormick, Tutorials Chair mailto:mccormick at cs.uni.edu

 >> June 29, 2013 <<
Technical articles, extended abstracts, experience reports, panel 
session proposals, or workshop proposals, at:
   http://www.easychair.org/conferences/?conf=hilt2013

 >> August 1, 2013 <<
Industrial presentation proposals (overview)
   http://www.easychair.org/conferences/?conf=hilt2013

 >> September 30, 2013 <<
Industrial presentation proposals (abstract)
   http://www.easychair.org/conferences/?conf=hilt2013

FURTHER INFORMATION:

CONFERENCE GRANTS FOR EDUCATORS:
The ACM SIGAda Conference Grants program is designed to help educators 
introduce, strengthen, and expand the use of Ada and related 
technologies in school, college, and university curricula. The 
Conference welcomes a grant application from anyone whose goals meet 
this description. The benefits include full conference registration with 
proceedings and registration costs for 2 days of conference 
tutorials/workshops. Partial travel funding is also available from 
AdaCore to faculty and students from GNAT Academic Program member 
institutions, which can be combined with conference grants.

For more details visit the conference web site:
   http://www.sigada.org/conf/hilt2013
or contact Prof. Michael B. Feldman (MFeldman at gwu.edu)

OUTSTANDING STUDENT PAPER AWARD:
An award will be given to the student author(s) of the paper selected by 
the program committee as the outstanding student contribution to the 
conference.

SPONSORS AND EXHIBITORS:
Please contact Greg Gicca (greggicca at gmail.com) to learn the benefits of 
becoming a sponsor and/or exhibitor at HILT 2013:
   http://www.sigada.org/conf/hilt2013/exhibit-and-sponsor-fees.html

IMPORTANT INFORMATION FOR NON-US SUBMITTERS:
International registrants should be particularly aware and careful about 
visa requirements, and should plan travel well in advance. Visit the 
conference website for detailed information pertaining to visas.

ANY QUESTIONS?
Please send email to mailto:SIGAda.HILT2013 at acm.org, or contact:

* Conference Chair (Jeff Boleng, jlboleng at SEI.CMU.EDU),
* Program Chair (S. Tucker Taft, taft at adacore.com),
* SIGAda’s Vice-Chair for Meetings and Conferences (Alok Srivastava, 
alok.srivastava at tasc.com),
* SIGAda’s Chair (Ricky E. Sward, rsward at mitre.org).