Call for Papers (ICFEM 2010)

Call for Papers (ICFEM 2010)

Post by jpbowe » Tue, 25 May 2010 18:31:00


his is a multi-part message in MIME format.

------=_NextPart_000_00EE_01CAFB2C.343BAF60
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

***************************************************************
ICFEM 2010
12th International Conference on Formal Engineering Methods
*** Call For Papers ***

Nov 16-19, 2010
Shanghai, China
http://www.sei.ecnu.edu.cn/icfem2010/
***************************************************************

ICFEM brings together those interested in the application of formal=20
engineering methods to computer systems. Researchers and=20
practitioners, from industry, academia, and government, are=20
encouraged to attend, and to help advance the state of the art. We=20
are interested in work that has been incorporated into real=20
production systems, and in theoretical work that promises to bring=20
practical, tangible benefit.

ICFEM 2010 will be organized by Software Engineering Institute,=20
East China Normal University. Any inquiries can be sent to=20
XXXX@XXXXX.COM .=20

AREA AND TOPICS

Submissions related to the following principal themes are encouraged,=20
but any topics relevant to the field of formal methods and=20
their support environments will also be considered:=20
Formal model-based development and code generation
Abstraction and refinement
Formal specification and modelling
Software verification
Formal approaches to software testing
Software model checking
Formal methods for object and component systems
Analysis and models for concurrency
Formal methods for cloud computing
Tool development and integration
Software safety, security and reliability
Experiments involving verified systems
Applications of formal methods


SUBMISSION AND PUBLICATION

Submissions to the conference must not have been published or be=20
concurrently considered for publication elsewhere. All submissions=20
will be judged on the basis of originality, contribution to the=20
field, technical and presentation quality, and relevance to the=20
conference. The proceedings will be published in the Springer Lecture=20
Notes in Computer Science series.

Papers should be written in English and not exceed 16 pages in LNCS=20
format (see http://www.springer.de/comp/lncs/authors.html for=20
details). Submission should be done through the ICFEM 2010 submission=20
page (http://www.sei.ecnu.edu.cn/icfem2010/), handled by the EasyChair=20
conference system. All queries should be sent to the e-mail address=20
XXXX@XXXXX.COM .


IMPORTANT DATES

May 28, 2010: Abstract submission deadline
June 4, 2010: Full-paper submission deadline
July 30, 2010: Acceptance/rejection notification
August 13, 2010: Final version due

ORGANIZATION COMMITTEE

Conference Chair:=20
Jifeng He (East China Normal University, China)

Program Co-Chairs:=20
Jin Song Dong (National University of Singapore, Singapore)
Huibiao Zhu (East China Normal University, China)


PROGRAM COMMITTEE

Yamine AIT AMEUR (LISI/ENSMA, France)
Farhad Arbab (CWI and Leiden University, The Netherlands)
Nazareno Aguirre (Universidad Nacional de R=EDo Cuarto, Argentina)
Bernhard Aichernig (Graz University of Technology, Austria)
Keijiro Araki (Kyushu University, Japan
 
 
 

1. Call for Papers (ICFEM 2010)

2. Call for Papers: 12th International Conference on Formal Engineering Methods (ICFEM 2010 - extended deadlines)

3. Call for Papers & Sessions: The 2010 International Conference on Data Mining (DMIN'10), USA, July 2010

4. Call for Papers: BIOCOMP'10 (The 2010 International Conference on Bioinformatics and Computational Biology), USA, July 2010

5. Call for Papers: ICAI'10 (The 2010 International Conference on Artificial Intelligence), USA, July 2010

6. Call for Papers: The 2010 International Conference on Information and Knowledge Engineering (IKE'10), USA, July 2010

7. Call for Papers: BIOCOMP'10 (The 2010 International Conference on Bioinformatics and Computational Biology), USA, July 2010

8. Call for Papers: IKE'10 (The 2010 International Conference on Information and Knowledge Engineering), USA, July 2010

9. Call for Papers: The 2010 International Conference on Information and Knowledge Engineering (IKE'10), July 2010, USA

10. Call for Papers: The 2010 International Conference of Financial Engineering (ICFE 2010)

11. Call for Papers: DMIN'10 (The 2010 International Conference on Data Mining), USA, July 2010

12. Call for Papers: IKE'10 (The 2010 International Conference on Information and Knowledge Engineering), USA, July 2010

13. Call for Papers & Sessions: The 2010 International Conference on Artificial Intelligence (ICAI'10), USA, July 2010

14. Call for Papers: GEM'10 (The 2010 International Conference on Genetic and Evolutionary Methods), USA, July 2010

15. Call for Papers: The 2010 International Conference on Bioinformatics and Computational Biology (BIOCOMP'10), USA, July 2010