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!