[clean-list] SBMF'07 - First Call for Papers

[Ana Cavalcanti]

*********************************************************************
*********************************************************************

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 at 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)