<div class="moz-text-flowed" style="font-family:-moz-fixed;font-size:12px" lang="x-western">===SBMF 2012===
<br>15th BRAZILIAN SYMPOSIUM ON FORMAL METHODS
<br><a class="moz-txt-link-freetext" href="http://cbsoft.dimap.ufrn.br/">http://cbsoft.dimap.ufrn.br/</a>
<br>
<br>Natal, Brazil
<br>September 23-28, 2012
<br>
<br>Abstract Submission: May 08, 2012 (American Samoa Time Zone)
<br>Paper Submission: May 14, 2012 (American Samoa Time Zone)
<br>
<br>CALL FOR PAPERS
<br>===============
<br>
<br>SBMF 2012 is the fifteenth 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.
<br>
<br>Keynote speakers will be
<br>
<br>* John Rushby, SRI International, Menlo Park CA, USA
<br>* Wolfram Schulte, Microsoft Research, Redmond WA, USA
<br>
<br>The symposium will be part of a larger event, CBSoft, the Brazilian
Conference on Software: Theory and Practice
(<a class="moz-txt-link-freetext" href="http://cbsoft.dimap.ufrn.br/">http://cbsoft.dimap.ufrn.br/</a>) including as well as SBMF three other
symposia:
<br>
<br>*XXVI Brazilian Symposium on Software Engineering (SBES);
<br>*XVI Brazilian Symposium on Programming Languages (SBLP);
<br>*VI Brazilian Symposium on Components, Software Architecture and
Software Reuse (SBCARS).
<br>
<br>CBSoft will be held in Natal, an important city in research and
development in both academic and industrial areas. It is also known as
"City of the Dunes", with a Park of Dunes measuring 8 kilometers of
extension and 1,8 kilometer of width. Its sea is of calm, blue and
crystal clear waters. The south coast comprises 15 beaches with dunes,
cliffs, coconut trees, hills, reefs and some natural swimming pools.
<br>
<br>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:
<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 and component systems;
<br>-Formal methods and models for real-time, hybrid and 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
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.
<br>
<br>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:
<br>
<br>* 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.
<br>
<br>* Short papers: (max. 6 pages in LNCS format) should describe recent
research activities,
<br>practical experience, and preliminary results that are worth discussing.
If accepted, they will be published as a Technical Report of UFCG with
an ISBN number available online.
<br>
<br>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
originally submitted in English MUST be presented in English.
<br>
<br>Papers can be submitted via the following link:
<br><a class="moz-txt-link-freetext" href="http://www.easychair.org/conferences/?conf=sbmf2012">http://www.easychair.org/conferences/?conf=sbmf2012</a>
<br>
<br>===============
<br>IMPORTANT DATES
<br>
<br>08/05/2012: Abstract Submission Deadline (American Samoa Time Zone)
<br>14/05/2012: Full Paper Submission Deadline (American Samoa Time Zone)
<br>02/07/2012: Full Paper Acceptance Notification
<br>10/07/2012: Full Paper Camera-ready Version
<br>
<br>09/07/2012: Short Paper Submission Deadline
<br>30/07/2012: Short Paper Acceptance Notification
<br>13/08/2012: Short Paper Camera-ready Version
<br>
<br>--- Program Committee Chairs
<br>David Naumann Stevens Institute of Technology, USA
<br>Rohit Gheyi UFCG, Brazil
<br>
<br>--- Steering Committee
<br>Jim Davies, University of Oxford, UK
<br>Rohit Gheyi, UFCG, Brazil (Co-chair)
<br>Juliano Iyoda, UFPE, Brazil
<br>Carroll Morgan, UNSW, Australia
<br>David Naumann, Stevens Institute of Technology, USA (Co-chair)
<br>Marcel Oliveira, UFRN, Brazil
<br>Leila Silva UFS, Brazil
<br>Adenilso Simao, ICMC-USP, Brazil
<br>Jim Woodcock, University of York, UK
<br>
<br>--- Program Committee
<br>Aline Andrade (UFBA, Brazil)
<br>Luis Barbosa (Universidade do Minho, Portugal)
<br>Roberto Bigonha (UFMG, Brazil)
<br>Christiano Braga (UFF, Brazil)
<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>John Harrison (Intel Corporation, USA)
<br>Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)
<br>Juliano Iyoda (UFPE, Brazil)
<br>Zhiming Liu (UNU-IIST, China)
<br>Gerald Luettgen (University of Bamberg, Germany)
<br>Patricia Machado (UFCG, Brazil)
<br>Tiago Massoni (UFCG, Brazil)
<br>Ana Melo (USP, Brazil)
<br>Stephan Merz (INRIA Lorraine, France)
<br>Alvaro Moreira (UFRGS, Brazil)
<br>Anamaria Moreira (UFRN, Brazil)
<br>Carroll Morgan (University of New South Wales, Australia)
<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>Adenilso Simao (ICMC-USP, Brazil)
<br>Heike Wehrheim (University of Paderborn, Germany)
<br>
<br></div>