[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 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
              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). 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@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
_______________________________________________
events mailing list
events@fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events