[TYPES/announce] Call for Participation 23rd Brazilian Symposium on Formal Methods (SBMF'20)

[Volker Stolz]

CALL FOR PARTICIPATION

23rd Brazilian Symposium on Formal Methods
Ouro Preto (MG), Brazil, 25 to 27 November, 2020
Conference web page: http://sbmf2020.ufop.br/
Supported by the Brazilian Computer Society (SBC)

====================================================================

=> IMPORTANT ANNOUNCEMENT REGARDING COVID-19

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.

=> IMPORTANT DATES

17 November, 2020: SBMF warm-up sessions
24 to 27 November, 2020: ETMF lectures and tutorials
25 to 27 November, 2020: SBMF keynote speeches and technical sessions

=> INTRODUCTION

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.

=> AWARDS

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.

Concise Guide to Formal Methods
Author: O'Regan, Gerard 
https://www.springer.com/de/book/9783319640204

Designing Reliable Distributed Systems
Authors: Ölveczky, Peter Csaba 
https://www.springer.com/gp/book/9781447166863

Formal Methods
Authors: Nielson, Flemming, Riis Nielson, Hanne 
https://www.springer.com/gp/book/9783030051556

Logical Foundations of Cyber-Physical Systems
Author: Platzer, Andre
https://www.springer.com/de/book/9783319635873

Software Languages
Author: Lämmel, Ralf 
https://www.springer.com/de/book/9783319907987

=> SBMF 2020 – WARM-UP SESSIONS

The formal methods community in Brazil
(Tiago Massoni – Universidade Federal de Campina Grande, Brazil)

A practical introduction to formal methods using Coq
(Gustavo Carvalho – Universidade Federal de Pernambuco, Brazil)

=> ETMF 2020 – LECTURES

Application of formal methods in industry
(Sérgio Campos – Universidade Federal de Minas Gerais, Brazil)

Improving GUI programming and usability by formal thinking
(Jaakko Järvi – University of Bergen, Norway)

=> ETMF 2020 – TUTORIALS

An introduction to formal models and languages
An introduction to model checking
An introduction to theorem proving

=> SBMF 2020 – KEYNOTE SPEAKERS

[FME’s lecture] Navigating the Universe of Z3 Theory Solvers
(Nikolaj Bjørner – Microsoft Research, United States)

Testing Refactoring Implementations
(Rohit Gheyi – Universidade Federal de Campina Grande, Brazil)

Formal Verification of Neural Networks?
(Martin Leucker – University of Lübeck, Germany)

=> SBMF 2020 – ACCEPTED PAPERS

Graphical Calculational proofs in Relational Linear Algebra
(Joao Paixao and Pawel Sobociński)

Merging cloned Alloy models with colorful refactorings
(Chong Liu, Nuno Macedo and Alcino Cunha)

Modeling Big Data Processing Programs
(João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar and Martin Alejandro Musicante)

Optimization of Timed Scenarios
(Neda Saeedloei and Feliks Kluźniak)

Porting the Software Product Line Refinement Theory to the Coq proof assistant
(Thayonara Alves, Leopoldo Teixeira, Vander Alves and Thiago Castro)

Reversal Fuzzy Switch Graphs
(Suene Duarte, Regivan Santiago, Manuel Martins and Daniel Figueredo)

Safe Evolution of Product Lines using Configuration Knowledge Laws
(Leopoldo Teixeira, Rohit Gheyi and Paulo Borba)

Safety Assurance of a High Voltage Controller for an Industrial Robotic System
(Yvonne Murray, David A. Anisi, Martin Sirevåg, Rabah Saleh Hagag, Pedro Ribeiro and Geir Hovland)

Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model
(Mihir Mehta and William R Cook)

Statistical Model Checking in Drug Repurposing for Alzheimer's Disease
(Herbert Fernandes, Antonio Carlos Oliveira and Sérgio Campos)
====================================================================
-- 
Volker Stolz / http://ict.hvl.no/people/volker-stolz/