SASYFT2004
International Workshop on Security Analysis of Systems:
Formalism and Tools
Sécurité des systèmes: formalismes et outils d'analyse
21-22 June, 2004, Orléans, France

LIFO -- Université d'Orléans, CNRS

Programme committee
Siva Anantharaman, LIFO, Orléans
Paul Gastin, LIAFA, Paris
Gaétan Hains, LIFO, Orléans
Huimin Lin, Academy of Science, Beijing
John Mullins, Ecole Polytechnique, Montréal
Michael Rusinowitch, LORIA, Nancy

Invited Talks

  • Catherine Meadows (Naval Research Lab, Washington-DC, USA)
  • Jean Goubault-Larrecq (ENS, Cachan, France)
  • Joseph Sifakis (VERIMAG, Grenoble, France)
  • Roberto Amadio (LIF, Marseille, France)
    dot Call for Papers                                     dot Appel à participation
    dot Instructions for Authors                      dot Instructions pour auteurs
    dot Programme          dot Travel details
    dot Registration,  Accomodation-Info
                  dot List of Participants
    • Conseil Régional du Centre      le STUDIUM®              GDR - ALP (CNRS)
    Université d'Orléans                                     Centre National de la Recherche Scientifique