posted by user: alcc || 4869 views || tracked by 11 users: [display]

ICFEM 2009 : 11th International Conference on Formal Engineering Methods


Conference Series : International Conference on Formal Engineering Methods
When Dec 9, 2009 - Dec 12, 2009
Where Rio de Janeiro
Abstract Registration Due Jul 13, 2009
Submission Deadline Jul 20, 2009
Notification Due Sep 8, 2009
Final Version Due Sep 21, 2009
Categories    formal methods   software engineering

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 for
details). Papers will be processed through the EasyChair conference
management system. To submit your paper, please visit All queries should
be sent to the e-mail address


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

Related Resources

SEFM 2022   20th International Conference on Software Engineering and Formal Methods
FM 2023   Formal Methods
SBMF 2022   25th Brazilian Symposium on Formal Methods
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
IEEE SEAI--EI Compendex, Scopus 2022   2022 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2022)--EI Compendex, Scopus
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
FACS 2022   18th International Conference on Formal Aspects of Component Software
SEMIT 2022   3rd International Conference on Software Engineering and Managing Information Technology
ICLA 2022   10th Indian Conference on Logic and its Applications