[TYPES/announce] [Types-announce]call for papers FICS2008

[Min ZHANG]

We apologize for multiple copies of this Call.
 
==============================================================

  Call for Papers
 
                  FICS 2008
 
           The First International Conference on
      Foundations of Informatics, Computing, and Software
          ( <http://www.sei.ecnu.edu.cn/~fics08/>
http://www.sei.ecnu.edu.cn/~fics08/)
 
      June 3-6, 2008, Shanghai, China
                 
=============================================================

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.mit.edu/~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)
 
 
ATTENDANCE
------------
The conference is open to all members of the CP community. At least one
author of each submission accepted for presentation must attend the
conference and present the contribution.  All conference attendees must pay
the conference fee.
 
CONTACT
-------------
Min ZHANG

Post Address: Institute of Theoretical Computing, Software Engineering
Institute,  
East China Normal University, Shanghai, China
Post Number: 200062
Physical Address:  Room East207, Mathematics Building, East China Normal
University
 (Number 3663, Zhongshan North Road), Shanghai, China  
Phone: +86 (0) 21- 6223 5710
Fax: +86 (0) 21- 6223 5255
Email: mzhang at sei.ecnu.edu.cn; fics08 at sei.ecnu.edu.cn

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20071109/4e615302/attachment.htm