===SBMF 2011=== 14th BRAZILIAN SYMPOSIUM ON FORMAL METHODS http://www.each.usp.br/cbsoft2011/
Sao Paulo, Brazil September 26-30, 2011
SBMF 2011 is the fourteenth of a series of events devoted to the development, dissemination and use of formal methods for the construction of high-quality computational systems. It is now a well-established event, with an international reputation.
Keynote speakers will be
The symposium will be part of a larger event,
including as well as SBMF three other symposia:
CBSoft will be held in Sao Paulo, an important city in research and development in both academic and industrial areas. Sao Paulo offers great possibilities for cultural, artistic and gastronomic tourism. Moreover it is a major hub, providing easy access to all other parts of Brazil and South America.
The aim of SBMF is to provide a venue for the presentation and discussion of high-quality papers, from researchers with a broad range of interests in formal methods, on 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. They should present unpublished and original work that has a clear contribution to the state of the art on the theory and practice of formal methods. They should not be simultaneously submitted elsewhere.
Papers will be judged on the basis of originality, relevance, technical soundness and presentation quality. They should be written in English. There are two types of submissions:
Full papers: (max. 16 pages in LNCS format) should contain theory- or application-oriented results which must be original, significant, and sound; they will undergo a full reviewing process. Papers from industry should emphasize practical application of formal methods and/or report open challenges. The proceedings will be published in LNCS/Springer.
Short papers: (max. 6 pages in LNCS format) should describe recent research activities, practical experience, and preliminary results that are worth discussing. If accepted, they will be published as a Technical Report of University of Sao Paulo (www.usp.br) with an ISBN number available online.
Every accepted paper MUST have at least one author registered to the symposium by the time the camera-ready copy is submitted; the author is also expected to attend the symposium and present the paper.
Papers can be submitted via the following link: http://www.easychair.org/conferences/?conf=sbmf2011
=============== IMPORTANT DATES
30/05/2011: Full Paper Submission Deadline 25/07/2011: Full Paper Acceptance Notification 06/08/2011: Full Paper Camera-ready Version
01/08/2011: Short Paper Submission Deadline 21/08/2011: Short Paper Acceptance Notification 28/08/2011: Short Paper Camera-ready Version
— Program Committee Chairs Adenilso Simao ICMC-USP, Brasil Carroll Morgan UNSW, Australia
— Steering Committee Adenilso Simao ICMC-USP Carroll Morgan UNSW, Australia David Naumann Stevens Institute of Technology, USA Jim Davies University of Oxford, UK (Co-chair) Jim Woodcock University of York, UK Leila Silva UFS Marcel Oliveira UFRN (Co-chair) Patricia Machado UFCG Rohit Gheyi UFCG
— Program Committee Aline Andrade (UFBA, Brazil) David Aspinall (University of Edinburgh, UK) Luis Barbosa (Universidade do Minho, Portugal) Michael Butler (University of Southampton, UK) Andrew Butterfield (Trinity College Dublin, Ireland) Ana Cavalcanti (University of York, UK) Marcio Cornelio (UFPE, Brazil) Andrea Corradini (Universita’ di Pisa, Italy) Jim Davies (University of Oxford, UK) David Deharbe (UFRN, Brazil) Ewen Denney (RIACS/NASA, USA) Clare Dixon (University of Liverpool, UK) Jorge Figueiredo (UFCG, Brazil) Rohit Gheyi (UFCG, Brazil) Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany) Juliano Iyoda (UFPE, Brazil) Gerald Luettgen (University of Bamberg, Germany) Patricia Machado (UFCG, Brazil) Ana Melo (USP, Brazil) Stephan Merz (INRIA Lorraine, France) Anamaria Moreira (UFRN, Brazil) Alvaro Moreira (UFRGS, Brazil) Arnaldo Moura (UNICAMP, Brazil) Alexandre Mota (UFPE, Brazil) David Naumann (Stevens Institute of Technology, USA) Daltro Nunes (UFRGS, Brazil) Jose Oliveira (Universidade do Minho, Portugal) Marcel Oliveira (UFRN, Brazil) Alberto Pardo (Universidad de la Republica, Uruguay) Alexandre Petrenko (CRIM, Canada) Leila Ribeiro (UFRGS, Brazil) Augusto Sampaio (UFPE, Brazil) Leila Silva (UFS, Brazil) Heike Wehrheim (University of Paderborn, Germany) Jim Woodcock (University of York, UK)