<!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>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
(We apologize for multiple copies of this Call.)</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT 
size=2>==============================================================&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT 
size=2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
FICS 2008</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT size=2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
The First International Conference on<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Foundations of Informatics, Computing, and 
Software<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (<A 
href="http://www.sei.ecnu.edu.cn/~fics08/">http://www.sei.ecnu.edu.cn/~fics08/</A>)</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT 
size=2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
June 3-6, 2008, Shanghai, China</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT size=2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; For more information e-mail: <A 
href="mailto:fics08@sei.ecnu.edu.cn">fics08@sei.ecnu.edu.cn</A><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<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,&nbsp; methodologies and systems spanning several 
emerging areas of computer science, such as programming languages, </FONT></DIV>
<DIV><FONT size=2>software engineering,&nbsp; 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>&nbsp;</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>&nbsp;</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>&nbsp;</DIV>
<DIV><FONT size=2>IMPORTANT DATES<BR>-----------------<BR>Abstract 
Submissions:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Friday, 28 Dec. 
2007<BR>Paper Submissions:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Friday, 11th Jan. 2008<BR>Notification of acceptance:&nbsp;&nbsp;&nbsp; Friday, 
22th Feb. 2008<BR>Camera ready deadline:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Friday, 
7th Mar. 
2008<BR>Conference:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Monday, 3rd Jun. 2008 </FONT></DIV>
<DIV>&nbsp;</DIV><FONT size=2>
<DIV><BR>ORGANIZATION<BR>-----------------</DIV>
<DIV>&nbsp;</DIV>
<DIV>Conference Chair: <BR>Jifeng He, (ECNU, China)</DIV>
<DIV>&nbsp;</DIV>
<DIV>Steering Committee:<BR>Frahad Arbab (CWI, The 
Netherland)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>Manfred Broy ( TU Munchen, Germany)<BR>Yixiang Chen (ECNU, 
China)<BR>Pierre-Louis Curien (PPS, France) <BR>Jifeng He(Chair)(ECNU, 
China)&nbsp; <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>&nbsp;</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)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>Zhi Jin (MASS, Academy of Science, China) <BR>Achim Jung (Birmingham Uni. 
UK)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>Klaus Keimel (DTU, 
Germany)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>Hong Mei (Beijing Uni., 
China)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>Madhavan Mukund (Chennai Mathematical Institute, India)<BR>Dag Normann (Oslo 
Uni. Norway)&nbsp;&nbsp; <BR>Catuscia Palamidessi (INRIA FUTUR, 
Paris)<BR>Prakash Panangaden (McGill Uni., Canada)&nbsp; <BR>Michel Schellekens 
(National University of Ireland, Ireland) <BR>Dieter Spreen (University of 
Siegen, Germany)<BR>Shanghua Teng (Boston Uni., US)&nbsp; <BR>James Worrell 
(Oxford Uni.,UK) <BR>Kwangkeun Yi (Seoul National Uni., Korea)&nbsp;&nbsp;&nbsp; 
<BR>Guo-qiang Zhang (CWRU, US)<BR>Hong Zhu (ECNU, 
China)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
</DIV>
<DIV>&nbsp;</DIV>
<DIV>Publicity Chair£º<BR>Huibiao Zhu (ECNU, China) <BR>&nbsp;<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>&nbsp;</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>&nbsp;</DIV></FONT></FONT></DIV></BODY></HTML>