[Elsnet-list] SBMF-2005 (Last Call for Papers)

Aline Villavicencio avillavicencio at inf.ufrgs.br
Wed Aug 17 23:16:51 CEST 2005


==================================================================

                SBMF-2005 (Call for Papers)
             Brazilian Symposium on Formal Methods

                     28-30 November, 2005
            Porto Alegre - Rio Grande do Sul, Brazil
                URL: http://www.inf.ufrgs.br/~sbmf

          Promotion: Brazilian Computer Society (SBC)

             NEWS: Publication in ENTCS Confirmed!
                   See also Invited Speakers

==================================================================

SBMF-2005 is the eighth 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
       * Formal methods integration
       * 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.  Submissions must be uploaded using the EDAS system in URL: 
https://submissoes.sbc.org.br/sbmf2005. The contact address for any 
inquiry is sbmf2005 at cin.ufpe.br.

Publication of the proceedings in ENTCS (Eletronic Notes in Theoretical
Computer Science) is CONFIRMED, but only for the accepted papers 
written in English.

There will be a Best Paper Award; only the papers written in English
will compete.  Authors of the Best Paper will be invited to submit an 
enhanced version to the JBCS (Journal of the Brazilian Computer 
Society).

Important dates
----------------

Submission of papers:  22nd of August, 2005
Authors notification:  21st of October, 2005
Camera-ready copy:     31st of October, 2005


Invited speakers
----------------

Mike Reed (UNU-IIST, Macao)
Patricia Machado (UFCG - Brazil)


Steering Committee
------------------

Alexandre Mota  (UFPE, Brazil)
Ana Cavalcanti  (University of York, England)
Augusto Sampaio (UFPE, Brazil) - PC Chair
Arnaldo Moura   (Unicamp, Brazil)
David Deharbe   (UFRN, Brazil)
Leila Ribeiro   (UFRGS, Brazil) - General Chair


Program Committee
-------------------

Alvaro Moreira (UFRGS, Brazil) - General Co-Chair
Ana Melo (USP, Brazil)
Anamaria Moreira (UFRN,Brazil)
Angelo Perkusich (UFCG,Brazil)
Carroll Morgan (UNSW, Australia)
Daltro Nunes (UFRGS, Brazil)
David Aspinall (Edinburgh, Scotland)
David Naumann (Stevens Institute of Technology, USA)
Edward Hermann Haeusler (PUC-Rio, Brazil)
Guilherme Pinto (University of Oldenburg, Germany)
Heike Wehrheim (University of Paderborn, Germany)
Jim Davies (University of Oxford, England)
Jim Woodcock (University of Kent, England)
John Derrick (University of Kent, England)
Jorge Figueiredo (UFCG, Brazil)
Jose Carlos Maldonado (USP, Brazil)
Jose Nuno Oliveira (UMinho, Portugal)
Leila Silva (UFS, Brazil)
Luis Barbosa (Universidade do Minho, Portugal)
Marcio Cornelio (UPE, Brazil)
Marie-Claude Gaudel (Laboratoire de Recherche en Informatique, France)
Patricia Machado (UFCG, Brazil)
Paulo Blauth (UFRGS, Brazil)
Roberto da Silva Bigonha (UFMG, Brazil)
Sergio Campos (UFMG, Brazil)
Sheila Veloso (UFRJ, Brazil)
Steve King (University of York, England)
Zhiming Liu	(UNU-IIST, Macao)




More information about the Elsnet-list mailing list