posted by user: marcel139 || 2470 views || tracked by 5 users: [display]

SBMF 2009 : Brazilian Symposium on Formal Methods


Conference Series : Brazilian Symposium on Formal Methods
When Aug 19, 2009 - Aug 21, 2009
Where Gramado - Brazil
Submission Deadline Apr 17, 2009
Notification Due Jun 5, 2009
Final Version Due Jun 12, 2009
Categories    full paper   thesis and dissertations

Call For Papers


Gramado, Rio Grande do Sul, Brazil
August 19-21, 2009

Paper Submission: April, 17

SBMF is a *Qualis A* Brazilian Conference


SBMF 2009 is the twelfth of a series of events devoted to the
dissemination of the development and use of formal methods for the
construction of high quality computational systems. It is now a
well-established event, with a very good national and international
reputation. SBMF is the main event on formal methods in Brazil,
qualified as one of the high quality national events by Brazilian
research agencies.

Besides technical sessions, the symposium presents invited speakers
from the international community.

Jean-Raymond Abrial (Switzerland)
Daniel Kroening (UK)
Leonardo de Moura (USA)
Sebastian Uchitel (Argentina)

The proceedings will be published in the Lecture Notes in Computer
Science (LNCS – Qualis A) series from Springer. Selected
high-quality technical papers from SBMF 2008 are being considered
for publication in a Special Issue of Science of Computer
Programming, Elsevier. For SBMF 2009, the same process will take

For the first time a workshop on theses and dissertations in formal
methods will happen in the symposium. The WTD is a student forum for
bringing together graduate students that research on topics related
to formal methods. The aim of this meeting is to present and discuss
the proposed contribution, preliminary results and possible
directions for their research.

In 2009, the SBMF will be held in the small touristic town of
Gramado, in Rio Grande do Sul, Brazil. The event will be organized
by the Institute of Informatics of the Federal University of Rio
Grande do Sul (UFRGS).

This year the symposium will be co-located with the Brazilian
Symposium on Programming Languages and the Brazilian Workshop on
Systematic and Automated Software Testing, which will happen in the
same week and in the same venue.

The aim of this event is to provide an opportunity for researchers
with a broad range of interests in formal methods to discuss recent
developments in this field. The topics include, but are not limited
to, the following:

- Well-founded specification and design languages;
- Formal aspects of popular languages and
- Logics and semantics of programming and
specification languages;
- Reusable domain theories;
- Type systems and category theory in computer
- Computational complexity of methods and models;
- Computational models;
- Rewriting systems;
- Formal methods integration;
- Formal methods for software/hardware
- Formal methods applied to model-driven
- Code generation;
- Formal design methods;
- Specification and modeling;
- Abstraction, modularization and refinement
- Program and test synthesis;
- Techniques for correctness by construction;
- Formal methods and models for objects, aspects
and component systems;
- Formal methods and models for real-time, hybrid
and critical systems;
- Formal methods and models for service-oriented
- Models of concurrency, security and mobility;
- Model checking;
- Theorem proving;
- Static analysis;
- Formal techniques for software testing;
- Software certification;
- Formal techniques for software inspection.
- Teaching of, for and with formal methods;
- Experience reports on the use of formal methods;
- Industrial case studies;
- Tools supporting the formal development of
computational systems;
- Development methodologies with formal
- Software evolution based on formal methods.

Papers with a strong emphasis on Formal Methods, whether practical or theoretical, are invited for submission.

The following types of submissions are expected:

- Technical papers: unpublished and original work that have clear
contributions to the state of the art on the theory and practice of
formal methods. Papers will be judged on the basis of originality,
relevance, technical soundness and presentation quality. Papers must
be written in English and not exceed 16 pages in the LNCS format
(see ).

Extended versions of all accepted papers will be eligible for
selection for a journal special issue. Only papers originally
submitted in English are subject to this publication.

- WTD papers: Master and PhD students are invited to submit papers
that give a report on the research they are developing. The papers
must correspond to individual work but may be co-authored by the
advisor. Papers must be no longer than 8 pages, including all
figures, tables and references.

Every accepted paper MUST have at least one author registered to the
symposium by the time the camera-ready paper is submitted; the
author is also expected to attend the symposium and present the
paper. Papers originally submitted in English MUST be presented in

Papers can be submitted via the following link: conferences/?conf=sbmf2009 .


17/04/2009: Full Paper submission deadline
05/06/2009: Acceptance notification
12/06/2009: Camera-ready version due


Álvaro Freitas Moreira – chair (UFRGS, BR)


Claudio Fuzitaki (UFRGS, BR)
Germano Caumo (UFRGS, BR)
Luciana Foss (UFRGS/UCS, BR)
Lucio Mauro Duarte (UFRGS, BR)
Olinto E. David de Oliveira (UFRGS,BR)
Rodrigo Machado (UFRGS,BR)


Jim Woodcock – co-chair (University of York, UK)
Marcel Oliveira – co-chair (UFRN, BR)


Adenilso Simao (ICMC-USP, BR)
Adolfo Duran (UFBA, BR)
Alberto Pardo (Universidad de La República, UY)
Alexandre Petrenko (CRIM, CA)
Aline Andrade (UFBA, BR)
Álvaro Moreira (UFRGS, BR)
Ana Cavalcanti (University of York, UK)
Ana C. V. de Melo (USP, BR)
Anamaria Martins Moreira (UFRN, BR)
Andrea Corradini (University of Pisa, IT)
Arnaldo Moura (UNICAMP, BR)
Augusto Sampaio (UFPE, BR)
Clare Dixon (University of Liverpool, UK)
Daltro Nunes (UFRGS, BR)
David Aspinall (University of Edinburgh, UK)
David Déharbe (UFRN, BR)
David Naumann (Stevens Institute of Technology, US)
Ewen Denney (RIACS/NASA, US)
Heike Wehrheim (University of Paderborn, DE)
Jim Davies (University of Oxford, UK)
Jim Woodcock (University of York, UK)
Jorge Figueiredo (UFCG, BR)
José Nuno Oliveira (Universidade do Minho, PT)
Juliano Iyoda (UFPE, BR)
Leila Ribeiro(UFRGS, BR)
Leila Silva UFS, BR)
Leonardo Freitas (University of York, UK)
Luis Barbosa (Universidade do Minho, PT)
Luis Lamb (UFRGS, BR)
Marcel Oliveira (UFRN, BR)
Patricia Machado (UFCG, BR)
Roberto Bigonha (UFMG, BR)
Rohit Gheyi (UFCG, BR)
Rolf Hennicker (University of Munich, DE)
Willem Visser (SEVEN Networks, US)


Patrícia Machado (UFCG, BR)
Leila Ribeiro (UFRGS, BR)
Ana C. V. de Melo (USP, BR)
Jim Woodcock (University of York, UK)
Marcel Oliveira (UFRN, BR)


Brazilian Computer Society and
Universidade Federal do Rio Grande do Sul

Related Resources

FMICS 2023   28th International Conference on Formal Methods for Industrial Critical Systems
ICFEM 2023   International Conference on Formal Engineering Methods
KI 2023   46th German Conference on Artificial Intelligence
IFM 2023   Integrated Formal Methods
AREA 2023   Agents and Robots for reliable Engineered Autonomy
RSSRail 2023   5th International Conference on Reliability, Safety and Security of Railway Systems
FMCAD 2023   2023 Formal Methods in Computer-Aided Design (FMCAD)
CONISOFT 2023   11th International Conference on Software Engineering Research and Innovation
CMSB 2023   21st International Conference on Computational Methods in Systems Biology
SRDS 2023   42nd International Symposium on Reliable Distributed Systems