[isabelle] ICFEM 2009: First Call for Papers

                          ICFEM 2009
  11th International Conference on Formal Engineering Methods
                 ***  Call For Papers ***

                    December 9-12, 2009
                  Rio de Janeiro, Brazil

ICFEM brings together those interested in the application of formal
engineering methods to computer systems. Researchers and
practitioners, from industry, academia, and government, are
encouraged to attend, and to help advance the state of the art. We
are interested in work that has been incorporated into real
production systems, and in theoretical work that promises to bring
practical, tangible benefit.

The topics of the conference include, but are not limited to, the

    Formal model-based development and code generation
    Abstraction and refinement
    Specification, verification and validation
    Formal testing approaches
    Integrated methods and theories for different programming paradigms
    Formal methods for object and component systems
    Tool development and integration
    Experiments involving verified systems
    Applications of formal methods

There will be a special track on UML (but in the scope of the ICFEM
remit as described above). ICFEM'09 will have a five-day technical
programme, including two days for tutorials and workshops, and three
days for a conference.


    Manfred Broy, Germany - FME Invited Lecture
    Augusto Sampaio, Brazil


Submissions to the conference must not have been published or be
concurrently considered for publication elsewhere. All submissions
will be judged on the basis of originality, contribution to the
field, technical and presentation quality, and relevance to the
conference. The proceedings will be published in the Springer Lecture
Notes in Computer Science series. Authors of a selection of the
accepted papers will be invited to submit an extended version of

Papers should be written in English and not exceed 20 pages in LNCS
format (see http://www.springer.de/comp/lncs/authors.html for
details). A website for uploading papers linked to the conference web
page (http://icfem09.inf.puc-rio.br) will be open at the appropriate
time. All queries should be sent to the e-mail address
icfem09 at inf.puc-rio.br.


    Abstract submission deadline: 13 July, 2009
    Full-paper submission deadline: 20 July, 2009
    Acceptance notification: 8 September, 2009
    Final version due: 21 September, 2009


Keijiro Araki, Japan
Jin Song Dong, Singapore
Chris George, China
He Jifeng (Chair), China
Mike Hinchey, Republic of Ireland
Shaoying Liu, Japan
John McDermid, UK
Tetsuo Tamai, Japan
Jim Woodcock, UK


Karin Breitman, Brazil
Paulo Rosa, Brazil
Vera Werneck, Brazil
Jim Woodcock, UK (Conference chair)


Luca Aceto, Iceland
Nazareno Aguirre, Argentina
Bernhard Aichernig, Austria
Keijiro Araki, Japan
Karin Breitman, Brazil (Chair)
Michael Butler, UK
Andrew Butterfield, Republic of Ireland
Ana Cavalcanti, UK (Chair)
Rance Cleaveland, USA
Jim Davies, UK
Jin Song Dong, Singapore
Neil Evans, UK
Colin Fidge, Australia
John Fitzgerald, UK
Joaquim Gabarro, Spain
Alex Garcia, Brazil
Stefania Gnesi, Italy
James Harland, Australia
Hermann Haeusler, Brazil
Mike Hinchey, Republic of Ireland
Thierry Jeron, France
Steve King, UK
Kim Larsen, Denmark
K. Rustan M. Leino, USA
Michael Leuschel, Germany
Shaoying Liu, Japan
Zhiming Liu, China
Patricia Machado, Brazil
Tiziana Margaria, Germany
Tom Maibaum, Canada
Ana Melo, Brazil
Dominique Mery, France
David Naumann, USA
Ken Robinson, Australia
Markus Roggenbach, UK
Helen Treharne, UK
T.H. Tse, China
Mark Utting, New Zealand
Marcel Verhoef, The Netherlands
Farn Wang, Taiwan
Heike Wehrheim, Germany
Wang Yi, Sweden
Fatiha Zaidi, France

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.