Received: from leopard.cs.byu.edu (leopard.cs.byu.edu [128.187.2.182]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id HAA22065; Thu, 19 Oct 1995 07:46:07 +0200
Received: by leopard.cs.byu.edu
	(1.37.109.15/16.2) id AA293459203; Wed, 18 Oct 1995 23:06:43 -0600
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
Received: from bobcat.cs.byu.edu by leopard.cs.byu.edu with ESMTP
	(1.37.109.15/16.2) id AA293429202; Wed, 18 Oct 1995 23:06:42 -0600
Received: from cs.byu.edu (localhost) by bobcat.cs.byu.edu (1.37.109.15/CS-Client)
	id AA199519383; Wed, 18 Oct 1995 23:09:43 -0600
Message-Id: <199510190509.AA199519383@bobcat.cs.byu.edu>
To: info-hol@cs.byu.edu
Subject: HOL course
Date: Wed, 18 Oct 1995 23:09:42 -0600
From: "Phil Windley" <windley@cs.byu.edu>


I'm planning on teaching a one week HOL course here at BYU next summer. I
don't have a more specific date than "summer" now, so don't ask.  The
course would cover the basics of using the HOL system.  We'd cover some
applications toward the end.  The format would be half a day of lectures
and half a day of lab.  

The arrangements would be fairly informal.  My plan is for the course would
be free, but you'd be responsible for your own travel and lodging.  Things
are a lot simpler if I don't collect any money. For example, BYU won't need
to be paid anything for using the room and machines if I don't charge.

I can only accomodate a limited number of people.  The purpose of this note
is to get some idea of the number of people who'd like to attend.  Please
email directly to me if you'd be interested in attending, how certain you
are you'd come, and any prefered dates.

If you're already a HOL expert and would like to volunteer to come help
teach, let me know that as well.

Cheers,

--phil--