* Call for Papers for ACM HILT 2014 -- due June 7, co-located with SPLASH/OOPSLA
@ 2014-04-22 18:06 Tucker Taft
0 siblings, 0 replies; only message in thread
From: Tucker Taft @ 2014-04-22 18:06 UTC (permalink / raw)
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, Chris 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 available at:
http://sigada.org/conf/hilt2014
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-04-22 18:06 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-04-22 18:06 Call for Papers for ACM HILT 2014 -- due June 7, co-located with SPLASH/OOPSLA Tucker Taft
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox