* ACM HILT 2013 in Pittsburgh PA Nov 10-14, High Integrity Language Technology
@ 2013-10-02 18:36 Tucker Taft
0 siblings, 0 replies; only message in thread
From: Tucker Taft @ 2013-10-02 18:36 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-10-02 18:36 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-10-02 18:36 ACM HILT 2013 in Pittsburgh PA Nov 10-14, High Integrity Language Technology Tucker Taft
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox