[ecoop-info] CFP: ACM High Integrity Language Technology HILT 2013 -- due June 29
taft at adacore.com
Sat Jun 8 18:42:22 CEST 2013
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 is just three weeks away, June 29th.
The conference website is:
A PDF version of the call for papers is at:
We look forward to your contributions to HILT 2013.
Program Chair, HILT 2013
More information about the ecoop-info