Workshop on "Formal Methods and Security", Nanjing

International Workshop

Dates: 26-30  May, 2003
Location: Nanjing, Jiangsu Province, CHINA

This workshop aims at highlighting the importance of formal tools for
the design and implementation of programming languages and systems,
both conventionally sequential and concurrent. It arises as the joint
initiative of the Department of Computer Science of Nanjing University
and of the laboratory "Preuves, Programmes et SystŹmes" (CNRS and
University Paris 7).

The meeting will consist in a number of invited talks, and of
contributed talks, which will be selected by the program committee on
the basis of 3 pages (at most) abstracts, according to the following

Deadline for submission: February 15
Deadline for notification of acceptance/rejection: March 15

Abstracts should be sent electronically (ps or pdf)  to both co-chairs, at
the following addresses:
curien@pps.jussieu.fr, fmsong@netra.nju.edu.cn.

The list of topics is voluntarily maintained quite flexible, and includes:

- type theory
- programming languages
- program  certification
- model-checking
- wide-area computing (data bases, web, mobility)

Invited speakers

Giuseppe CASTAGNA (ENS, Paris)
Pierre CREGUT (France-Télécom, Lannion)
Roberto DI COSMO (INRIA / Paris 7 University)
FU Yuxi (Jiaotong University, Shanghai)
HE Jifeng (United Nations University, UNU-IIST, Macao)
LIN Huimin (Software Institute, Beijing)
Jean-Jacques LEVY (INRIA Rocquencourt)
Luc MARANGET (INRIA Rocquencourt)
Jean-Franćois MONIN (France-Télécom, Lannion)
David NOWAK (ENS Cachan)
ZHANG Guoqiang (Case Western Reserve University, Cleveland)

Program Comittee:
Guy Cousineau (Paris 7 University), Pierre-Louis Curien (CNRS / Paris 7
University, co-chair),  (INRIA), Stéphane Grumbach (INRIA), Lü Jian (State
Key Laboratory, Nanjing),  Song Fangmin (Nanjing University, co-président),
Jiang Ying (Software Institute, Beijing)

Sponsors:  The workshop benefits from the financial support of the French
Consulate in Shanghai and from the LIAMA (Sino-French Laboratory in
Informatics, Automatics, and Applied Mathemtics, Beijing). Further support
is currently sought for.

Local organization by the  Department of Computer Science of Nanjing
and the  State Key Laboratory of New Software Technology (Nanjing).