===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' 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>