We apologize for multiple copies of this Call.

==============================================================

  Call for Papers

                  FICS 2008

           The First International Conference on

      Foundations of Informatics, Computing, and Software

          (http://www.sei.ecnu.edu.cn/~fics08/)

      June 3-6, 2008, Shanghai, China

=============================================================

Foundations of Informatics, Computing and Software (FICS) is a new conference aimed at being one of the leading conferences in theory, methodologies and systems spanning several emerging areas of computer science, such as programming languages, software engineering, verification and informatics (bio, medical).

The 1th International Conference FICS will take place on the campus of East China Normal University (ECNU), Shanghai, China, from
 June 3 to June 6, 2008.

This Conference is intended to be a forum for researchers in several areas with topics including but not limited to:

*Algorithm and Computability

*Bioinformatics and Systems Biology

*Computational Complexity

*Concurrent and Parallel Computing

*Domain Theory and Semantics Structures

*Formal Methods and Software

*Formalization Methods and Theory

* Theory • Logic and Formal
 Verification

*Probabilistic Systems

*Process Algebra

*Quantum Computing

*Semantic Web and Ontology

*Term Rewriting

SUBMISSIONS Guidelines:

Authors are invited to submit papers presenting original and unpublished research not concurrently considered for publication elsewhere. Papers should not exceed 14pages and should be formatted according to the ENTCS article style. Submissions must be made through Easychair at:

http://www.easychair.org/FICS2008/

before the submission deadlines for abstract and full paper respectively.

All submissions will be reviewed by at least three members of the program committee. They will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings of the conference will appear as a volume in ENTCS. Pre-proceedings will be distributed at the conference.

IMPORTANT DATES

-----------------

Abstract Submissions:        Friday, 28 Dec.
 2007

Paper Submissions:          Friday, 11th Jan. 2008

Notification of acceptance:    Friday, 22th Feb. 2008

Camera ready deadline:      Friday, 7th Mar. 2008

Conference:                 Monday, 3rd Jun. 2008

ORGANIZATION

-----------------

Conference Chair:

 Jifeng He, (ECNU, China)

Steering
 Committee:

Frahad Arbab (CWI, The Netherland)

Manfred Broy ( TU Munchen, Germany)

Yixiang Chen (ECNU, China)

Pierre-Louis Curien (PPS, France)

Jifeng He(Chair)(ECNU, China)

Tony Hoare(Oxford Uni., UK)

Huimin Lin (SI, China)

Prakash Panangaden (McGill Uni., Canada)

Guoqiang Zhang(Chair) (CWRU, US)

Program Committee:

Li Chen (UDC, US)

Yixiang Chen (ECNU, China)

 Manfred Droste (Uni-Leipzig, Germany)
  Yuxi Fu (Shanghai Jiaotong Uni., China)

Masahito Hasegawa (Tokyo Uni., Japan)

Pascal Hitzle (Uni-Karlsruhe, Germany)

Ying Jiang (SI, Academy of Science, China)

Zhi Jin (MASS, Academy of Science, China)

Achim Jung (Birmingham Uni. UK)

Klaus Keimel (DTU, Germany)

Hong Mei (Beijing Uni., China)

 Madhavan Mukund (Chennai Mathematical Institute, India)

Dag Normann (Oslo Uni. Norway)

Catuscia Palamidessi (INRIA FUTUR, Paris)

Prakash Panangaden (McGill Uni., Canada)

Michel Shellekens (National University of Ireland,
 Ireland)

Dieter Spreen (University of Siegen, Germany)

Shanghua Teng (Boston Uni., US)

James Worrell (Oxford Uni.,UK)

Kwangkeun Yi (Seoul National Uni., Korea)

Guoqiang Zhang (CWRU, US)

Hong Zhu (ECNU, China)

Publicity Chair£؛

    
 Huibiao Zhu (ECNU, China)

Local Organization Committee:

Lu Han (ECNU, China)

Yuanyuan He (ECNU, China)

Yanfang Ma (ECNU, China)

Jie Yang (ECNU, China)

Min Zhang (Chair) (ECNU, China)

Jie Zhou (ECNU, China)

Keynote Speakers:

Patrick Cousot (ENS, France, http://www.mit.edu/~cousot/)

Vincent Danos (PPS, France, http://www.pps.jussieu.fr/~danos/)

Peter O،¯Hearn (QMW, UK, http://www.dcs.qmul.ac.uk/~ohearn/)

Glynn Winskel (Cambridge Uni., UK, http://www.cl.cam.ac.uk/~gw104/)

Ming-Sheng Ying (Tsinghua Uni., China)

ATTENDANCE

------------

The conference is open to all members of the CP community. At least one author of each submission accepted for presentation must attend the conference and present the contribution. 
 All conference attendees must pay the conference fee.

CONTACT

-------------

Min ZHANG

Post Address: Institute of Theoretical Computing, Software Engineering Institute,

East China Normal University, Shanghai, China

Post Number: 200062

Physical Address:  Room East207, Mathematics Building, East China Normal University

 (Number 3663, Zhongshan North Road), Shanghai, China

Phone: +86 (0) 21- 6223 5710

Fax: +86 (0) 21- 6223 5255

Email: [log in to unmask]; [log in to unmask]

رإ»¢ستدن£¬ضصةْ»ï°é£،