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

From: Ben Brosgol < >
Date: Wed, 23 Apr 2014 15:55:55 -0400


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



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Wed Apr 23 2014 - 21:56:17 CEST

This archive was generated by hypermail 2.3.0 : Sat Apr 20 2019 - 01:17:06 CEST