main track, special track on formal approaches to software testing, special track on the grand challenge in verified software

ICTAC 2010 - Call for Papers

Special Track on the Formal Aspects of Software Testing

New Springer will publish the proceedings in the series Lecture Notes in Computer Science.

New The authors of the best papers will be invited to submit an extended version of their work for a special issue of Theoretical Computer Science.

Background and Objectives

ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. The previous six ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006), Macau (2007), Istanbul, Turkey (2008) and Kuala Lumpur, Malaysia (2009).

ICTAC 2010 includes two special tracks: a track on Formal Approaches to Testing, chaired by Marie-Claude Gaudel, and a track on the Grand Challenge in Verified Software, chaired by Jim Woodcock. Papers accepted to the special tracks will be included in the proceedings. Moreover, they may be selected for the special issue of Theoretical Computer Science.

Topics of the Special Track on Formal Approaches to Software Testing

Contributions on generic approaches, applicable to several formalisms are especially welcome.

Submissions to the track must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Papers should be written in English and not exceed 15 pages in LNCS format (see for details). Papers shall be submitted at IMPORTANT: Papers submitted to the track must be identified by using "FORMAL TESTING" as a keyword. All queries should be sent to:

Important Dates