[MC] ================================================ AMAST Links 02 06

Int'l W. Higher Order Logic Theorem Proving & its Applications, HOL'95
             Aspen Grove, Utah, USA, September 11-14, 1995

   _HOL'95 Information and Registration_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206MC.txt

  *Objectives.*
  This meeting is the seventh in a series of annual workshops on higher
order logic theorem proving and its applications, with a primary focus
on the HOL system and similar systems. Previous workshops were held in
Cambridge, Aarhus, Davis, Leuven, Vancouver, and Malta. Mechanized
theorem provers for higher order logic have been applied to many areas,
including design and verification, security, real-time systems,
semantics, compiler verification, program correctness, concurrency, and
program refinement. The theorem proving technology itself is also an
active area of research. This conference will bring together
researchers in these and related areas of investigation for the
dissemination and discussion of new developments in the field.
  *Conference*
  The Conference will consist of morning and afternoon sessions during
which invited papers and refereed papers will be presented and
discussed. Formal proceedings will be published by Springer Verlag in
the Lecture Notes in Computer Science Series. Papers discussing work in
progress will also be presented, and will be circulated in an informal
participants' proceedings.  The Organizing Committee has invited three
guest speakers, who will be announced when they have been formalized.
There will also be a special session on teaching formal methods.
  *Registration*
  We prefer that you register for the conference on-line.  Registration
can be done on-line by using your web browser to open the _HOL'95 page_
at URL: http://lal.cs.byu.edu/lal/hol95/hol95-reg.html 
  Alternately, you can fill out the registration form given in the full
version of this announcement and email it to hol95-reg@lal.cs.byu.edu
or fax it to 801.378.7775.
  *More information* concerning the venue, organizers, conference
program, accommodation and registration, can be found in the full
version of this announcement mentioned above.