posted by user: cbraga || 4057 views || tracked by 25 users: [display]

SBMF 2014 : Brazilian Symposium on Formal Methods


Conference Series : Brazilian Symposium on Formal Methods
When Sep 29, 2014 - Oct 1, 2014
Where Maceio', AL, Brazil
Abstract Registration Due Jul 15, 2014
Submission Deadline Jul 22, 2014
Notification Due Aug 22, 2014
Categories    formal methods   theoretical computer science   software engineering   programming languages

Call For Papers


*** Extended deadlines ***

17th Brazilian Symposium on Formal Methods (SBMF)

September 29 to October 01, 2014.
Maceio', AL, Brazil

A member of CBSoft joint conference

SCP special issue with selected papers from SBMF'11:


Abstract Submission Deadline (Brasilia time, BRT:UTC-03): July 15, 2014 (was July 8, 2014)
Paper Submission Deadline (Brasilia time, BRT:UTC-03): July 22, 2014 (was July 15, 2014)
Paper Acceptance Notification: August 22, 2014 (was August 15, 2014)
Paper Camera-ready Version: September 4, 2014 (was August 28, 2014)


SBMF 2014 is the seventeenth of a series of events devoted to the development, dissemination and use of formal methods for the construction of high-quality computational systems.

The symposium will be part of CBSoft: Theory and Practice, the largest Brazilian conference on software, that includes, together with SBMF, three other symposia:
* XXVIII Brazilian Symposium on Software Engineering (SBES)
* XVIII Brazilian Symposium on Programming Languages (SBLP)
* VIII Brazilian Symposium on Components, Software Architecture and Software Reuse (SBCARS)

CBSoft'14 will be held in Maceio', the capital and the largest city of the coastal state Alagoas, Brazil. The new Zumbi dos Palmares International Airport connects Maceio' with many Brazilian cities and also operates some international flights. The city is home of the Universidade Federal de Alagoas, which will host CBSoft'14.

The aim of SBMF is to provide a venue for the presentation and discussion of high-quality work in formal methods, in a broad perspective. The topics include, but are not limited to, the following:
* techniques and methodologies, such as method integration; software and hardware co-design; model-driven engineering; formal aspects of popular methodologies; formal design; development methodologies; software evolution;
* specification and modeling languages, such as well-founded specification and design languages; formal aspects of popular languages; logics and semantics for programming and specification languages; code generation; formal methods and models for objects, aspects, component-based, real-time, hybrid, critical, and service-oriented systems;
* theoretical foundations, such as domain theory; type systems and category theory; computational complexity of methods and models; computational models; term rewriting; models of concurrency, security and mobility;
* verification and validation, such as abstraction, modularization and refinement techniques; program and test synthesis; correctness by construction; model checking; theorem proving; static analysis; software testing; software certification; software inspection;
* education, such as teaching of, for and with formal methods;
* applications, such as experience reports on the use of formal methods; industrial case studies; tool support.


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 or practice of formal methods. They should not be simultaneously submitted elsewhere.

Papers will be judged by at least three reviewers on the basis of originality, relevance, technical soundness and presentation quality and should contain sound theoretical or practical results. Industry papers should emphasize practical application of formal methods or report on open challenges.

Contributions should be written in English and be prepared using Springer's Lecture Notes in Computer Science (LNCS) format. Papers submitted as full papers may not exceed 16 pages. Short papers may not exceed 6 pages in LNCS format. Accepted full papers will be published, after the conference, in a volume of LNCS. Abstracts of accepted full papers together with the accepted short papers will be published in CBSoft's proceedings. A special issue of a reputable journal with extended versions of selected papers from SBMF'14 is anticipated. Selected papers from SBMF'11 were published in volume 92, Part B, of Science of Computer Programming (SCP). A special issue of SCP with selected papers from SBMF'12 and SBMF'13 is in preparation.

Every accepted paper MUST have at least one author registered in the symposium by the time the camera-ready copy is submitted; the registered author is also expected to attend the symposium and present the paper.

Papers can be submitted via the following link:


David Deharbe, Universidade Federal do Rio Grande do Norte, Natal, Brazil
Narciso Marti-Oliet, Universidad Complutense de Madrid, Madrid, Spain


Christiano Braga (UFF)
Narciso Marti-Oliet (Universidad Complutense de Madrid)


Leandro Dias, Baldoino Fonseca and Marcio Ribeiro (UFAL)


Aline Andrade (UFBA, Brazil)
Wilkerson Andrade (UFCG, Brazil)
Luis Barbosa (Universidade do Minho, Portugal)
Christiano Braga (UFF, Brazil, co-chair)
Michael Butler (University of Southampton, UK)
Ana Cavalcanti (University of York, UK)
Marcio Cornelio (UFPE, Brazil)
Andrea Corradini (University of 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)
Marcelo Frias (Instituto Tecnologico de Buenos Aires, Argentina)
Rohit Gheyi (UFCG, Brazil)
Juliano Iyoda (UFPE, Brazil)
Zhiming Liu (Birmingham City University, UK)
Patricia Machado (UFCG, Brazil)
Tiago Massoni (UFCG, Brazil)
Ana Melo (USP, Brazil)
Alvaro Moreira (UFRGS, Brazil)
Anamaria Moreira (UFRN, Brazil)
Carroll Morgan (University of New South Wales, Australia)
Arnaldo Moura (UNICAMP, Brazil)
Leonardo Moura (Microsoft Research, USA)
Narciso Marti-Oliet (Universidad Complutense de Madrid, Spain, co-chair)
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)
Peter Olveczky (University of Oslo, Norway)
Alberto Pardo (Universidad de la Republica, Uruguay)
Alexandre Petrenko (CRIM, Canada)
Leila Ribeiro (UFRGS, Brazil)
Augusto Sampaio (UFPE, Brazil)
Leila Silva (UFS, Brazil)
Adenilso Simao (ICMC-USP, Brazil)
Heike Wehrheim (University of Paderborn, Germany)
Jim Woodcock (University of York, UK)

Related Resources

NFM 2017   The 9th NASA Formal Methods Symposium
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
FSEN 2017   Fundamentals of Software Engineering
FMBBS 2016   IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
IJCCBS-SI 2016   Int. J. of Critical Computer-Based Systems. Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection
IJBES 2016   International journal of Biomedical Engineering and Science
SCSS 2017   The 8th International Symposium on Symbolic Computation in Software Science
FM 2016   21st International Symposium on Formal Methods