IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
 
SBMF 2022 : 25th Brazilian Symposium on Formal Methods
SBMF 2022 : 25th Brazilian Symposium on Formal Methods

SBMF 2022 : 25th Brazilian Symposium on Formal Methods

Aracaju, Brazil
Event Date: December 05, 2022 - December 09, 2022
Abstract Submission Deadline: August 01, 2022
Submission Deadline: August 08, 2022
Notification of Acceptance: September 19, 2022
Camera Ready Version Due: October 03, 2022




Call for Papers

25th Brazilian Symposium on Formal Methods

Virtual event, 5th to 9th of December, 2022

Conference web page: https://sites.google.com/dcomp.ufs.br/sbmf2022

Easychair CFP: https://easychair.org/cfp/sbmf2022

Supported by the Brazilian Computer Society (SBC)

Abstract submission deadline: 1st August, 2022

Full paper submission deadline: 08th August, 2022

Authors notification deadline: 19th September, 2022

Camera-ready copy deadline: 3rd October, 2022

=) INTRODUCTION

SBMF 2022 is the twenty-fifth 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

TBA

=) 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 is available at 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 the practical application of formal methods or report on open challenges.

Submissions should be made via the following link:

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

=) 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 25th Brazilian Symposium on Formal Methods (SBMF 2022).

=) COMMITTEES

:: Organising committee

Giovanny Lucero (Universidade Federal de Sergipe, Brazil) -- General Chair

Lucas Lima (Universidade Federal Rural de Pernambuco, Brazil) -- PC co-chair

Vince Molnár (Budapest University of Technology and Economics, Hungary) -- PC co-chair

:: Program committee

Adenilso Simão (Universidade de São Paulo, Brazil)

Alfons Laarman (Leiden University, The Netherlands)

Aline Andrade (Universidade Federal da Bahia, Brazil)

Alvaro Miyazawa (University of York, United Kingdom)

Ana Melo (Universidade de São Paulo, Brazil)

András Vörös (Budapest University of Technology and Economics, Hungary)

Armin Biere (Albert-Ludwigs-Universität Freiburg, Germany)

Augusto Sampaio (Universidade Federal de Pernambuco, Brazil)

Clare Dixon (University of Liverpool, United Kingdom)

David Déharbe (CLEARSY Systems Engineering, France)

Dominik Ślęzak (University of Warsaw, Poland)

Elvinia Riccobene (University of Milan, Italy)

Gustavo Carvalho (Universidade Federal de Pernambuco, Brazil)

Haniel Barbosa (Universidade Federal de Minas Gerais, Brasil)

Jim Woodcock (University of York, United Kingdom)

Jose Fiadeiro (University of Dundee, United Kingdom)

Juliano Iyoda (Universidade Federal de Pernambuco, Brazil)

Kristin Yvonne Rozier (Iowa State University, USA)

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)

Marius Minea (University of Massachusetts Amherst, USA)

Máté Tejfel (Eotvos Lorand University Faculty of Informatics, Hungary)

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)

Peter Ölveczky (niversity of Oslo, Norway)

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)

Tim Willemse (Eindhoven University of Technology, The Netherlands)

Volker Stolz (Western Norway University of Applied Sciences, Norway)

:: Steering committee

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)

Sérgio Campos (Universidade Federal de Minas Gerais, Brazil)

Marius Minea (University of Massachusetts Amherst, USA)

=) CONTACT

All questions about submissions should be sent to [email protected]


Best Deals



Summary

SBMF 2022 : 25th Brazilian Symposium on Formal Methods will take place in Aracaju, Brazil. It’s a 5 days event starting on Dec 5, 2022 (Monday) and will be winded up on Dec 9, 2022 (Friday).

SBMF 2022 falls under the following areas: FORMAL METHODS, SOFTWARE TESTING, VERIFICATION, CYBER-PHYSICAL SYSTEMS, etc. Submissions for this Symposium can be made by Aug 8, 2022. Authors can expect the result of submission by Sep 19, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Oct 3, 2022 to the official website of the Symposium.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the SBMF 2022

  • Short Name: SBMF 2022
  • Full Name: 25th Brazilian Symposium on Formal Methods
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of SBMF 2022
  • Event Type: Symposium
  • Website Link: https://sites.google.com/dcomp.ufs.br/sbmf2022
  • Location/Address: Aracaju, Brazil


Credits and Sources

[1] SBMF 2022 : 25th Brazilian Symposium on Formal Methods


Check other Conferences, Workshops, Seminars, and Events


OTHER FORMAL METHODS EVENTS

OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
F-IDE 2022: 7th Workshop on Formal Integrated Development Environment
Berlin, Germany
Sep 26, 2022
RL-CONFORM 2022: 2nd RL-CONFORM Workshop: Reinforcement Learning meets HRI, Control, and Formal Methods
Kyoto, Japan
Oct 23, 2022
SOFTPA 2022: International Conference on Emerging Practices in Software Process & Architecture
Sydney, Australia
Jun 18, 2022
TIME 2022: 29th International Symposium on Temporal Representation and Reasoning
online
Nov 7, 2022
SHOW ALL

OTHER SOFTWARE TESTING EVENTS

A-TEST 2022: 13th Workshop on Automating Test Case Design, Selection and Evaluation
Singapore
Nov 17, 2022
SOEN 2022: 7th International Conference on Software Engineering
London, United Kingdom
Jul 30, 2022
AITest 2022: The IEEE Fourth International Conference On Artificial Intelligence Testing
San Francisco, USA
Aug 15, 2022
IEEE AITEST 2022: THE 4TH IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING
San Francisco Bay Area
Aug 15, 2022
ISoLA 2022: 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
RHODES, GREECE
Oct 24, 2022
SHOW ALL

OTHER VERIFICATION EVENTS

FAVPQC 2022: International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
TBD
Oct 24, 2022
OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
FAACS 2022: 6th International Workshop on Formal Approaches for Advanced Computing Systems
Prague, Czechia
Sep 19, 2022
ASYDE 2022: Automated and verifiable Software sYstem DEvelopment
Computer Science Humboldt Univ. Berlin
Sep 28, 2022
RP 2022: Reachability Problems
Kaiserslautern
Oct 17, 2022
SHOW ALL

OTHER CYBER-PHYSICAL SYSTEMS EVENTS

FMAS 2022: Fourth Workshop on Formal Methods for Autonomous Systems
Berlin, Germany
Sep 26, 2022
PNSE 2022: International Workshop on Petri Nets and Software Engineering
Bergen, Norway
Jun 21, 2022
FACS 2022: 18th International Conference on Formal Aspects of Component Software
Oslo, Norway (online)
Nov 10, 2022
FE-CPS 2022: 1st International Workshop on Formal Engineering of Cyber-Physical Systems
Cluj-Napoca, Romania
Jul 8, 2022
ARCH 2022: 9th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Munich, Germany
Sep 5, 2022
SHOW ALL