[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