[ecoop-info] Extended deadline: TAP 2016 (Tests & Proofs)

Carlo A. Furia c.a.furia at gmail.com
Mon Feb 1 13:28:10 CET 2016


  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:


More information about the ecoop-info mailing list