[ecoop-info] CFP: ACM HILT 2014 -- due June 7th, co-located with SPLASH/OOPSLA

[Tucker Taft]

The Third Annual ACM High Integrity Language Technology conference (HILT 2014) is taking 
place in Portland, OR this October 18-21, co-located with the SPLASH/OOPSLA conference. 
We have three great 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 7th.  Call for papers and other information 
available at:

    http://sigada.org/conf/hilt2014