Deadline now July 6th for ACM SIGAda High Integrity Language Technology HILT 2013 conference

Deadline now July 6th for ACM SIGAda High Integrity Language Technology HILT 2013 conference

[Tucker Taft]

The deadline for submitting papers and extended abstracts for HILT 2013 has been extended to July 6th.

The first ACM High-Integrity Language Technology conference (HILT 2012) was held last December in Boston, and it turned out to be an excellent gathering of academic, industrial, and government researchers and practitioners interested in how best to use language technology and other formal techniques to support the development, analysis, and testing of software-intensive systems.

This year HILT 2013 will be held in Pittsburgh, PA from November 10-14, just a few steps from the Software Engineering Institute and CMU.  We already have four excellent keynote/invited speakers -- Jeannette Wing, Ed Clarke, John Goodenough, and Michael Whalen, as well as some interesting tutorials (on SMT solvers, model checking, etc.), and a special session on modeling languages.  We encourage you and your colleagues to submit papers to HILT 2013 -- the due date has just been extended to July 6th.  All accepted papers will be published in the HILT 2013 proceedings and in the ACM Digital Library.

The conference website is:

   http://www.sigada.org/conf/hilt2013

A PDF version of the call for papers is at:

   http://www.sigada.org/conf/hilt2013/HILT2013-CFP.pdf

We look forward to your contributions to HILT 2013.

Sincerely,
-Tucker Taft
Program Chair, HILT 2013