From panj@iris  Wed Apr 25 15:01:54 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA28135; Wed, 25 Apr 90 15:01:54 PDT
Received: from iris.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA14675; Wed, 25 Apr 90 15:06:21 PDT
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA28121; Wed, 25 Apr 90 15:01:42 PDT
Date: Wed, 25 Apr 90 15:01:42 PDT
From: panj@iris (Jing Pan)
Message-Id: <9004252201.AA28121@iris.ucdavis.edu>
To: info-hol@clover

I am a graduate student at UC Davis. I have been working on specification
and verification of a floating point coprocessor using HOL. I have also
formally specified (using HOL) the IEEE floating point standard. Now I
am thinking of writing it up and submitting it to some conference. Is
there anybody aware of any suitable conference or workshop?

Thank you.

Jing Pan

