| |
International Workshop on FORMAL METHODS and SECURITY
Nanjing, P. R. China
May 17 - 20, 2004
Call for papers
(Submission is closed!)
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.
Abstracts should be sent electronically (ps or pdf) to both co-chairs:
Pierre-Louis CURIEN
and SONG Fang-Min.
Topics
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)
| |