SEWORLD Archives

SEWORLD

SEWORLD@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject: CFP: Brazilian Symposium on Formal Methods 2021
From: SEWORLD Moderator <[log in to unmask]>
Reply-To:SEWORLD Moderator <[log in to unmask]>
Date:Tue, 20 Apr 2021 14:39:17 -0000
Content-Type:multipart/mixed
Parts/Attachments:
text/plain (7 kB)



=========================================================================
CALL FOR PAPERS

24rd Brazilian Symposium on Formal Methods
Virtual event, 6 to 10 of December, 2021

Conference web page: http://sbmf2021.computacao.ufcg.edu.br/
Easychair CFP: https://easychair.org/cfp/sbmf2021

Supported by the Brazilian Computer Society (SBC)

Abstract submission deadline: 23 July, 2021
Full paper submission deadline: 30 July, 2021
Authors notification deadline: 10 September, 2021
Camera-ready copy deadline: 22 September, 2021

=> INTRODUCTION

SBMF 2021 is the twenty-fourth 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

Orna Grumberg (The Technion, Israel)
Frits Vaandrager (Radboud University Nijmegen, Netherlands)
Jeannete Wing (Columbia University, USA)


=> 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);

Page limits include references and any appendices.

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 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.

Submissions should be made via the following link:

https://easychair.org/conferences/?conf=sbmf2021

=> PUBLICATION

Accepted papers will be published, after the conference, in a volume of LNCS 
(to be confirmed). 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 24rd Brazilian 
Symposium on Formal Methods (SBMF 2021).

=> COMMITTEES

:: Organising committee

Tiago Massoni (Universidade Federal de Campina Grande, Brazil) -- General Chair

Sérgio Campos (Universidade Federal de Minas Gerais, Brazil) -- PC co-chair
Marius Minea (University of Massachussets Amherst, USA) -- PC co-chair

:: Program committee


Adenilso Simão (Universidade de São Paulo, Brazil)
Aline Andrade (Universidade Federal da Bahia, Brazil)
Ana Cavalcanti (University of York, United Kingdom)
Ana Melo (Universidade de São Paulo, Brazil)
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)
Gustavo Carvalho (Universidade Federal de Pernambuco, Brazil)
Haniel Barbosa (Universidade Federal de Minas Gerais, Brasil)
Jim Davies (University of Oxford, United Kingdom)
Jim Woodcock (University of York, United Kingdom)
Jose Fiadeiro (University of Dundee, United Kingdom)
Juliano Iyoda (Universidade Federal de Pernambuco, Brazil)
Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil)
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)
Nils Timm (University of Pretoria, South Africa)
Patrícia Machado (Universidade Federal de Campina Grande, Brazil)
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)
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

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)
Gustavo Carvalho (Universidade Federal de Pernambuco, Brazil)
Volker Stolz (Western Norway University of Applied Sciences, Norway)


=> CONTACT

All questions about submissions should be sent to [log in to unmask]

============================================================
To contribute to SEWORLD, send your submission to
mailto:[log in to unmask]

http://sigsoft.org/resources/seworld.html provides more
information on SEWORLD as well as links to a complete
archive of messages posted to the list.
============================================================


ATOM RSS1 RSS2