TPHOLS early registration announcement

       ** Early Registration until 5 July 2002 **

                 ** Student Grants **

             ** Call for Participation **

         The 15th International Conference on
         Theorem Proving in Higher Order Logics

                 Hampton, Virginia, USA
       Tuesday 20 August - Friday 23 August 2002 

** Registration

Early registration, on or before 5 July 2002     US$ 270
Regular (late) registration, after 5 July 2002   US$ 320
Student registration                             US$ 150
Monday workshop                                  US$  40

** Student Grants

A limited number of student grants are available courtesy of 
Intel Corporation. Additional grants will be provided if/when
The National Science Foundation makes a decision.

** Call for Participation

The conference serves as a venue for the presentation of work 
in automated deduction, formal specification, requirements, 
verification, and related fields. 20 full research papers, 
and 17 work in progress papers and workshop papers will be 
presented and published as Springer-Verlag LNCS 2410, and as 
technical report NASA CP-2002-211736, respectively.