From joyce@cs.ubc.ca  Tue Apr 24 14:40:57 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA26145; Tue, 24 Apr 90 14:40:57 PDT
Received: from relay.cdnnet.ca by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA05008; Tue, 24 Apr 90 14:45:02 PDT
Received: by relay.CDNnet.CA (4.1/1.14)
        id AA08577; Tue, 24 Apr 90 14:40:54 PDT
Date: 24 Apr 90 14:42 -0700
From: Jeffrey Joyce <joyce@cs.ubc.ca>
To: <info-hol@clover.ucdavis.edu>
Message-Id: <457*joyce@cs.ubc.ca>
Subject: HOL Course at UBC, Vancouver (Reminder)

         -------------------------------------------------
         >>>>>>>>>>>>>>>>> R E M I N D E R <<<<<<<<<<<<<<<
         -------------------------------------------------

    This is a shortened version of an earlier announcement
    of this course.  Full details available by e-mail request
    to <joyce@cs.ubc.ca>.

             ****************************************
             * Note pre-registration deadline May 7 *
             ****************************************

                     The Cambridge HOL System:
                     ========================

           An Introduction to Interactive Machine-Assisted
                Theorem-Proving in Higher-Order Logic

                    Monday-Friday, June 4-8, 1990
                      FIVE-DAY INTENSIVE COURSE

              Seminars and Lab Workshops to be held on
              The University of British Columbia Campus
                      (Vancouver Canada)

       Sponsored by:  The UBC Centre for Continuing Education and
       The UBC Centre for Integrated Computer Systems Research

Course Description:
-------------------

This five-day course is an introduction to higher-order logic and use of
the Cambridge HOL System.  The HOL system is an interactive environment
for machine-assisted theorem-proving in higher-order logic.  This system
is currently in use at sites in North America, Europe, China and Japan.
It is used for hardware verification, software verification and basic
research into machine-assisted formal proof.  Users include both companies
doing contract proofs and researchers.

For further course information contact:

Jeff Joyce
Computer Science Department            Telephone: (604) 228-4327
The University of British Columbia     Fax: (604) 228-5485
6356 Agricultural Road                 Email: joyce@cs.ubc.ca
Vancouver, B.C. V6T 1W5
Canada

For information regarding accomodation/registration contact:

Vicki Ayerbe
Computer Science Programs              Telephone: (604) 222-5251
Centre for Continuing Education        Fax: (604) 222-5283
5997 Iona Drive
Vancouver, B.C. V6T 2A4
Canada

                                    Before May 7     After May 7
                                    ------------     -----------
Registration Fees:    Regular       $295.00          $345.00
                      Student       $150.00          $175.00

(amounts given in Canadian Dollars)

Also available by order: Software (magnetic tape):   $50.00*
                         Three Volume Manual:       $110.00*

                         * - public domain (copying costs only)

