| Alexandre Mota 2004-07-28, 9:05 pm |
| ========================================
==========================
Call For Papers
========================================
==========================
SBMF 2004
Brazilian Symposium on Formal Methods
Promotion: Brazilian Computer Society (SBC)
========================================
==========================
Latest News:
* SBMF 2004 will occur concurrently to the Pernambuco School on
Software Engineering: Refinement. Jointly Organised by UNU/IIST,
CIn-UFPE, and University of York (26 of November - 3th of December,
2004)
* Publication of the proceedings in ENTCS (Eletronic Notes in
Theoretical Computer Science) is now anticipated.
========================================
==========================
29 November - 01 December 2004
Universidade Federal de Pernambuco, Brazil
URL: http://www.cin.ufpe.br/~sbmf2004/
========================================
==========================
SBMF'2004 is the seventh 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 the
academics and research agencies in Brazil. The recent creation of the
Special Commission on Formal Methods, within the Brazilian Computer
Society, has been an added incentive for our community.
Scope
-----
The aim of this event is to provide an opportunity for researchers
with a broad range of interests in formal methods to discuss the
recent developments in this field. The themes include, but are not
limited to the following.
* Well-founded specification and design languages;
* Formal design methods;
* Model checking;
* Theorem proving;
* Formal aspects of popular languages and methodologies;
* Formal testing;
* Tools supporting the formal development of computational
systems;
* Systems application and experience reports of formal methods.
Papers with a strong emphasis on Formal Methods, whether practical or
theoretical, are invited for submission.
Submission guidelines
---------------------
Papers should preferably be written in English, but papers in
Portuguese are also acceptable. They must be no longer than
16 A4 pages (single column), including all the figures and references.
Font: Times Roman 12 pt (or similar);
Margins: Up: 3.5 cm; Down: 2 cm; Left and Right: 2.5 cm.
All submissions must be either in ghostview-readable PostScript or
Adobe Portable Document Format (PDF) formats. The details of the
submission procedure are in URL: http://www.cin.ufpe.br/~sbmf2004/.
The contact address is arnaldo@ic.unicamp.br.
There will be a Best Paper Award, but only the papers written in
English will compete. Authors of the Best Paper will the invited to
submit an enhanced version to the JBCS (Journal of the Brazilian
Computer Society).
Important dates
----------------
Submission of papers: 29th of August, 2004
Authors notification: 13th of October, 2004
Camera-ready copy: 22nd of October, 2004
Invited speakers
----------------
Carroll Morgan (School of CSE, Australia)
Jim Davies (Oxford University, England)
Paulo Borba (UFPE, Brazil)
Steering Committee
------------------
Ana Cavalcanti (University of Kent, England)
David Deharbe (UFRN, Brazil)
Patricia Machado (UFCG, Brazil)
Ana Melo (USP, Brazil)
Arnaldo Moura (Unicamp, Brazil) - PC Chair
Augusto Sampaio (UFPE, Brazil)
Program Committee
-------------------
Alexandre Mota (UFPE, Brazil)
Anamaria Moreira (UFRN,Brazil)
Angelo Perkusich (UFCG,Brazil)
Arnaldo Moura (UNICAMP, Brazil)
Daltro Nunes (UFRGS, Brazil)
David Deharbe (UFRN, Brazil)
David Naumann (Stevens Institute of Technology, USA)
Guilherme Pinto (University of Oldenburg, Germany)
Heike Wehrheim (University of Oldenburg, Germany)
Jim Davies (University of Oxford, England)
Jim Woodcock (University of Kent, England)
John Derrick (University of Kent, England)
Jorge Figueiredo (UFCG, Brazil)
José Carlos Maldonado (USP, Brazil)
Leila Ribeiro (UFRGS, Brazil)
Leila Silva (UFS, Brazil)
Luis Barbosa (Universidade do Minho, Portugal)
Marie-Claude Gaudel (Laboratoire de Recherche en Informatique, France)
Paulo Blauth (UFRGS, Brazil)
Sheila Veloso (UFRJ, Brazil)
Steve King (University of York, England)
|