Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] HILT 2013 call for paper
  • From: moy at adacore.com (Yannick Moy)
  • Date: Tue, 4 Jun 2013 16:58:04 +0200
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