<span style="border-collapse: separate; color: rgb(0, 0, 0); font-family: &#39;Times New Roman&#39;; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; font-size: medium; background-color: rgb(255, 255, 255);"><span style="border-collapse: collapse; font-family: arial,sans-serif; font-size: 13px;">*** Apologies for multiple copies due to cross-posting ***<br>
*** Please forward to colleagues who might be interested ***<br><br>===SBMF 2011===<br>14th BRAZILIAN SYMPOSIUM ON FORMAL METHODS<br><a href="http://www.each.usp.br/cbsoft2011/">http://www.each.usp.br/cbsoft2011/</a><br><br>
Sao Paulo, Brazil<br>September 26-30, 2011<br><br>*** Proceedings will published in LNCS/Springer ***<br>*** New submission deadlines ***<br>Abstract Submission: Extended to June 5, 2011<br>Paper Submission:    Extended to June 12, 2011<br>
<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">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. The proceedings<br>   will be published in LNCS/Springer.<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">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">http://www.easychair.org/conferences/?conf=sbmf2011</a><br>
<br>Questions? Contact at <a href="mailto:sbmf2011@easychair.org">sbmf2011@easychair.org</a><br><br>===============<br>(NEW) IMPORTANT DATES<br><br>05/06/2011: Full Paper Abstract Submission Deadline (extended)<br>12/06/2011: Full Paper Submission Deadline (extended)<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>
</span></span><br>