(We apologize for multiple copies of this Call.)
==============================================================
FICS 2008
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
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)