===SBMF 2011===<br>14th BRAZILIAN SYMPOSIUM ON FORMAL METHODS<br><a href="http://www.each.usp.br/cbsoft2011/" target="_blank">http://www.each.usp.br/cbsoft2011/</a><br><br>Sao Paulo, Brazil<br>September 26-30, 2011<br><br>
Paper Submission: May 30, 2011<br>
CALL FOR PAPERS<br>===============<br><br>SBMF 2011 is the fourteenth of a series of events devoted to the<br>development, dissemination and use of formal methods for the<br>construction of high-quality computational systems. It is now a<br>

well-established event, with an international reputation.<br><br>Keynote speakers will be<br><br>*   Catuscia Palamidessi (INRIA Saclay, France)<br>*   John Harrison (Intel Corporation, USA)<br><br>The symposium will be part of a larger event,<br>

<br>*   CBSoft, the Brazilian Conference on Software:<br>*   Theory and Practice<br>*   <a href="http://www.each.usp.br/cbsoft2011" target="_blank">http://www.each.usp.br/cbsoft2011</a>,<br><br>including as well as SBMF three other symposia:<br>

<br>*   XXV Brazilian Symposium on Software Engineering (SBES)<br>*   XV Brazilian Symposium on Programming Languages (SBLP)<br>*   V Brazilian Symposium on Components, Software Architecture<br>   and Software Reuse (SBCARS).<br>

<br>CBSoft will be held in Sao Paulo, an important city in research and<br>development in both academic and industrial areas. Sao Paulo offers<br>great possibilities for cultural, artistic and gastronomic tourism.<br>Moreover it is a major hub, providing easy access to all other parts<br>

of Brazil and South America.<br><br>The aim of SBMF is to provide a venue for the presentation<br>and discussion of high-quality papers, from researchers<br>with a broad range of interests in formal methods,<br>on recent developments in this field. The topics include,<br>

but are not limited to, the following:<br><br>-  Well-founded specification and design languages;<br>-  Formal aspects of popular languages and methodologies;<br>-  Logics and semantics of programming- and specification languages;<br>

-  Reusable domain theories;<br>-  Type systems and category theory in computer science;<br>-  Computational complexity of methods and models;<br>-  Computational models;<br>-  Rewriting systems;<br>-  Formal methods integration;<br>

-  Formal methods for software/hardware development;<br>-  Formal methods applied to model-driven engineering;<br>-  Code generation;<br>-  Formal design methods;<br>-  Specification and modeling;<br>-  Abstraction, modularization and refinement techniques;<br>

-  Program and test synthesis;<br>-  Techniques for correctness by construction;<br>-  Formal methods and models for objects, aspects<br>  and component systems;<br>-  Formal methods and models for real-time, hybrid and<br>

  critical systems;<br>-  Formal methods and models for service-oriented systems;<br>-  Models of concurrency, security and mobility;<br>-  Model checking;<br>-  Theorem proving;<br>-  Static analysis;<br>-  Formal techniques for software testing;<br>

-  Software certification;<br>-  Formal techniques for software inspection.<br>-  Teaching of, for and with formal methods;<br>-  Experience reports on the use of formal methods;<br>-  Industrial case studies;<br>-  Tools supporting the formal development of computational systems;<br>

-  Development methodologies with formal foundations;<br>-  Software evolution based on formal methods.<br><br>Papers with a strong emphasis on Formal Methods, whether practical or<br>theoretical, are invited for submission. They should present<br>

unpublished and original work that has a clear contribution to the<br>state of the art on the theory and practice of formal methods.<br>They should not be simultaneously submitted elsewhere.<br><br>Papers will be judged on the basis of originality, relevance,<br>

technical soundness and presentation quality. They should be written<br>in English. There are two types of submissions:<br><br>*   Full papers: (max. 16 pages in LNCS format) should contain<br>   theory- or application-oriented results which must be original,<br>

   significant, and sound; they will undergo a full reviewing<br>   process. Papers from industry should emphasize practical application of<br>   formal methods and/or report open challenges.<br><br>   Publication of the proceedings in the LNCS series of Springer<br>

   is under consideration.<br><br>*   Short papers: (max. 6 pages in LNCS format) should describe<br>   recent research activities, practical experience, and<br>   preliminary results that are worth discussing. If accepted,<br>

   they will be published as a Technical Report of University of<br>   Sao Paulo (<a href="http://www.usp.br" target="_blank">www.usp.br</a>) with an ISBN number available online.<br><br>Every accepted paper MUST have at least one author registered to the<br>

symposium by the time the camera-ready copy is submitted; the<br>author is also expected to attend the symposium and present the<br>paper.<br><br>Papers can be submitted via the following link:<br><a href="http://www.easychair.org/conferences/?conf=sbmf2011" target="_blank">http://www.easychair.org/conferences/?conf=sbmf2011</a><br>

<br>===============<br>IMPORTANT DATES<br><br>30/05/2011: Full Paper Submission Deadline<br>25/07/2011: Full Paper Acceptance Notification<br>06/08/2011: Full Paper Camera-ready Version<br><br>01/08/2011: Short Paper Submission Deadline<br>

21/08/2011: Short Paper Acceptance Notification<br>28/08/2011: Short Paper Camera-ready Version<br><br>--- Program Committee Chairs<br>Adenilso Simao      ICMC-USP, Brasil<br>Carroll Morgan      UNSW, Australia<br><br>--- Steering Committee<br>

Adenilso Simao      ICMC-USP<br>Carroll Morgan      UNSW, Australia<br>David Naumann       Stevens Institute of Technology, USA<br>Jim Davies          University of Oxford, UK (Co-chair)<br>Jim Woodcock        University of York, UK<br>

Leila Silva         UFS<br>Marcel Oliveira     UFRN (Co-chair)<br>Patricia Machado    UFCG<br>Rohit Gheyi         UFCG<br><br>--- Program Committee<br>Aline Andrade (UFBA, Brazil)<br>David Aspinall (University of Edinburgh, UK)<br>

Luis Barbosa (Universidade do Minho, Portugal)<br>Michael Butler (University of Southampton, UK)<br>Andrew Butterfield (Trinity College Dublin, Ireland)<br>Ana Cavalcanti (University of York, UK)<br>Marcio Cornelio (UFPE, Brazil)<br>

Andrea Corradini (Universita&#39; di Pisa, Italy)<br>Jim Davies (University of Oxford, UK)<br>David Deharbe (UFRN, Brazil)<br>Ewen Denney (RIACS/NASA, USA)<br>Clare Dixon (University of Liverpool, UK)<br>Jorge Figueiredo (UFCG, Brazil)<br>

Rohit Gheyi (UFCG, Brazil)<br>Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)<br>Juliano Iyoda (UFPE, Brazil)<br>Gerald Luettgen (University of Bamberg, Germany)<br>Patricia Machado (UFCG, Brazil)<br>Ana Melo (USP, Brazil)<br>

Stephan Merz (INRIA Lorraine, France)<br>Anamaria Moreira (UFRN, Brazil)<br>Alvaro Moreira (UFRGS, Brazil)<br>Arnaldo Moura (UNICAMP, Brazil)<br>Alexandre Mota (UFPE, Brazil)<br>David Naumann (Stevens Institute of Technology, USA)<br>

Daltro Nunes (UFRGS, Brazil)<br>Jose Oliveira (Universidade do Minho, Portugal)<br>Marcel Oliveira (UFRN, Brazil)<br>Alberto Pardo (Universidad de la Republica, Uruguay)<br>Alexandre Petrenko (CRIM, Canada)<br>Leila Ribeiro (UFRGS, Brazil)<br>

Augusto Sampaio (UFPE, Brazil)<br>Leila Silva (UFS, Brazil)<br>Heike Wehrheim (University of Paderborn, Germany)<br>Jim Woodcock (University of York, UK)<br><br>
<br>