[TYPES/announce] Extended deadline: TAP 2016 (Tests & Proofs)

Carlo A. Furia c.a.furia at gmail.com
Mon Feb 1 07:28:46 EST 2016


---> SUBMISSION DEADLINE EXTENDED!

  TAP 2016
  10th International Conference on Tests & Proofs

   5-7 July 2016, Vienna, Austria
   Co-located with STAF 2016

   * Abstracts & papers: 15 February 2016
   * Notifications: 15 April 2016
   * Camera ready versions: 29 April 2016

The TAP conference promotes research in verification and formal
methods that targets the interplay of proofs and testing: the
advancement of techniques of each kind and their combination, with the
ultimate goal of improving software and system dependability.

For more information about scope and submissions see the website:

   http://tap2016.ist.tugraz.at


More information about the Types-announce mailing list