13th Brazilian Symposium on Formal Methods
SBMF 2010 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. It is now a well-established event, with a very good national and international reputation. SBMF is the main event on formal methods in Brazil, qualified as one of the high quality national events by Brazilian research agencies. Besides technical sessions, the symposium presents invited speakers from the international community. The proceedings will be published in LNCS series of Springer.
The symposium also includes a workshop on theses and dissertations (WTD) in formal methods. The WTD is a student forum for bringing together graduate students that research on topics related to formal methods. The aim of this meeting is to present and discuss the proposed contribution, preliminary results and possible directions for their research.
In 2010, the SBMF will be held in the touristic town of Natal, in Rio Grande do Norte, Brazil. The event will be organized by the Informatics and Applied Mathematics Department of the Federal University of Rio Grande do Norte (UFRN).
SBMF'10 will be co-located with 22nf IFIP International Conference on Testing Software and Systems and the 4th Brazilian Workshop on Software Testing.
INVITED SPEAKERS (confirmed)
Bill Roscoe (UK)
David Naumann (USA)
TOPICS OF INTEREST
The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field. The topics include, but are not limited to, the following:
Papers with a strong emphasis on Formal Methods, whether practical or theoretical, are invited for submission.
INSTRUCTIONS TO PROSPECTIVE AUTHORS
The following types of submissions are expected:
Technical papers: Unpublished and original work that have clear contributions to the state of the art on the theory and practice of formal methods. Papers will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers must be written in English and not exceed 16 pages in the LNCS format (see http://www.springer.com/lncs).
WTD papers: Master and PhD students are invited to submit papers that give a report on the research they are developing. The papers must correspond to individual work but may be co-authored by the advisor. Papers must be no longer than 8 pages, including all figures, tables and references.
Every accepted paper MUST have at least one author registered to the symposium by the time the camera-ready paper is submitted; the author is also expected to attend the symposium and present the paper. Papers originally submitted in English MUST be presented in English. Papers can be submitted via the following link: http://www.easychair.org/conferences/?conf=sbmf2010