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
############################
To unsubscribe from the TEAM-ADA list:
write to: mailto:[log in to unmask]
or click the following link:
http://listserv.acm.org/SCRIPTS/WA-ACMLPX.CGI?SUBED1=TEAM-ADA&A=1