1999 Workshop on Formal Methods and Security Protocols, Trento, Italy, July 5,
1999 (part of FLOC'99).  Topics of interest include descriptive techniques
(specification languages, models, logics) and analysis techniques (model
checking, theorem proving, and their combination), as applied to protocols for
authentication, fair exchange, electronic commerce, electronic auctions, etc.
The program will consist of a keynote lecture by Catherine Meadows (NRL),
technical sessions, and a panel discussion.  Extended abstracts (about 5-10
pages) explaining recent research results or work in progress should be mailed
electronically to both organizers, nch@research.bell-labs.com and
Edmund.Clarke@cs.cmu.edu, to be received by March 26, 1999.  Submissions should
be formatted as a PostScript file in USLetter size.  See
http://www.cs.bell-labs.com/who/nch/fmsp99/ for more information.