[SystemSafety] ACM HILT 2013 in Pittsburgh PA Nov 10-14, High Integrity Language Technology

[Ben Brosgol]

Tutorials, Talks, and Panels on Model Checking, SMT Solvers, 
High-Integrity Model-Based Engineering, AADL, Safe Parallel Programming, 
Advanced Static Analysis, Domain-Specific Languages, and Combining Proof 
and Test.

Edmund Clarke, Turing Award winner will give the opening keynote on 
Model Checking. Keynotes by John Goodenough of the SEI and Jeannette 
Wing of Microsoft Research as well, plus an introduction to the 
Model-Based Engineering sessions by Michael Whalen of University of 
Minnesota.

Only five weeks away -- find out more and register today at:

  http://sigada.org/conf/hilt2013

Just down the street from Pitt, CMU, and the SEI.