[SystemSafety] Conference Call for Participation: ACM HILT 2014 (High Integrity Language Technology)

[Ben Brosgol]

The Third Annual ACM High Integrity Language Technology conference (HILT 
2014) will take place in Portland, Oregon (USA) during October 18-21, 
co-located with ACM's SPLASH/OOPSLA conference.

We have three excellent keynotes/invited speakers (Tom Ball of Microsoft 
Research, Christine Anderson of Spaceport America, and Peter Feiler of 
SEI/CMU), a panel on safe multicore programming languages, and special 
sessions on model-based engineering for critical software-intensive 
systems.

Papers, panel/workshop proposals, tutorial proposals, extended 
abstracts, etc., are due June 7.  Call for papers and other information 
available at:

    http://sigada.org/conf/hilt2014