29-31 August 2007
Ouro preto, Brazil
********************************************************************* ********************************************************************* SBMF 2007 - 10th Symposium on Formal Methods First Call for Papers ********************************************************************* ********************************************************************* 29-31 August, 2007 Ouro Preto, MG, Brazil http://www.sbmf2007.ufop.br/ ********************************************************************* 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: * Theoretical foundations and applications: specification and modelling, refinement, static analysis, model-checking, rewriting systems, verification, calculation, reusable domain theories, concurrency, security and mobility. * Formal aspects of software/hardware development: development process, design methods, methods integration, testing, component- based systems, object and multi-agent systems, aspect-oriented development, service-oriented and web-based computing, re- engineering and reuse. * Formal aspects of languages: logics and semantics of programming and specification languages, type systems, program synthesis, software architectures and their description languages. * Tools: tool support and software engineering, environments for formal methods. * Formal methods in practice: experience with introducing formal methods in industry, case studies. ********************************************************************* INSTRUCTIONS FOR AUTHORS Submission: Papers should preferably be written in English, but papers in Portuguese are also acceptable. They must be no longer than 16 pages, including all figures and references, in the style used for SBC proceedings. You may get templates and style information for LaTeX from SBC (http://www.sbc.org.br/) or from SBMF2007 homepage (http://www.sbmf2007.ufop.br/). All submissions must be either in ghostview-readable PostScript or Adobe Portable Document Format (PDF). Submissions must be uploaded using the JEMS system (https://submissions.sbc.org.br/sbmf2007). The contact address for any inquiry is sbmf2007@gmail.com. Publication: All accepted papers will be published in the SBMF proceedings with ISBN. A selection of accepted papers will be published in the Electronic Notes in Theoretical Computer Science (ENTCS) series from Elsevier. Only papers originally submitted in English are subject to ENTCS publication. 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. ********************************************************************* IMPORTANT DATES Submission 15th May, 2007 Notification 14th July, 2007 Camera-ready 26th July, 2007 ********************************************************************* ORGANIZATION Organizing Committee: Luc?lia C. Figueiredo (UFOP-BR) Elaine Pimentel (UFMG-BR) Program Chairs: Ana CV de Melo (USP-BR) ?lvaro Moreira (UFRGS-BR) Publicity Chair: Ana Cavalcanti (York, UK) Program Committee: Alberto Pardo (URepublica, UY) Alexandre Mota (UFPE, BR) ?lvaro F. Moreira (UFRGS, BR) Ana Cavalcanti (York, UK) Ana C V de Melo (USP, BR) Anamaria Moreira (UFRN, BR) Andrea Corradini (Pisa,IT) Arnaldo Moura (Unicamp, BR) Augusto Sampaio (UFPE, BR) Carlos Lucena (Puc-Rio, BR) David Deharbe (UFRN, BR) David Naumann (StevensTech, US) Ewen Denney (NASA, US) Heike Wehrheim (Paderborn, DE) Jim Davies (Oxford, UK) Jim Woodcock (York, UK) John Derrick (Sheffield, UK) Joost Visser (Minho, PT) Leila Ribeiro (UFRGS, BR) Leila Silva (UFS, BR) Luc?lia C. Figueiredo (UFOP, BR) Luis Barbosa (Minho, PT) Luis C. Lamb (UFRGS, BR) Marie-Claude Gaudel (LRI-CNRS, FR) Michael Fisher (Liverpool, UK) Patricia Machado (UFCG, BR) Roberto S. Bigonha (UFMG, BR) Willem Visser (RIACS-NASA,US)