[TYPES/announce] SBMF'14 - First call for papers

[Christiano Braga]

[Apologies should you receive multiple copies of this call.]

FIRST CALL FOR PAPERS

17th Brazilian Symposium on Formal Methods (SBMF)

September 29 to 31, 2014.
Maceio', AL, Brazil

A member of CBSoft joint conference
http://www.ic.ufal.br/evento/cbsoft2014/

IMPORTANT DATES

Abstract Submission Deadline (Brasilia time, BRT:UTC-03): July 8, 2014
Paper Submission Deadline (Brasilia time, BRT:UTC-03): July 15, 2014
Paper Acceptance Notification: August 15, 2014
Paper Camera-ready Version: August 28, 2014

INTRODUCTION

SBMF 2014 is the seventeenth of a series of events devoted to the development, dissemination and use of formal methods for the construction of high-quality computational systems. 

The symposium will be part of CBSoft: Theory and Practice, the largest Brazilian conference on software,  that includes, together with SBMF, three other symposia:
* XXVIII Brazilian Symposium on Software Engineering (SBES)
* XVIII Brazilian Symposium on Programming Languages (SBLP)
* VIII Brazilian Symposium on Components, Software Architecture and Software Reuse (SBCARS)

CBSoft'14 will be held in Maceio', the capital and the largest city of the coastal state Alagoas, Brazil. The new Zumbi dos Palmares International Airport connects Maceio' with many Brazilian cities and also operates some international flights. The city is home of the Universidade Federal de Alagoas, which will host CBSoft'14. 

The aim of SBMF is to provide a venue for the presentation and discussion of high-quality work in formal methods, in a broad perspective. The topics include, but are not limited to, the following:
* techniques and methodologies, such as method integration; software and hardware co-design; model-driven engineering; formal aspects of popular methodologies; formal design; development methodologies; software evolution;
* specification and modeling languages, such as well-founded specification and design languages; formal aspects of popular languages; logics and semantics for programming and specification languages; code generation; formal methods and models for objects, aspects, component-based, real-time, hybrid, critical, and service-oriented systems;
* theoretical foundations, such as domain theory; type systems and category theory; computational complexity of methods and models; computational models; term rewriting; models of concurrency, security and mobility;
* verification and validation, such as abstraction, modularization and refinement techniques; program and test synthesis; correctness by construction; model checking; theorem proving; static analysis; software testing; software certification; software inspection;
* education, such as teaching of, for and with formal methods;
* applications, such as experience reports on the use of formal methods; industrial case studies; tool support.

PAPER SUBMISSION

Papers with a strong emphasis on Formal Methods, whether practical or theoretical, are invited for submission. They should present unpublished and original work that has a clear contribution to the state-of-the art on the theory or practice of formal methods. They should not be simultaneously submitted elsewhere. 

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. 

Contributions should be written in English and be prepared using Springer's Lecture Notes in Computer Science (LNCS) format. Papers submitted as full papers may not exceed 16 pages. Short papers may not exceed 6 pages in LNCS format. Accepted full papers will be published, after the conference, in a volume of LNCS. Abstracts of accepted full papers together with the accepted short papers will be published in CBSoft's proceedings. A special issue of a reputable journal with extended versions of selected papers from SBMF'14 is anticipated. Special issues of Science of Computer Programming with selected papers from SBMF'11, SBMF'12 and SBMF'13 are in preparation.

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. 

Papers can be submitted via the following link: 
https://www.easychair.org/conferences/?conf=sbmf2014 

KEYNOTE SPEAKERS

David Deharbe, Universidade Federal do Rio Grande do Norte, Natal, Brazil
Narciso Marti-Oliet, Universidad Complutense de Madrid, Madrid, Spain

PROGRAM COMMITTEE CHAIRS

Christiano Braga (UFF)
Narciso Marti-Oliet (Universidad Complutense de Madrid) 

PROGRAM COMMITTEE

Aline Andrade (UFBA, Brazil)
Wilkerson Andrade (UFCG, Brazil)
Luis Barbosa (Universidade do Minho, Portugal)
Christiano Braga (UFF, Brazil, co-chair)
Michael Butler (University of Southampton, UK)
Ana Cavalcanti (University of York, UK)
Marcio Cornelio (UFPE, Brazil)
Andrea Corradini (University of Pisa, Italy)
Jim Davies (University of Oxford, UK)
David Deharbe (UFRN, Brazil)
Ewen Denney (RIACS/NASA, USA)
Clare Dixon (University of Liverpool, UK)
Jorge Figueiredo (UFCG, Brazil)
Marcelo Frias (Instituto Tecnologico de Buenos Aires, Argentina)
Rohit Gheyi (UFCG, Brazil)
Juliano Iyoda (UFPE, Brazil)
Zhiming Liu (Birmingham City University, UK)
Patricia Machado (UFCG, Brazil)
Tiago Massoni (UFCG, Brazil)
Ana Melo (USP, Brazil)
Alvaro Moreira (UFRGS, Brazil)
Anamaria Moreira (UFRN, Brazil)
Carroll Morgan (University of New South Wales, Australia)
Arnaldo Moura (UNICAMP, Brazil)
Leonardo Moura (Microsoft Research, USA)
Narciso Marti-Oliet (Universidad Complutense de Madrid, Spain, co-chair) 
Alexandre Mota (UFPE, Brazil)
David Naumann (Stevens Institute of Technology, USA)
Daltro Nunes (UFRGS, Brazil)
Jose Oliveira (Universidade do Minho, Portugal)
Marcel Oliveira (UFRN, Brazil)
Peter Olveczky (University of Oslo, Norway)
Alberto Pardo (Universidad de la Republica, Uruguay)
Alexandre Petrenko (CRIM, Canada)
Leila Ribeiro (UFRGS, Brazil)
Augusto Sampaio (UFPE, Brazil)
Leila Silva (UFS, Brazil)
Adenilso Simao (ICMC-USP, Brazil)
Heike Wehrheim (University of Paderborn, Germany)
Jim Woodcock (University of York, UK)