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.
|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|
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:
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.
School of Mines
Tiradentes Square, 20
Ouro Preto / MG