Pictures

The growing importance of computer systems within industry and society requires that solid techniques are used to produce dependable systems. Two of the most promising approaches are formal methods and testing, which are now seen as complementary. In this context, three events that are related to formal methods and testing will take place in the city of Natal, Brazil.

The 22nd IFIP International Conference on Testing Software and Systems (ICTSS'10), which merges TestCom and FATES, is a forum for researchers, developers, testers, and users to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of general software and systems. Next, the 13th Brazilian Symposium on Formal Methods (SBMF'10) is the thirteenth of a series of events devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems. And last, but not least, SAST is a Brazilian workshop whose goal is to be a forum that brings together the Brazilian research community and industry with interest on test.

The events will be co-located and are being organized by the Department of Informatics and Applied Mathematics (DIMAp) of the Federal University of Rio Grande do Norte. Natal is a gorgeous city, with plenty of sun and a very pleasant people. The scenario could not be better for a stimulating environment for exchanging and promoting ideas.

We look forward to meeting you in Natal!