<strong>Call for Papers for ICFEM 2010</strong>

12th International Conference on Formal Engineering Methods
Nov 16-19, 2010, Shanghai, China

REF: <a href="http://www.sei.ecnu.edu.cn/icfem2010/">http://www.sei.ecnu.edu.cn/icfem2010" target="_blank" >12th ICFEM</a>


<a href="http://biggstock.com" target="_blank" >tttttttt</a>
<a href="http://www.sei.ecnu.edu.cn/icfem2010/">http://www.sei.ecnu.edu.cn/icfem2010/</a><strong> </strong>


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.

ICFEM 2010 will be organized by Software Engineering Institute, East China  Normal University. Any inquiries can be sent to <a href="mailto:icfem2010@sei.ecnu.edu.cn">icfem2010@sei.ecnu.edu.cn</a>

AREA AND TOPICS
Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered:
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 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.

Papers should be written in English and not exceed 16 pages in LNCS format (see <a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a> for details). A website for uploading papers linked to the conference webpage (<a href="http://www.sei.ecnu.edu.cn/icfem2010/">http://www.sei.ecnu.edu.cn/icfem2010/</a> ) will be open at the appropriate time. All queries should be sent to the e-mail address <a href="mailto:icfem2010@sei.ecnu.edu.cn">icfem2010@sei.ecnu.edu.cn</a>

<strong>Call for Papers for ICEBE2010</strong>

The 7th IEEE International Conference on e-Business Engineering (ICEBE 2010) is a prestigious conference which is initiated from 2003 by the IEEE Technical Committee on E-Commerce.

ICEBE is a high-quality international forum for researchers and practitioners from different areas of computer science and information systems to exchange their latest findings and experiences, as well as to help shape the future of IT-transformed consumers, enterprises, governments and markets.Please visit <a href="http://conferences.computer.org/icebe">http://conferences.computer.org/icebe</a> to get more information.

<strong>Call for Papers and Workshops</strong>

<strong></strong>The 9th International Conference on Grid and Cloud Computing
November 1-5, 2010, Nanjing, Jiangsu, P.R. China
<a href="http://jssec.seu.edu.cn/gcc2010">http://jssec.seu.edu.cn/gcc2010</a>

Organized by Southeast University, P.R. China

Committees
Steering Committee Chair: Zhiwei Xu (CAS, China)
General Co-Chairs:
Yaoxue Zhang (Tsinghua University, China)
Yi Pan (Georgia State University, USA)
Program Committee Co-Chairs:
Junzhou Luo (Southeast University, China)
Jianhua Ma (Hosei University, Japan)
Local Organization Co-Chairs:
Yun Wang (Southeast University, China)
Wei Li (Southeast University, China)
Workshop Co-Chairs:
Zhili Sun (University of Surrey, UK)
Jianming Yong (University of Southern Queensland, Australia)
Publications Chair:
Bo Liu (Southeast University, China)
Publicity Co-Chairs:
Laurence T. Yang (St. Francis Xavier University, Canada)
Jun Shen (University of Wollongong, Australia)

Scope of Conference (but not limited to)
• Grid computing
• Peer-to-peer computing
• Cloud computing
• Service computing
• Green computing
• High performance computing
• Parallel and distributed computing
• Cyber physical systems
• Smart planet
• Network communication
• Sensor Network
• Techniques, methods and tools for cooperative design
• Cooperation in virtual enterprises and e-businesses
• Resource virtualization for grid and cloud Computing
• Data Management for grid and cloud Computing
• Semantic basis for grid and cloud computing
• Software engineering support for grid and cloud computing
• Grid and cloud middleware
• Performance measurement, evaluation and modeling
• QOS, SLA negotiation and deployment issues
• Security and trust issues in grid and cloud computing
• Applications or industrial case
• Other areas related to grid and cloud computing

Submission of Papers
Unpublished papers reporting original research results and experience are solicited. Each paper, written in English, should be no more than 6 pages (IEEE proceedings format), including references and Illustrations. Electronic submissions in PDF format are strongly recommended. Detailed electronic submission instructions will be posted on the conference web site. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the conference to present the paper.

Workshops Proposal
In conjunction with the GCC2010 conference, several workshops with more than 8 papers will be held. Workshops are tentatively planned to be held prior to, or after the main conference. The workshops with more than 15 papers will be granted with a free complimentary registration and local accommodation for one leading workshop organizer. If you would like to organize, please submit a workshop proposal including (1) call for papers, (2) organizing committee and PC members, (3) the name, contact and short bio of the key organizer(s), (4) important dates to the <a href="mailto:gcc2010@pub.seu.edu.cn">gcc2010@pub.seu.edu.cn</a> before April 10, 2010. The GCC2010 organizing committee will decide on the acceptance of workshop proposals.

Publication
All submitted papers will be reviewed by program committee members and selected based on their originality, significance, relevance, technical quality and clarity of presentation. The main conference and workshops proceedings will be all published by IEEE CS Press. Outstanding papers will be recommended to "Journal of Computer Science and Technology" and a special issue of "Cluster Computing" (all indexed by SCI and EI) for the publication after the revision and the extention.