[clean-list] CFP SBMF 2008

Fri May 16 15:57:56 MEST 2008

(Please accept our apologies if you receive multiple copies of this message)

N E W S

- Selected high-quality technical papers will be considered for publication in 
a Special Issue of the Science of Computer Programming Journal, Elsevier.

- Paper submission deadline approaching

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

SBMF 2008 (Call for Papers)
Brazilian Symposium on Formal Methods

26-29 August, 2008
Salvador, Bahia, Brazil
http://www.lasid.ufba.br/sbmf2008/

Promotion: Brazilian Computer Society (SBC)

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

SBMF 2008 is the eleventh 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 
(*Qualis A*) by Brazilian research agencies.

Besides technical sessions, tutorials and mini-courses, the symposium presents 
invited speakers from the international community.  A selection of accepted 
papers is published in the Electronic Notes in Theoretical Computer Science 
(ENTCS) series from Elsevier. Also, a special issue of Science of Computer 
Programming (Elsevier) is going to be published for the very best papers.

In 2008, the symposium will be held in Salvador, the largest city of Bahia and 
its capital. The event will be organized by the Distributed Systems Laboratory 
(LaSiD) / Department of Computer Science (DCC) at Federal University of Bahia 
(UFBA), Brazil.

S C O P E

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:

Formal Aspects of Languages and Theoretical Foundations
--------

Well-founded specification and design languages; Formal aspects of popular 
languages and methodologies; Logics and semantics of programming and 
specification languages; Reusable domain theories; Type systems and category 
theory in computer science; Computational complexity of methods and models; 
Calculation; Computational models; Rewriting systems

Formal Aspects of Systems Development
--------

Formal methods integration; Formal methods for software/hardware development; 
Formal methods applied to model-driven engineering; Code generation; Formal 
design methods; Specification and modeling; Abstraction, modularization and 
refinement techniques; 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 systems; Models of concurrency, 
security and mobility

Verification and Validation
--------

Model checking; Theorem proving; Static analysis; Formal techniques for 
software testing; Software certification; Formal techniques for software 
inspection

Formal Methods in Practice
--------

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 
foundations; Software evolution based on formal methods

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

I N V I T E D   S P E A K E R S

. Ana Cavalcanti (University of York, UK)

. David Deharbe (UFRN, BR)

. Patrice Godefroid (Microsoft Research, Redmond, US)

. Thierry Jeron (IRISA/INRIA, FR)

I M P O R T A N T   D A T E S

June 6, 2008: Paper submission deadline (Really Firm)

July 13, 2008: Acceptance notification

July 27, 2007: Camera-ready version due

S U B M I S S I O N   G U I D E L I N E S

Four types of submissions are expected:

i) Technical papers (Main Track): Unpublished and original work that have 
clear contributions to the state of the art on the theory and practice of 
formal methods. Papers must be no longer than 16 pages, including all figures, 
tables and references.

ii) Student papers: Work in progress by postgraduate students in the area. The 
first author must be a student (the advisor or other student or non-student 
collaborators may be co-authors). If accepted for presentation, the paper 
shall be presented by a student. The goal of this track is to provide students 
with opportunities to discuss their work and research ideas with researchers 
and other students and to receive useful feedback. Papers must be no longer 
than 8 pages, including all figures, tables and references.

iii) Challenge proposal papers: Proposals of unpublished and novel real case 
studies on systems development, verification, validation and evolution that 
can uniquely benefit from the use of formal methods. The paper should clearly 
describe the problem and application domain, propose and justify a solution in 
which formal methods can be effectively applied when compared to other 
approaches. The use and benefits of formal methods must be justified. This 
track is connected to the Grand Challenge Initiative as a preparation for a 
grand challenge workshop that is planned for SBMF 2009. Papers must be no 
longer than 8 pages, including all figures, tables and references.

iv) Tool demonstration papers: Tools supporting the formal development of 
computational systems. Papers describing early implementations of novel 
concepts are especially welcomed. Papers must be no longer than 8 pages, 
including all figures, tables and references.

Papers should preferably be written in English, but papers in Portuguese are 
also acceptable. They must be written according to the style used for SBC 
proceedings. You may get templates and style information for LaTeX from SBC 
(http://www.sbc.org.br) or from this link 
(http://www.dsc.ufcg.edu.br/~patricia/sbmf2008/). All submissions must be 
Adobe Portable Document Format (PDF). Submissions must be uploaded using the 
JEMS Systems (https://submissoes.sbc.org.br/sbmf2008). The contact address for 
any inquiry is sbmf2008 at gmail.com.

P U B L I C A T I O N

Proceedings
-----

All accepted technical papers will published in the main SBMF proceedings with 
ISBN. A selection of the accepted technical papers will also be published in 
the ENTCS - Electronic Notes in Theoretical Computer Science series from 
Elsevier. Only papers originally submitted in English are subject to ENTCS 
publication.

Student, Challenge proposal and Tool demonstration papers are going to be 
published in the SBMF Special Tracks CD proceedings with ISBN.

Journal Special Issue
-----------

Selected high-quality technical papers will be considered for publication in a 
Special Issue of Science of Computer Programming, Elsevier. Only papers 
originally submitted in English are subject to this publication.

P R E S E N T A T I O N

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

C O M M I T T E S

Program Chair
---------------
Patricia Machado (UFCG, BR)

Organizing Co-Chairs:
---------------------------
Aline Maria S. Andrade (UFBA, Brazil)

Adolfo Almeida Duran (UFBA, Brazil)

Steering Committee
---------------------
Ana C. V. de Melo (USP, BR)

Alvaro Moreira (UFRGS, BR)

Augusto Sampaio (UFPE, BR)

Jim Woodcock (York, UK)

Leila Ribeiro (UFRGS, BR)

Patricia Machado (UFCG, BR)

Program Committee
------------------
Adenilso Simao (ICMC-USP, BR), Adolfo Duran (UFBA, BR), Alberto Pardo 
(Universidad de La República, UY), Alexandre Mota (UFPE, BR), Alexandre 
Petrenko (CRIM, CA), Aline Andrade (UFBA, BR), Alvaro 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 Deharbe (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), Jose Nuno Oliveira 
(Universidade do Minho, PT), Leila Ribeiro (UFRGS, BR), Leila Silva (UFS, BR), 
Luis Barbosa (Universidade do Minho, PT), Luis Lamb (UFRGS, BR), Marcel 
Oliveira (UFRN, BR), Patricia Machado (UFCG, BR), Roberto Bigonha (UFMG, BR), 
Rolf Hennicker (University of Munich, DE), Willem Visser (Seven Networks, US)

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