We apologize for multiple copies of this Call.
==============================================================
The last Call for Papers (deadline is extended)
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 1st 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, 4th Jan. 2008（extended）
Paper Submissions: Friday, 18th Jan. 2008 (extended)
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)
Guo-qiang 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 (Kyoto 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 Schellekens (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)
Guo-qiang 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]
雅虎邮箱传递新年祝福，个性贺卡送亲朋！
