[TYPES] Final Call SASYFT2004 - Extended Deadline

[Siva Anantharaman]

-------------- next part --------------

-------------------------------------------------------------------------
 ... Apologies for multiple copies ...Apologies for multiple copies ...
-------------------------------------------------------------------------

                        Final  Call for papers:  SASYFT2004

  International Workshop on Security Analysis of Systems: Formalisms and Tools
            ("Sécurité des systèmes: formalismes et outils  d'analyse")

                         21-22 June 2004, Orléans, France.

Hosted by LIFO (Laboratoire d'informatique fondamentale d'Orléans)
          
             http://www.univ-orleans.fr/SCIENCES/LIFO/Events/SASYFT2004/

NOTE: Extended Deadline for paper submission: 
         FRIDAY, the 12th of MARCH 2004

Invited Lectures:
   Catherine Meadows (Naval Research Lab, Washington-DC, USA)
   Jean Goubault-Larrecq (ENS, Cachan, France)

An indicative (although non-exhaustive) list of research directions,  
relevant to the scope of the workshop: 

- Process Algebras
- Petri Nets 
- Automata and Grammars
- Rewriting
- Constraint-Based Reasoning
- Clausal Theorem Proving
- Lambda Calculi and Extensions
- ....

We welcome original unpublished papers (in English) on any of the above 
topics or any related research direction. Enhanced versions of work 
presented at earlier conferences/workshops will also be considered, 
provided they are as yet unpublished. Papers should be no longer than 18 
pages including bibliography and appendices, and should be submitted in
Postscript or PDF format. 

A special issue of the international journal JALC ("Journal of Languages, 
Automata and Combinatorics",  http://www.jalc.de )  is intended comprising 
those of the papers accepted at SASYFT2004 and judged most relevant to its 
scope by the programme committee. 

All practical informations related to SASYFT2004 will be available 
progessively at:
        http://www.univ-orleans.fr/SCIENCES/LIFO/Events/SASYFT2004/

Important dates: 
  Submission deadline: 12 March 2004.
  Notification of acceptance: 15 April 2004. 
  Deadline for the workshop version of paper: 7 Mai 2004. 
  Workshop: Monday 21 - Tuesday 22, June 2004