Giuseppe CASTAGNA (ENS, Paris)
    Toward a general definition of non-interference for mobile systems

Pierre CREGUT (France-Télécom, Lannion)
    Java on Mobile Phones : A New Playground for Formal Methods

Gilles DOWEK (INRIA Future)
    Modeling and Verification of an Air Traffic Concept of Operation

Yu-Xi FU (Jiaotong University, Shanghai)
    On Open Equivalence

Ji-Feng HE (United Nations University, UNU-IIST, Macao)
    Linking theories of concurrency

Jean-Louis LANET (INRIA DirDRI)
    The use of Formal Methods in the Smart Card Industry (an experience report)

James J. LEIFER (INRIA Rocquencourt)
    Language design for distributed computing: Abstraction, Rebinding and Version Control

Jean-Jacques LEVY (INRIA Rocquencourt)
    Confluent calculi for history-based control flow analysis

Hui-Min LIN (Software Institute, Beijing)
    A Predicate Spatial Logic for Mobile Processes

Jean-François MONIN (University Joseph Fourier, Grenoble)
    Formalisation of the Join-calculus in Coq

David NOWAK (ENS-Cachan, Cachan)
    Logical Relations for Monadic Types

Guo-Qiang ZHANG (Case Western Reserve University, Cleveland)
    Theory and Applications of Formal Concept Analysis