SBMF: Brazilian Symposium on Formal Methods

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2021 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
SBMF 2020 23rd Brazilian Symposium on Formal Methods
Nov 25, 2020 - Nov 27, 2020 Ouro Preto / Brazil Jul 17, 2020 (Jul 10, 2020)
SBMF 2018 21st Brazilian Symposium on Formal Methods
Nov 26, 2018 - Nov 30, 2018 Salvador, Brazil Jul 13, 2018 (Jul 2, 2018)
SBMF 2017 20th Brazilian Symposium on Formal Methods
Nov 27, 2017 - Dec 1, 2017 Recife, Pernambuco, Brazil Jul 14, 2017 (Jul 7, 2017)
SBMF 2015 The 18th Brazilian Symposium on Formal Methods
Sep 21, 2015 - Sep 26, 2015 Belo Horizonte, MG, Brazil Jul 3, 2015 (Jun 27, 2015)
SBMF 2014 Brazilian Symposium on Formal Methods
Sep 29, 2014 - Oct 1, 2014 Maceio', AL, Brazil Jul 22, 2014 (Jul 15, 2014)
SBMF 2011 14th Brazilian Symposium on Formal Methods
Sep 26, 2011 - Sep 30, 2011 Sao Paulo, Brazil May 30, 2011
SBMF 2010 BRAZILIAN SYMPOSIUM ON FORMAL METHODS
Nov 8, 2010 - Nov 12, 2010 Natal, Rio Grande do Norte, Brazil Jun 10, 2010
SBMF 2009 Brazilian Symposium on Formal Methods
Aug 19, 2009 - Aug 21, 2009 Gramado - Brazil Apr 17, 2009
 
 

Present CFP : 2020


About

The 23rd Brazilian Symposium on Formal Methods (SBMF) will be held in Ouro Preto (Brazil), November 2020.

The 23rd SBMF is the 2020 edition 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.

We invite submissions of papers with a strong emphasis on formal methods, whether practical or theoretical, in the following categories:

1 - Regular papers (limit of 16 pages);
2 - Journal-first papers (limit of 4 pages).

Page limits include references and any appendices. When submitting the paper, the authors should select the appropriate submission category. Contributions should not be simultaneously submitted for publication elsewhere. They should be written in English and prepared using Springer’s Lecture Notes in Computer Science (LNCS) format.

More information available in the following link:

https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

Papers submitted to Category (1) 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. 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.

Papers submitted to Category (2) should provide a concise summary of an outstanding journal paper published by the same authors, besides considering an updated reflection about the achieved results: what has been done since the original publication, and what are the current challenges. The submission must explicitly include full bibliographic details (including a DOI) of the journal publication it is based on. The published journal paper must adhere to the following criteria:

It is clearly within the scope of the conference.
It has been made available in a journal (online or in print) not before 1 January 2018.
It is not an extended version of a selected conference paper.
It has not been presented at, and is not under consideration for, other journal-first tracks.

Our goal with Category (2) is to further enrich the SBMF program, bringing about results that have been published but not presented in any conference yet. In this way, we want to foster interesting discussions that might be relevant to attendees and authors. Papers submitted to this category will be judged based on the aforementioned recommendations and criteria.

Submissions for all categories should be made via the following link:

https://easychair.org/conferences/?conf=sbmf2020
 

Related Resources

FM 2021   Formal Methods 2021
ISSTA 2021   International Symposium on Software Testing and Analysis
FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
ESOP 2021   30th European Symposium on Programming
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
F-IDE 2021   6th Workshop on Formal Integrated Development Environment
CAIML 2021   2nd International Conference on Artificial Intelligence and Machine Learning
WIIS 2020   Workshop on Intelligent Information Systems
DSCC 2020   International Conference on Data Science and Cloud Computing