[3] =============================================== AMAST News, Sample Issue 01

  FORTE'94, Seventh International Conference on FORMAL DESCRIPTION TECHNIQUES 
  Berne, Switzerland, 4 - 7 October 1994.  PRELIMINARY PROGRAM is available.

FORTE'94 will be held in Berne, in the "Aula" of the main building of
the University of Berne, Hochschulstr. 4, CH-3012 Berne, Switzerland,
4 - 7 October 1994. Conference rooms are wheel-chair accessible.
Please indicate on the registration form whether you need special help.

The conference offers the presentation of 24 research papers, 3 industrial
usage reports, 12 position statements, 6 tutorials and a number of tool
demonstrations. Tutorials will be held on October 4 only. Tool presentations
will take place concurrently with conference presentations on October 5 to 7.

FORTE'94 will address formal techniques applicable to Distributed Systems
such as Estelle, Lotos, SDL, ASN.1, Automata, Logics, Process Algebras, etc.,
and will include industrial applicability to Protocols and Distributed
Systems. The conference will be a forum for presentation of the state of the
art in theory, application, tools and industrialization of Formal Techniques
and will provide an excellent orientation for newcomers.

FORTE'94 will be sponsored by IFIP WG6.1 in cooperation with ACM SIGCOMM and
the IEEE Computer Society Technical Committee on Distributed Processing.
Additional supporters are: Alcatel STR, Siemens-Albis, ASCOM, Sun Microsystems
and Swiss Telecom as well as the non-corporate sponsors Beer-Brawand Fund and
the Swiss National Science Foundation. Participants will receive participants'
proceedings and tutorial notes, the final proceedings will be published by
Chapman & Hall, official publisher of IFIP WG6.1 proceedings, in early 1995.

Further Information:  FORTE'94 Organization Committee, University of Berne,
                      P.O. Box 900, CH-3000 Berne 9, Switzerland

                      Email: forte94@iam.unibe.ch.

To obtain additional information and latest news please login via ftp
on host `siam.unibe.ch' (IP address 130.92.66.11) as user `anonymous'
and give your email address as password, then get the appropriate file
from directory `forte94' (for particular filenames see file `README').