[Haskell] CFP FICS 2008

Huibiao Zhu hbzhu at sei.ecnu.edu.cn
Wed Nov 14 00:09:52 EST 2007


           (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: fics08 at sei.ecnu.edu.cn
                 
=============================================================
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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20071114/70eaf506/attachment.htm


More information about the Haskell mailing list