[SystemSafety] Conference Call for Participation: ACM HILT 2014 (High Integrity Language Technology)
Ben Brosgol
brosgol at adacore.com
Wed Apr 23 21:55:55 CEST 2014
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
More information about the systemsafety
mailing list