Event Start


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.


More details soon!

Important Dates

10 July, 2020 Abstract submission deadline.
17 July, 2020 Full paper submission deadline.
31 August, 2020 Authors notification deadline.
11 September, 2020 Camera-ready copy deadline.
25 November, 2020 to 27 November, 2020 SBMF 2020

Call for papers

Important dates
  • Abstract submission deadline: 10 July, 2020
  • Full paper submission deadline: 17 July, 2020
  • Authors notification deadline: 31 August, 2020
  • Camera-ready copy deadline: 11 September, 2020

Accepted papers will be published, after the conference, in a volume of LNCS. The authors will be requested to complete and sign a consent-to-publish form. 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.

All questions about submissions should be sent to: sbmf2020@easychair.org
Scope and topics
The aim of SBMF is to provide a venue for the presentation and discussion of high-quality work in formal methods. The topics include, but are not limited to, the following:
  • Applications of formal methods to
    • Software or/and hardware design
    • Software or/and hardware development
    • Software or/and hardware code generation
    • Software or/and hardware testing
    • Software maintenance, evolution or/and reuse
    • Intelligent systems
  • Specification and modelling languages
    • Logic and semantics for specification or/and programming languages
    • Formal methods for timed, real-time, hybrid, or/and safety-critical systems
    • Formal methods for service-oriented, cloud-based, or/and cyber-physical systems
  • Theoretical foundations
    • Domain theory
    • Term rewriting
    • Computational models
    • Type systems and category systems
    • Computation complexity of methods and models
    • Models of time, concurrency, security or/and mobility
  • Verification and validation
    • Abstraction, modularization or/and refinement techniques
    • Static analysis
    • Model checking
    • Theorem proving
    • Software certification
    • Correctness by construction
  • Experience reports
    • Reports on teaching formal methods
    • Reports on industrial application of formal methods


More details soon.


Organizing Committee:

General Chair:
  • Rodrigo Ribeiro (Universidade Federal de Ouro Preto, Brazil)

PC Chairs:
  • Gustavo Carvalho (Universidade Federal de Pernambuco, Brazil)
  • Volker Stolz (Western Norway University of Applied Sciences, Norway)

Steering Comittee:

  • Simone Cavalheiro (Universidade Federal de Pelotas, Brazil)
  • José Fiadeiro (Royal Holloway, University of London, United Kingdom)
  • Tiago Massoni (Universidade Federal de Campina Grande, Brazil)
  • Mohammad Mousavi (University of Leicester, United Kingdom)
  • Adolfo Duran (Universidade Federal da Bahia, Brazil)
  • Phillip Wadler (University of Edinburgh, United Kingdom)

Program Comittee:

  • Adenilso Simão (Universidade de São Paulo, Brazil)
  • Alexandre Mota (Universidade Federal de Pernambuco, Brazil)
  • Álvaro Moreira (Universidade Federal do Rio Grande do Sul, Brazil)
  • Ana Cavalcanti (University of York, United Kingdom)
  • Ana Melo (Universidade de São Paulo, Brazil)
  • Anamaria Moreira (Universidade Federal do Rio de Janeiro, Brazil)
  • Andrea Corradini (Università di Pisa, Italy)
  • Augusto Sampaio (Universidade Federal de Pernambuco, Brazil)
  • Christiano Braga (Universidade Federal Fluminense, Brazil)
  • Clare Dixon (University of Liverpool, United Kingdom)
  • David Déharbe (CLEARSY Systems Engineering, France)
  • David Naumann (Stevens Institute of Technology, United States of America)
  • Gustavo Carvalho (Universidade Federal de Pernambuco, Brazil)
  • Jim Davies (University of Oxford, United Kingdom)
  • Jim Woodcock (University of York, United Kingdom)
  • José Oliveira (Universidade do Minho, Portugal)
  • Juliano Iyoda (Universidade Federal de Pernambuco, Brazil)
  • Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil)
  • Leonardo de Moura (Microsoft Research, United States of America)
  • Leopoldo Teixeira (Universidade Federal de Pernambuco, Brazil)
  • Luis Barbosa (Universidade do Minho, Portugal)
  • Manfred Broy (Technische Universität München, Germany)
  • Marcel Oliveira (Universidade Federal do Rio Grande do Norte, Brazil)
  • Márcio Cornélio (Universidade Federal de Pernambuco, Brazil)
  • Maurice ter Beek (Istituto di Scienza e Tecnologie dell’Informazione, Italy)
  • Michael Leuschel (Universität Düsseldorf, Germany)
  • Mohammad Mousavi (University of Leicester, United Kingdom)
  • Nils Timm (University of Pretoria, South Africa)
  • Patrícia Machado (Universidade Federal de Campina Grande, Brazil)
  • Philip Wadler (University of Edinburgh, United Kingdom)
  • Robert Hierons (Brunel University London, United Kingdom)
  • Rohit Gheyi (Universidade Federal de Campina Grande, Brazil)
  • Sidney Nogueira (Universidade Federal Rural de Pernambuco, Brazil)
  • Simone Cavalheiro (Universidade Federal de Pelotas, Brazil)
  • Sofiène Tahar (Concordia University, Canada)
  • Thierry Lecomte (CLEARSY Systems Engineering, France)
  • Tiago Massoni (Universidade Federal de Campina Grande, Brazil)
  • Volker Stolz (Western Norway University of Applied Sciences, Norway)

Submission instructions

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:

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:

Ouro Preto

Ouro Preto is located about 100/km from the capital of Minas Gerais state, Belo Horizonte, in a region which is a cultural center with various well-known poets, musicians, and Brazilian visual artists. Due to its architecture, composed by the biggest group of Baroque works in Brazil, Ouro Preto was the first Brazilian town entitled as World Cultural Heritage by UNESCO in 1980.
Born from explorer Antônio Dias’s discovery of “ouro preto” (black gold) in the Tripuí riverbed in the 17 th century, the history of the city could be conflated with Brazil’s. Ouro Preto enjoyed its gilded age during the Ciclo do Ouro , when it was the stage for the Inconfidência Mineira, a separatist movement led by Tiradentes and motivated by the Portuguese crown’s high taxation of gold.
The decline of Ouro Preto’s mines, at the end of the 18 th Century, led much of the population to abandon the city. This migration, on the other hand, led to the preservation of its historical center, the largest example of Baroque architecture in the world. Especially noteworthy are the works of Aleijadinho and Master Ataíde.
Rich in history, culture, education, and entertainment, the town has an intense cultural agenda, organized in partnership with UFOP and some of the most important artistic and cultural events of the country.
Inspiration for poets and artists, for mysterious legends and stories that have persisted generation after generation among its inhabitants, Ouro Preto is an icon survived in Tomás Antônio Gonzaga’s poetry, in Guignard’s canvases and in the imagination of all who have the chance to visit.

Church Nossa Senhora do Pilar

This building was completed in 1731 as a replacement for the original main church, constructed between 1700 and 1707 of mud and wood reinforcements. It is considered the pinnacle of baroque opulence and dramatic quality. Its austere facade is a sharp contrast to the lavish interior, decorated with 434 kg (956 lb) of gold and 400 kg (880 lb) of silver. Francisco Xavier de Brito, one of Aleijadinho's mentors, is believed to have designed the main altar. Don't miss the Museu de Arte Sacra in the basement of this church.
Informations of other curches can be seen here.

Museum of the Inconfidência

The Museum of the Inconfidência is the second most visited museum in Brazil. It is dedicated to those who died in a failed rebellion movement Inconfidência Mineira (1789) for Brazilian independence from Portugal. It offers a rich portrait of the local society at the time. It is located at Tiradentes square, right in front of a monument dedicated to Joaquim Jose da Silva Xavier the most famous activist of the Inconfidência movement.

Santa Rita Gold Mine

Opened in 1704, this is oldest mine in town. This mine was dug by slaves and shows the contrast between hand dug mines and industrially dug mines. It's digging produced a maze of tunnels. Guided visits allow tourists to explore some parts of the ancient mine.

Mina do Chico Rei

The legend says this mine was property of "Chico Rei" (fictional name), a former slave who won his freedom and become rich. He was the only black who owned a gold mine in colonial times . It is located in the backyard a particular property . The mine is well conserved. In the mine walls are cavities where the deposited gold was collected during the day. The total area of 8 square kilometers with 175 open galleries , excavated in three levels deep.

Train ride from Ouro Preto to Mariana

The train ride allows to know history and beautiful scenery of the cities of Ouro Preto and also the historic town of Mariana, through the old railway built in 1883, with 18 kilometers long. The carriages and the locomotive were handmade renovated, preserving its original features - keeping the same design of the old trains , with wooden interiors. Panoramic windows allow a full view of the beautiful countryside, including waterfalls. The Ouro Preto and Mariana stations complete in 2016, respectively, 128 and 102 years.
The nearest airport is the Tancredo Neves (Confins) International airport or the Pampulha airport, both located in Belo Horizonte.
From these airports, a transfer takes approximately 2 hours and a half.
- Belo Horizonte - 98 Km

- Rio de Janeiro - 400 Km

- São Paulo - 682 Km

Event Location

School of Mines
Tiradentes Square, 20
Ouro Preto / MG

Contact Us

All questions about submissions should be sent to: sbmf2020@easychair.org


More details soon.