TAP 2013: Final Call for Papers

(Apologies if you receive this announcement multiple times.)

!LNCS publication is confirmed!

****************************************************
***                                              ***
***  TAP 2013                                    ***
***                                              ***
***  Abstract submission: January 25, 2013       ***
***  Paper submission:    February 1, 2013       ***
****************************************************
***  TAP 2013 solicits both full papers and      ***
***  (industrial) experience/tool papers         ***
***  in combining proofs and (security) testing  ***
****************************************************

CALL FOR PAPERS

7th INTERNATIONAL CONFERENCE ON TESTS AND PROOFS (TAP 2013)
http://www.spacios.eu/TAP2013

Budapest, Hungary, June 18-19, 2013

The TAP conference is devoted to the synergy of proofs and tests, to the
application of techniques from both sides and their combination for the
advancement of software quality.
Testing and proving seem to be contradictory techniques: once you have
proved your program to be correct then additional testing seems
pointless; on the other hand, when such a proof in not feasible, then