The Coq mailing list

[Volker Stolz <stolz AT ifi.uio.no>]

SBMF 2020: 23rd Brazilian Symposium on Formal Methods

http://sbmf2020.ufop.br — Ouro Preto (MG), Brazil, November 25-27, 2020

Noteworthy updates:
* virtual event
* keynote speakers: Nikolaj Bjørner, Rohit Gheyi, Martin Leucker
* submission deadline extended to 31 July, 2020
* planned special issue in J. Science of Computer Programming, Elsevier

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

Supported by the Brazilian Computer Society (SBC)

In light of the COVID-19 pandemic, the Organising Committee has decided that 
SBMF 2020 will not take place physically. It will be replaced by a virtual 
event only. The exact format is still to be decided. Nevertheless, the paper 
selection process will proceed as planned, and an LNCS proceedings will be 
prepared as usual.

=> IMPORTANT DATES

Full paper submission deadline: 31 July, 2020 (extended)

Authors notification deadline: 08 September, 2020

Camera-ready copy deadline: 18 September, 2020

=> 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. It regularly receives submissions and 
participants from all over the world.

=> KEYNOTE SPEAKERS

* Nikolaj Bjørner (Microsoft Research, United States of America)
* Rohit Gheyi (Universidade Federal de Campina Grande, Brazil)
* Martin Leucker (University of Lübeck, Germany)

=> 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
=> SUBMISSION GUIDELINES

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

=> PUBLICATION

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.

A special issue of the Science of Computer Programming Journal (Elsevier) is 
going to be organised with selected and extended papers from the 23rd 
Brazilian Symposium on Formal Methods (SBMF 2020).

=> COMMITTEES

        • Organising committee
                • Rodrigo Ribeiro (Universidade Federal de Ouro Preto, 
Brazil) -- General chair
                • Gustavo Carvalho (Universidade Federal de Pernambuco, 
Brazil) -- PC co-chair
                • Volker Stolz (Western Norway University of Applied 
Sciences, Norway) -- PC co-chair
        • Program committee
                • Adenilso Simão (Universidade de São Paulo, Brazil)
                • Alexandre Mota (Universidade Federal de Pernambuco, Brazil)
                • Aline Andrade (Universidade Federal da Bahia, 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)
                • Arnd Hartmanns (University of Twente, The Netherlands)
                • Augusto Sampaio (Universidade Federal de Pernambuco, Brazil)
                • Christiano Braga (Universidade Federal Fluminense, Brazil)
                • Clare Dixon (University of Liverpool, United Kingdom)
                • Colin Snook (University of Southampton, United Kingdom)
                • David Déharbe (CLEARSY Systems Engineering, France)
                • David Naumann (Stevens Institute of Technology, United 
States of America)
                • Giovanny Lucero (Universidade Federal de Sergipe, Brazil)
                • Gustavo Carvalho (Universidade Federal de Pernambuco, 
Brazil)
                • Jim Davies (University of Oxford, United Kingdom)
                • Jim Woodcock (University of York, United Kingdom)
                • Jose Fiadeiro (University of Dundee, 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)
                • Sérgio Campos (Universidade Federal de Minas Gerais, 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)
        • Steering committee
                • Simone Cavalheiro (Universidade Federal de Pelotas, Brazil) 
-- PC co-chair of SBMF 2017
                • José Fiadeiro (Royal Holloway, University of London, United 
Kingdom) -- PC co-chair of SBMF 2017
                • Tiago Massoni (Universidade Federal de Campina Grande, 
Brazil) -- PC co-chair of SBMF 2018
                • Mohammad Mousavi (University of Leicester, United Kingdom) 
-- PC co-chair of SBMF 2018
                • Adolfo Duran (Universidade Federal da Bahia, Brazil) -- PC 
co-chair of SBMF 2019
                • Phillip Wadler (University of Edinburgh, United Kingdom) -- 
PC co-chair of SBMF 2019
-- 
Volker Stolz / http://ict.hvl.no/people/volker-stolz/