28th Brazilian Symposium on Formal Methods (SBMF’25)

Date: Dec 02, 2025 – Dec 05, 2025
Location: Recife, Brazil
URL: https://sbmf2025.ufrpe.br/

28th Brazilian Symposium on Formal Methods (SBMF’25)
Recife, Brazil | December 02-05, 2025

https://sbmf2025.ufrpe.br/ 

We are pleased to invite you to participate in the 28th Brazilian Symposium
on Formal Methods (SBMF’25), which will be held at the
Northeast Strategic Technologies Center – CETENE, Brazil, from December
02-05, 2025. 

The event will include:

  • 3 invited talks (Augusto Sampaio, Hans Vangheluwe, Marsha Chechik)
  • 13 conference paper presentations
  • 1 co-located event (ETMF 2025)
  • 1 Industrial session
  • 1 Discussion panel


Registration is now open, with early fees available until November 9th AOE.
For more information on the registration process, please visit the
following webpage: https://sbmf2025.ufrpe.br/#registrationinfo 

SCOPE

SBMF aims 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 hardware design
  • Software or hardware development
  • Software or hardware code generation
  • Software or hardware testing
  • Software maintenance, evolution and reuse
  • Intelligent systems

Specification and modeling languages

  • Logic and semantics for specification and programming languages
  • Formal methods for timed, real-time, hybrid, or safety-critical systems
  • Formal methods for service-oriented, cloud-based, or 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, and mobility

Verification and validation

  • Abstraction, modularization, and refinement techniques
  • Static analysis
  • Model checking
  • Theorem proving
  • Software certification
  • Correctness by construction

Experience reports

  • Reports on teaching formal methods
  • Reports on the industrial application of formal methods


KEYNOTE SPEAKERS

  • Augusto Sampaio, CIn UFPE
  • Hans Vangheluwe, University of Antwerp
  • Marsha Chechik, University of Toronto 


DETAILED PROGRAM

The detailed program, including the list of accepted papers, is available
at the following link: https://easychair.org/smart-program/SBMF2025/ 

VENUE

SBMF’25 will be held at CETENE, Brazil, from 02-05 December 2025. CETENE, or the Centre for Strategic Technologies of the Northeast (Centro de Tecnologias Estratégicas do Nordeste), is a research and development institution whose primary focus is on promoting technological innovations and advancements in strategic sectors, including health, energy, and sustainable development. It plays a significant role in fostering collaboration between government, academia, and industry to address regional challenges and enhance technological capacity in Northeast Brazil. It is situated in the University City (Cidade Universitaria) neighbourhood near the UFPE campus. Recife, a vibrant coastal city in northeastern Brazil, is the capital of the state of Pernambuco and one of the most important cultural, economic and technological hubs in the region. Known as the "Brazilian Venice" due to its many rivers, bridges, and historical architecture, Recife is a city rich in history, art, and innovation.

For more information about the venue, please visit the following webpage: https://sbmf2025.ufrpe.br/#recife 

Useful information about accommodation can be found at the following links: https://sbmf2025.ufrpe.br/#hotels 

ORGANIZATION

General Chair: Lucas Lima (UFRPE, Brazil)

Program Committee Co-chairs: Leopoldo Teixeira (UFPE, Brazil) and Maurice
ter Beek (ISTI-CNR, Italy)

Web and Social Media Chair:  Diego Ferreira (UFRPE, Brazil)

--
Lucas Albertins de Lima
Professor Associado
Departamento de Computação - UFRPE
 

Submitted by Regan Williams on