[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] ICFEM 2007 : Submission Deadline 28 May
-----------------------------------------------------------------------
Call for Papers
ICFEM 2007
9th International Conference on Formal Engineering Methods
13-15 November 2007
Florida Atlantic University, Boca Raton, Florida, USA
www.icfem2007.org
DEADLINE: 28th May 2007 (Hard Deadline)
-----------------------------------------------------------------------
Formal methods for development of computer systems have been
extensively researched and studied. We now have a good
theoretical understanding of how to describe what programs do, how
they do it, and why they work. A range of semantic theories,
specification languages, design techniques, and verification
methods and tools have been developed and applied to the
construction of programs of moderate size that are used in
critical applications.
The challenge now is to scale up formal methods and integrate
them into engineering development processes for the correct
construction and maintenance of computer systems. This requires us
to improve the state-of-the-art by researching the integration of
methods and their theories, and merging them into industrial
engineering practice, including new and emerging practice.
ICFEM 2007 aims to bring 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 particularly encourage submissions that are
aimed at a combination of conceptual and methodological aspects
with their formal foundation and tool support. We are interested
in work that has been incorporated into real production systems,
and in theoretical work that promises to bring practical, tangible
benefit.
Area and Topics: Any submission whose content is relevant to the
area of formal engineering methods will be considered, but
submission whose subject matter is related to one of the following
themes will be particularly welcome:
---Integrated methods and theories for different programming
paradigms and design patterns
---Formal model-based development and code generation
---Formal methods for object and component systems
---Applications in model-driven and service-based architectures
---Abstraction and refinement
---Tool development and integration for system design and
verification
---Integration of formal verification tools in CASE tools
---Techniques for specification, verification and validation
---Techniques and case studies for correctness by construction
---Experiments involving verified systems
---Specification-based inspection and testing
---Techniques and case studies for reverse engineering
---Applications in real-time, hybrid and critical systems
---Development methodologies with their formal foundations
Paper Submissions: Since ICFEM addresses a heterogeneous audience,
potential authors are strongly encouraged to make their ideas as
accessible as possible. In addition, reports of case studies
should have a conceptual message, theory papers should have a
clear link to application, and papers describing tools should
include an account of practical results. The ICFEM 2007 Program
Committee selects original technical papers for publication in the
proceedings of the conference to be published by Springer in its
Lecturer Notes in Computer Science series. Papers should not
exceed twenty pages in LNCS format.
Submission Procedure: Paper submission is managed by EasyChair.
Instruction can be found at the conference website www.icfem2007.org.
Important Dates:
Paper submission: 28 May 2007 (Hard deadline)
Notification of acceptance: 17 July 2007
Final copy for proceedings: 15 August 2007
Conference: 13-15 November 2007
General Chairs: Mike Hinchey, NASA GSFC and Loyola College in
Maryland, Baltimore, USA
Program Chairs: Michael Butler, University of Southampton, UK
Maria Petrie, Florida Atlantic University, USA
Publicity Chair: Denis Gracanin, Virginia Tech, US
Sponsored by: Florida Atlantic University
Loyola College in Maryland
PC Members:
Keijiro Araki, Kyushu University, Japan
Farhad Arbab, CWI and Leiden University, The Netherlands
David Basin, ETH Zurich,Switzerland
Michael Butler (Co-Chair), University of Southampton,UK
Ana Cavalcanti, University of York, UK
Jessica Chen, University of Windsor, Canada
Yoonsik Cheon, University of Texas at El Paso, USA
Zhenhua Duan, Xidian University, China
Jin Song Dong, National University of Singapore, Singapore
Kai Engelhardt, University of New South Wales, Australia
Ed Fernandez, Florida Atlantic University, USA
Colin Fidge, Queensland University of Technology, Australia
John Fitzgerald, University of Newcastle, UK
Marc Frappier, Université De Sherbrooke, Canada
Marcelo Frias, University of Buenos Aires, Argentina
Uwe Glässer, Simon Fraser University, Canada
Joe Kiniry, Univeristy College Dublin, Ireland
Shriram Krishnamurthi, Brown University, USA
Kung-Kiu Lau, University of Manchester, UK
Rustan Leino, Microsoft Research, USA
Michael Leuschel, Heinrich-Heine Universität Düsseldorf, Germany
Xuandong Li, Nanjing University, China
Shaoying Liu, Hosei University, Tokyo, Japan
Zhiming Liu, UNU-IIST, China
Tiziana Margaria, Universität Potsdam, Germany
Huaikou Miao, Shanghai University, China
Maria Petrie (Co-Chair), Florida Atlantic University, USA
Mike Poppleton, University of Southampton, UK
Marie-Laure Potet, Laboratoire d'Informatique de Grenoble, France
Peter O'Hearn, Queen Mary, University of London, UK
Anders P. Ravn, Aalborg University, Denmark
Davide Sangiorgi, University of Bologna, Italy
Mannu Satpathy, General Motors India Science Lab, Bangalore, India
Klaus-Dieter Schewe, Massey University, New Zealand
Kaisa Sere, Åbo Akademi, Finland
Wuwei Shen, Western Michigan University, USA
Marjan Sirjani, University of Tehran, Iran
Ketil Stølen, SINTEF and University of Oslo, Norway
Sofiene Tahar, Concordia University, Canada
Helen Treharne, University of Surrey, UK
T.H. Tse, The University of Hong Kong , China
Farn Wang, National Taiwan University, Taiwan
Wang Yi, Uppsala University, Sweden
Jian Zhang, Chinese Academy of Sciences, China