--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on June 2013 ---
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