In 2020, the 23rd edition of Brazilian Symposium on Formal Methods (SBMF) will be held, for the first time, in a virtual format.
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.
Microsoft Research, United States
University of Lübeck, Germany
|31 July, 2020 (extended)||Abstract submission deadline.|
|31 July, 2020 (extended)||Full paper submission deadline.|
|O8 September, 2020 (extended)||Authors notification deadline.|
|02 October, 2020 (extended)||Camera-ready copy deadline.|
|25 November, 2020 to 27 November, 2020||SBMF 2020|
SBMF and ETMF are sponsored by the Brazilian Computer Society (SBC). SBC is a civil, non-profit association that brings together students, professors, professionals, researchers, and enthusiasts in Computer Science from all over Brazil, being the largest scientific society of this field in South America. With 42 years of existence, SBC stimulates the scientific and technological development of Brazil by promoting digital inclusion, encouraging teaching, research, and development activities in Computer Science in Brazil, and contributing to the formation of Computer Science professionals with social responsibility.
The registration fees for SBMF 2020 and ETMF 2020 are listed below. Students and professionals who are not members of SBC can associate or renew their association with a discount during the registration process. Registering for the conference and becoming a member of SBC (combo) is the most advantageous option for the participant who is not yet a member of SBC since he/she will pay less than the option for non-members and will enjoy the benefits of being a member of SBC.
Registration will be handled by the SBC's ECOS system. However, it is recommended to carefully read the information below to know the conditions and deadlines related to the registration. All registration fees are in Brazilian reais (R$/BRL).
Registration + SBC membership (or membership renewal). These categories refer to a discounted value applied when registering for SBMF/ETMF 2020 and joining SBC. This modality was created to make the sum of those benefits cheaper than acquiring each of them separately, thus being the most advantageous option for whom is not yet a member of SBC or is with his/her membership expired or about to expire.
Student registration. Registration fees for students are only available to those who are currently enrolled in undergraduate or graduate courses at Higher Education Institutions and do not apply to post-doc researchers. When registering through the ECOS system, an electronic proof of the student status with affiliation, participant's name, course which he/she is enrolled at, and current date will be required. Only after SBC verifies the document (which can take up to 1 business day to be analyzed) it will be possible to proceed with the payment of registration. To avoid any inconvenience, it is recommended not registering for SBMF/ETMF 2020 in the last day of the registration range. Payment options will be available only after the SBC's validation. Registrants will receive informative e-mails in all stages of their registration for SBMF/ETMF 2020.
Registration for SBMF authors. Papers accepted to SBMF will be published in a volume of LNCS. At least one author (professional or student) of each accepted paper must be registered for SBMF 2020 and pay the author fee. Authors can not use the registration benefits (exemption or 50% discount) granted by SBC to affiliated institutions. The author fee must be paid until October 30, 2020.
Printed proceedings. All registered papers will receive a printed copy of the SBMF 2020 proceedings. Non-author participants interested in printed copies of the conference proceedings must pay the Printed Proceedings additional fee.
Payment options. Registrations can be paid by bank ticket, credit card, debit to a Bank of Brazil account, note of commitment or billing through the ECOS system. Registrations can be made until the last day of SBMF 2020, but payments by debit account and bank ticket will be closed on November 20, 2020. After that date, registration can be paid only by credit card, note of commitment, and billing.
Registrations to be paid by note of commitment or billing. Registrants must access the ECOS system and make their registration by selecting either "Note of commitment" or "Billing" as payment option. Once the payment has been requested, the system will provide the required information that must be in the note of commitment or billing request.
Cancellation policy. Registration cancellation requests made until November 13, 2020 may have a refund of 70% of the amount paid for registration in SBMF / ETMF 2020, the remaining 30% being used to cover administrative costs. After that date, there will be no refund of any paid amount. This policy applies to cancellation of both registration and author fee. To request cancellation, registrants must send an e-mail to email@example.com.
Becoming a member of SBC is a way of strengthening it to represent the Computer Science field in several parties. Other reasons to become a member of SBC are:
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:
In light of the COVID-19 pandemic, SBMF 2020 will not take place physically. It will be replaced by a virtual event only using Zoom. Registration is now open.
SBMF 2020 is the twenty-third 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. In SBMF 2020, we are going to have three keynote speeches and four technical sessions.
ETMF is a School of Theoretical Computer Science and Formal Methods that aims to bring together students and researchers to disseminate and promote theoretical aspects of computing. In ETMF 2020, we are going to have two lectures and three introductory tutorials on formal methods aimed at people unfamiliar with the subject.
Sponsored by Springer, a physical book (see the list below) is going to be given to the recipients of the following awards: (I) Best SBMF paper, (II) Best SBMF reviewer, (III) Best SBMF technical presentation, (IV) Best ETMF lecture/tutorial, and (V) Most engaged attendee.
Please notice that the program may be subject to change
Please notice that the program may be subject to change
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.