<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=gb2312">
<META content="MSHTML 6.00.2900.3199" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT size=2>
<DIV><FONT size=2>
(We apologize for multiple copies of this Call.)</FONT></DIV>
<DIV> </DIV>
<DIV><FONT
size=2>==============================================================
</FONT></DIV>
<DIV> </DIV>
<DIV><FONT
size=2>
FICS 2008</FONT></DIV>
<DIV> </DIV>
<DIV><FONT size=2>
The First International Conference on<BR>
Foundations of Informatics, Computing, and
Software<BR> (<A
href="http://www.sei.ecnu.edu.cn/~fics08/">http://www.sei.ecnu.edu.cn/~fics08/</A>)</FONT></DIV>
<DIV> </DIV>
<DIV><FONT
size=2>
June 3-6, 2008, Shanghai, China</FONT></DIV>
<DIV> </DIV>
<DIV><FONT size=2> For more information e-mail: <A
href="mailto:fics08@sei.ecnu.edu.cn">fics08@sei.ecnu.edu.cn</A><BR>
<BR>=============================================================<BR>Foundations
of Informatics, Computing and Software (FICS) is a new conference aimed at being
one of the leading conferences</FONT></DIV>
<DIV><FONT size=2>in theory, methodologies and systems spanning several
emerging areas of computer science, such as programming languages, </FONT></DIV>
<DIV><FONT size=2>software engineering, verification and informatics (bio,
medical).</FONT></DIV>
<DIV><FONT size=2>The 1th International Conference FICS will take place on the
campus of East China Normal University (ECNU), Shanghai, China, </FONT></DIV>
<DIV><FONT size=2>from June 3 to June 6, 2008. </FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>This Conference is intended to be a forum for researchers in
several areas with topics including but not limited to:</FONT></DIV>
<DIV><FONT size=2>*Algorithm and Computability<BR>*Bioinformatics and Systems
Biology<BR>*Computational Complexity<BR>*Concurrent and Parallel
Computing<BR>*Domain Theory and Semantics Structures<BR>*Formal Methods and
Software<BR>*Formalization Methods and Theory<BR>* Theory ? Logic and Formal
Verification<BR>*Probabilistic Systems<BR>*Process Algebra<BR>*Quantum
Computing<BR>*Semantic Web and Ontology<BR>*Term Rewriting</FONT></DIV>
<DIV> </DIV>
<DIV><FONT size=2>SUBMISSIONS Guidelines:<BR>Authors are invited to submit
papers presenting original and unpublished research not concurrently considered
for publication </FONT></DIV>
<DIV><FONT size=2>elsewhere. Papers should not exceed 14pages and should be
formatted according to the ENTCS article style. Submissions must be
</FONT></DIV>
<DIV><FONT size=2>made through Easychair at:<BR><A
href="http://www.easychair.org/FICS2008/">http://www.easychair.org/FICS2008/</A><BR>before
the submission deadlines for abstract and full paper respectively.</FONT></DIV>
<DIV><FONT size=2>All submissions will be reviewed by at least three members of
the program committee. They will be judged on the basis of </FONT></DIV>
<DIV><FONT size=2>originality, contribution to the field, technical and
presentation quality, and relevance to the conference. The proceedings
</FONT></DIV>
<DIV><FONT size=2>of the conference will appear as a volume in ENTCS.
Pre-proceedings will be distributed at the conference.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT size=2>IMPORTANT DATES<BR>-----------------<BR>Abstract
Submissions: Friday, 28 Dec.
2007<BR>Paper Submissions:
Friday, 11th Jan. 2008<BR>Notification of acceptance: Friday,
22th Feb. 2008<BR>Camera ready deadline: Friday,
7th Mar.
2008<BR>Conference:
Monday, 3rd Jun. 2008 </FONT></DIV>
<DIV> </DIV><FONT size=2>
<DIV><BR>ORGANIZATION<BR>-----------------</DIV>
<DIV> </DIV>
<DIV>Conference Chair: <BR>Jifeng He, (ECNU, China)</DIV>
<DIV> </DIV>
<DIV>Steering Committee:<BR>Frahad Arbab (CWI, The
Netherland)
<BR>Manfred Broy ( TU Munchen, Germany)<BR>Yixiang Chen (ECNU,
China)<BR>Pierre-Louis Curien (PPS, France) <BR>Jifeng He(Chair)(ECNU,
China) <BR>Tony Hoare(Oxford Uni., UK) <BR>Huimin Lin (SI,
China)<BR>Prakash Panangaden (McGill Uni., Canada)<BR>Guo-qiang Zhang(Chair)
(CWRU, US)</DIV>
<DIV> </DIV>
<DIV>Program Committee:<BR>Li Chen (UDC, US) <BR>Yixiang Chen (ECNU,
China)<BR>Manfred Droste (Uni-Leipzig, Germany)<BR>Yuxi Fu (Shanghai Jiaotong
Uni., China) <BR>Masahito Hasegawa (Kyoto Uni., Japan)<BR>Pascal Hitzle
(Uni-Karlsruhe, Germany) <BR>Ying Jiang (SI, Academy of Science,
China)
<BR>Zhi Jin (MASS, Academy of Science, China) <BR>Achim Jung (Birmingham Uni.
UK)
<BR>Klaus Keimel (DTU,
Germany)
<BR>Hong Mei (Beijing Uni.,
China)
<BR>Madhavan Mukund (Chennai Mathematical Institute, India)<BR>Dag Normann (Oslo
Uni. Norway) <BR>Catuscia Palamidessi (INRIA FUTUR,
Paris)<BR>Prakash Panangaden (McGill Uni., Canada) <BR>Michel Schellekens
(National University of Ireland, Ireland) <BR>Dieter Spreen (University of
Siegen, Germany)<BR>Shanghua Teng (Boston Uni., US) <BR>James Worrell
(Oxford Uni.,UK) <BR>Kwangkeun Yi (Seoul National Uni., Korea)
<BR>Guo-qiang Zhang (CWRU, US)<BR>Hong Zhu (ECNU,
China)
</DIV>
<DIV> </DIV>
<DIV>Publicity Chair£º<BR>Huibiao Zhu (ECNU, China) <BR> <BR>Local
Organization Committee:<BR>Lu Han (ECNU, China)<BR>Yuanyuan He (ECNU,
China)<BR>Yanfang Ma (ECNU, China)<BR>Jie Yang (ECNU, China)<BR>Min Zhang
(Chair) (ECNU, China)<BR>Jie Zhou (ECNU, China)</DIV>
<DIV> </DIV>
<DIV>Keynote Speakers: <BR>Patrick Cousot (ENS, France, <A
href="http://www.di.ens.fr/~cousot">http://www.di.ens.fr/~cousot</A>)<BR>Vincent
Danos (PPS, France, <A
href="http://www.pps.jussieu.fr/~danos/">http://www.pps.jussieu.fr/~danos/</A>)
<BR>Peter O¡¯Hearn (QMW, UK, <A
href="http://www.dcs.qmul.ac.uk/~ohearn/">http://www.dcs.qmul.ac.uk/~ohearn/</A>)<BR>Glynn
Winskel (Cambridge Uni., UK, <A
href="http://www.cl.cam.ac.uk/~gw104/">http://www.cl.cam.ac.uk/~gw104/</A>)<BR>Ming-Sheng
Ying (Tsinghua Uni., China)</DIV>
<DIV> </DIV></FONT></FONT></DIV></BODY></HTML>