[Prev][Next][Index][Thread]
Workshop on "Formal Methods and Security", Nanjing
International Workshop
on
FORMAL METHODS and SECURITY
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 Systmes" (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
schedule:
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-Tlcom, Lannion)
Roberto DI COSMO (INRIA / Paris 7 University)
Gilles DOWEK (INRIA)
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-Franois MONIN (France-Tlcom, 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), Stphane Grumbach (INRIA), L Jian (State
Key Laboratory, Nanjing), Song Fangmin (Nanjing University, co-prsident),
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
University
and the State Key Laboratory of New Software Technology (Nanjing).