--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on June 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] HILT 2013 call for paper



If you're working with high integrity language technology (as a tool developer or user), you may be interested in submitting a paper to the next HILT conference in November 10-14, 2013 in Pittsburgh, Pennsylvania (USA). Deadline is June 29:

  http://www.sigada.org/conf/hilt2013/HILT2013-CFP.pdf 

This is an ideal audience for talking of the latest and greatest about SPARK 2014 or Frama-C. ;)
--
Yannick Moy, Senior Software Engineer, AdaCore