From: Tucker Taft <tucker.taft@gmail.com>
Subject: Call for Papers for ACM HILT 2014 -- due June 7, co-located with SPLASH/OOPSLA
Date: Tue, 22 Apr 2014 11:06:19 -0700 (PDT)
Date: 2014-04-22T11:06:19-07:00 [thread overview]
Message-ID: <e401716b-8ffb-44be-accd-c58078b14131@googlegroups.com> (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
reply other threads:[~2014-04-22 18:06 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox