Very Computer

                         *******************
                         *                 *
                         * FTP Site Opened *
                         *                 *
                         *******************

The Mechanized Reasoning  Group   is very  pleased to announce    the
establishment of an FTP site. The FTP site contains the MRG technical
reports together with a technical report list.

        Internet address: ftp.mrg.dist.unige.it (130.251.7.2)
        Name: anonymous | ftp
        Password: <your login name>
        Directory: /pub/mrg-ftp

The FTP site is set up for anonymous use, though it is preferred that
anonymous users let us   maintain a record   of  who is  reading  our
publications. Recording all logins and  transfers will also enable us
to send updates, follow-ups and corrections, if any.

Topics  of interest of the   Mechanized Reasoning Group are: kowledge
representation,  modal logics,  reasoning  with  contexts, logics for
multiagent   belief   and  knowledge,  interactive   theorem proving,
meta-level theorem  proving,  reasoning by abstraction,  reasoning by
analogy, planning, theory of planning.

For more information,   hard copies of   the papers, or the   list of

**********************************************************************

 Fausto Giunchiglia
 Mechanized Reasoning Group
 IRST
 38050 Povo Trento
 Italy

 phone: +39 461 314444 (secr.)
 +39 461 314436 (office)
 Fax: +39 461 302040 / 314591

**********************************************************************