Call for Participation      

				   TAP 2008
	     Second International Conference on Tests and Proofs

		April 9-11, 2008, Prato (near Florence), Italy

		      http://www.uni-koblenz.de/tap2008/

SCOPE

 The TAP conference is devoted to the convergence of proofs and tests.
 It combines ideas from both sides for the advancement of software quality
 and is a meeting place for the verification and testing communities.

CONFERENCE PROGRAMME

 See http://www.uni-koblenz.de/tap2008/detailedProgram.html
 for a description of the scientific programme.

INVITED SPEAKERS

 Elaine Weyuker
 AT&T Labs Inc.
 WHAT CAN FAULT PREDICTION DO FOR YOU?

 Orna Kupferman
 Hebrew University
 VACUITY IN TESTING

 Michael Hennell
 LDRA Ltd, UK
 THE FIRST THIRTY YEARS: EXPERIENCE WITH SOFTWARE VERIFICATION

TUTORIALS

 PARAMETERIZED UNIT TESTING WITH PEX
 by Jonathan de Halleux, Nikolai Tillmann

 INTEGRATING VERIFICATION AND TESTING OF OBJECT-ORIENTED SOFTWARE
 by Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer

CONFERENCE AND PROGRAM COMMITTEE CHAIRS

 Bernhard Beckert, University of Koblenz, Germany
 Reiner Hähnle, Chalmers University, Gothenburg, Sweden

LOCATION

 The conference will take place in the beautiful city of Prato, which is
 located in the Tuscany region of Italy, close to Florence and Pisa. The
 city of Prato has a population of 180,000 inhabitants. The conference will
 be hosted in the Monash University Prato Centre.

REGISTRATION

 To register, please fill in the registration form available at
 http://www.uni-koblenz.de/tap2008/register.html
 Early registration ends March 7, 2008.