I W F M S
2 0 0 4


Chinese version

Home
 
Call for papers
 
Registration
 
Program
 
Accepted papers
 
Invited speakers
 
Organization
 
Practical information
 
Scenery of Nanjing
 
Photos
 


 
International Workshop on FORMAL METHODS and SECURITY

Nanjing, P. R. China
May 17 - 20, 2004


Program committee chairs
 
Pierre-Louis CURIEN

PPS, Université Denis Diderot
Case 7014, 2 Place Jussieu
75251 PARIS Cedex 05, FRANCE

Email: curien@pps.jussieu.fr


SONG Fang-Min

Department of Computer Science
Nanjing University
NANJING, 210093, P. R. CHINA

Email: fmsong@netra.nju.edu.cn


Program committee
  • Guy COUSINEAU (Université Paris 7)

  • Pierre-Louis CURIEN (CNRS/Université Paris 7, co-chair)

  • Stéphane GRUMBACH (INRIA)

  • LŰ Jian (State Key Laboratory, Nanjing University)

  • SONG Fang-Min (Nanjing University, co-chair)

  • JIANG Ying (Chineese Academy of Sciences)

  •  
     
    [Home | Call for papers | Registration | Program | Accepted papers |
    Invited speakers | Organization | Practical information | Scenery of Nanjing]
    This page is maintained by ZHANG Yu, last modified on February 13, 2004.