We gladly invite you to join ICST 2013, the premier international conference for researchers and industrial practitioners in Software Testing and Verification & Validation.

The IEEE International Conference on Software Testing, Verification and Validation (ICST) is the premier conference in all areas related to software quality. Software systems present unique engineering challenges to the tester, not least because they can exhibit non-determinism and emergent behaviour. No other engineering artefact is more closely intertwined with the human activities, resulting in complex hybrid systems that involve software, human judgement and, sometimes, political, legal and social processes.

As a result, software verification & validation, including testing, inspections, model analysis, safety certification, etc. draws upon a wide spectrum of disciplines, including engineering, mathematics and also psychology. It touches on all aspects of computer science and software engineering research and impacts on almost all software activities.

We are proud to announce that ICST 2013 will feature three keynotes:

Ross Smith - Director of Test, Office Communicator and Design Group, Microsoft Corporation	Stephanie Forrest - Professor of Computer Science, University of New Mexico, Albuquerque, USA	Jean Hilger - Senior Vice President and Head of Information Technology at the State and Savings Bank, Luxembourg (BCEE)
"The Future of Software Testing: Delivering Quality at Scale Across Devices and Platforms in a Highly Connected World"	"The Mutational Robustness of Software"	"When finance holds off crashes"

On ICST 2013, you will also have the opportunity to benefit from a rich social program:

• City tour of Luxembourg
• A walking dinner at the Live Bar in the "Rives de Clausen" area
• A gala dinner at the "Cercle Cité" at the heart of Luxembourg

*Supported by the Fonds National de la Recherche, Luxembourg FNR/12/ISC/47.