SIGAda HILT 2014 conference in Portland, OR Oct. 18-21; deadlines approaching

SIGAda HILT 2014 conference in Portland, OR Oct. 18-21; deadlines approaching

[Tucker Taft]

The third annual High Integrity Language Technology conference (HILT 2014), sponsored by ACM SIGAda, is co-located this year with SPLASH/OOPSLA in Portland, OR Oct. 18-21.  The Hotel Registration deadline is Sept. 19th, so now is the time to firm up travel arrangements; visit: 

   http://sigada.org/conf/hilt2014

and click on the "Travel and Registration" menu.

This year our first keynote will be by Christine Anderson, who ran the Ada 9X project so successfully, and is now executive director of Spaceport America, the first commercial spaceport and home of Richard Branson's Virgin Galactic.

From Spaceport America to Microsoft Research, from CMU's Software Engineering Institute to NASA'a Jet Propulsion Laboratory, this year's ACM SIGAda High Integrity Language Technology conference (HILT 2014) brings together software reliability experts from industry, academia, and government.  They will be describing the use of advanced language technology, including programming languages, modeling languages, and verification languages, to ensure that the software on which our society relies more and more, is verified to be safe, secure, and correct.  HILT 2014 will include presentations on how architectural modeling languages like AADL and UML's Alf are transforming the software development process for many organizations, and how new systems programming languages like Rust and Spot are helping developers safely and productively tackle the complexities of multicore architectures.  This year's HILT is co-located with SIGPLAN's SPLASH/OOPSLA conference in Portland, Oregon during the week of October 20th, providing additional opportunities to interact with colleagues from institutions throughout the globe who are interested in the challenges of developing software-intensive systems that have the high integrity needed by our modern software-dependent society.