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

ICFEM 2009 : 11th International Conference on Formal Engineering Methods

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Engineering Methods
 
Link: http://icfem09.inf.puc-rio.br
 
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
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

Related Resources

ICFEM 2017   19th International Conference on Formal Engineering Methods
CAiSE 2018   CfP: CAiSE 2018 (30th International Conference on Advanced Information Systems Engineering)
FM 2018   22nd International Symposium on Formal Methods
LICS 2018   Logic in Computer Science
ACM - ICMLSC - Ei 2018   ACM--2018 the 2nd International Conference on Machine Learning and Soft Computing (ICMLSC 2018)--Ei Compendex & Scopus
MathSJ 2017   Applied Mathematics and Sciences: An International Journal
CONCUR 2018   29th International Conference on Concurrency Theory
IMDA 2018   INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING
QEST 2018   QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems
ICSS 2017   3rd International Conference on Software Security