26-29 August 2008
Bahia, Brazil
========================= ========================= ================ 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. 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. SCOPE 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. INVITED SPEAKERS Ana Cavalcanti (University of York, UK) David Deharbe (UFRN, BR) Patrice Godefroid (Microsoft Research, Redmond, US) Thierry Jron (IRISA/INRIA, FR) IMPORTANT DATES June 6, 2008: Paper submission deadline (Really Firm) July 13, 2008: Acceptance notification July 27, 2007: Camera-ready version due SUBMISSION GUIDELINES 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@gmail.com. PUBLICATION 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. PRESENTATION 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. COMMITTES -Program Chair Patricia Machado (UFCG, BR) -General Co-Chairs: Aline Maria S. Andrade (UFBA, Brazil) Adolfo Almeida Duran (UFBA, Brazil) -Steering Committee Ana C. V. de Melo (USP, BR) lvaro Moreira (UFRGS, BR) Augusto Sampaio (UFPE, BR) Jim Woodcock (York, UK) Leila Ribeiro (UFRGS, BR) Patrcia Machado (UFCG, BR) -Program Committee Adenilso Simao (ICMC-USP, BR) Adolfo Duran (UFBA, BR) Alberto Pardo (Universidad de La Repblica, 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 Dharbe (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 (RIACS/NASA, US) ========================= ========================= ================