================================================================== SBMF 2006 (Last Call for Papers) Brazilian Symposium on Formal Methods 18-20 September, 2006 Natal - Rio Grande do Norte, Brazil URL: http://www.dimap.ufrn.br/sbmf2006 Promotion: Brazilian Computer Society (SBC) ================================================================== SBMF 2006 is the ninth of a series of events devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. It is now a well-established event, with a very good reputation among academics and research agencies in Brazil. 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 2006, the symposium will be held in Natal, capital of Rio Grande do Norte, jointly with the International Conference on Graph Transformations as well as its satellite events: . Tutorial on Foundations and Applications of Graph Transformation . Workshop on Petri Nets and Graph Transformations . Workshop on Graph-Based Tools . Workshop on Graph Computation Models . Workshop on Software Evolution through Transformations. 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: . Well-founded specification and design languages . Formal aspects of popular languages and methodologies . Logics and semantics of programming and specification languages . Formal design methods . Modularization and refinement techniques . Program synthesis . Formal methods integration . Model checking and theorem proving . Static analysis . Formal techniques in software testing . Software certification . Models of objects, aspects and component systems . Models of concurrency, security and mobility . Computation models . Rewriting systems . Type systems and category theory in computer science . Teaching of, for and with formal fethods In 2006, we will have a special session on applications and tools for formal methods. The topics for this session are: . Experience reports on the use of formal methods . Industrial case studies . Tools supporting the formal development of computational systems Papers with a strong emphasis on Formal Methods, whether practical or theoretical, are invited for submission. Invited Speakers ---------------- . Daniel Jackson, joint speaker with ICGT (MIT, USA) . Claude Kirchner (INRIA, FR) . Rustan Leino (Microsoft, USA) Important dates ---------------- Submission of complete paper: June 18th, 2006 (REALLY FIRM!) Authors notification: July 28th, 2006 Camera-ready copy: August 11th, 2006 Submission guidelines --------------------- 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 , or in the SBMF 2006 page. All submissions must be either in ghostview-readable PostScript or Adobe Portable Document Format (PDF) formats. Submissions must be uploaded using the JEMS system in URL: https://submissoes.sbc.org.br/sbmf2006. The contact address for any inquiry is sbmf2006@inf.ufrgs.br. 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. Program Committee ------------------ . Alexandre Mota (BR) . Álvaro Moreira (BR) . Ana Cavalcanti (UK) . Ana Melo (BR) . Anamaria Martins Moreira (BR, Co-chair) . Andrea Corradini (IT) . Arnaldo Moura (BR) . Augusto Sampaio (BR) . Daltro Nunes (BR) . David Déharbe (BR) . David Naumann (US) . Edward Hermann Haeusler (BR) . Heike Wehrheim (DE) . Jim Davies (UK) . John Derrick (UK) . Jorge Figueiredo (BR) . José Nuno Oliveira (PT) . Leila Ribeiro (BR, Co-chair) . Leila Silva (BR) . Luis Barbosa (PT) . Marcio Cornelio (BR) . Mark van den Brand (NL) . Michaël Rusinowitch (FR) . Patricia Machado (BR) . Paolo Baldan (IT) . Rachid Echahed (FR) . Reiko Heckel (UK) . Roberto da Silva Bigonha (BR) . Rudolf Seviora (CA) . Steve King (UK) . Zhiming Liu (MO) ==================================================================