(We apologize for multiple copies of this Call.) ============================================================== 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 For more information e-mail: [log in to unmask] ============================================================= 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) 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.di.ens.fr/~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)