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

December 9-12, 2009
Rio de Janeiro, Brazil
http://icfem09.inf.puc-rio.br
***************************************************************

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
following.

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.

INVITED SPEAKERS

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

SUBMISSION AND PUBLICATION

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
their work to a SPECIAL ISSUE OF SCIENCE OF COMPUTER PROGRAMMING.

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). Papers will be processed through the EasyChair conference
management system. To submit your paper, please visit
http://www.easychair.org/conferences/?conf=icfem09. All queries should
be sent to the e-mail address icfem09@inf.puc-rio.br.

IMPORTANT DATES

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

STEERING COMMITTEE

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

ORGANISING COMMITTEE

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

PROGRAM COMMITTEE

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