Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Message-Id: <199502140726.XAA01944@draco.cs.pdx.edu>
To: info-hol@leopard.cs.byu.edu
Subject: HOL'95 2nd Call for Papers (reminder)
Date: Mon, 13 Feb 1995 23:25:58 -0800
From: Tom Schubert <schubert@cs.pdx.edu>


  +===============================================================+
  |                     2nd CALL FOR PAPERS                       |
  |                                                               |
  |     The 8th International Workshop on Higher Order Logic      |
  |             Theorem Proving and its Applications              |
  |                                                               |
  |                     Aspen Grove, Utah                         |
  |                                                               |
  |                   11-14 September 1995                        |
  +===============================================================+

  This meeting is the eight in a series of annual workshops on higher order 
  logic theorem proving and its applications.  Previous workshops were held in
  Cambridge, Aarhus, Davis, Leuven, Vancouver, and Malta. The 1995 meeting 
  will be held at Aspen Grove, Utah (near Provo) between 11 and 14 September.

  TOPICS
  ======
  The program committee invites papers on all topics dealing with
  higher order logic theorem proving and its applications, with a
  primary focus on the HOL system and/or other theorem provers for
  higher order logic. The topics of interest include, but are not
  limited to, the following:

    * Extensions to, and enhancements of, the HOL system.
    * Applications of mechanized higher order logic.
    * Industrial experience of higher order logic theorem proving.
    * Comparison of the HOL formulation and other higher order logics.
    * Comparison of HOL and other theorem provers.
    * Implementation issues for higher order logic theorem provers.  
    * Linking HOL (and related systems) to other theorem provers.
  
  All submissions to the workshop will be reviewed by referees
  appointed by the program committee.

  SUBMISSIONS
  ===========

  Potential authors are invited to submit papers under three categories:

    A) full research paper.
    B) informal progress report. 
    C) panel session.

  Only submissions accepted under category A will appear in the formal
  proceedings of the workshop.  Category B is intended to provide a
  relatively open venue for the discussion and sharing of preliminary
  results; those wishing to submit progress reports and other
  preliminary results under category B are strongly encouraged to do
  so and should clearly mark their submissions as such. Copies of all
  papers accepted under category B will be distributed at the
  workshop, but not in the formal published proceedings.

  All authors of accepted papers and progress reports will be asked to
  present their work at the conference.  If, however, time constraints
  make it necessary, then authors of category B submissions may be
  asked to present their work in a poster session.
 
  Category A and B submissions should have at most 4500 words and must 
  include an abstract of at most 150 words.  Panel session proposals should
  describe in two pages or less, the objective of the panel and topic(s) to be
  addressed.  Names and addresses of potential panelists (with position
  abstracts if possible) and of the moderator should also be included.

  All submissions must be clearly labeled with the submission category and
  accompanied by full contact information (contact person, email address,
  telephone number, and postal address).  Electronic mail submissions in the
  form of Postscript are strongly encouraged.  Such submissions should be sent
  to the following address:

    hol95@cs.byu.edu

  Only Postcript can be accepted, and authors must ensure that their
  papers can be printed on both A4 and 8.5x11 inch paper.  All 
  submissions received by electronic mail will be acknowledged.

  If electronic submission is not possible, the Program Chair should receive
  four hard copies of any submission in advance of the submission deadline,
  13 March 1994.

  IMPORTANT DATES
  ===============

    * Deadline for submissions: 13 March 1995
    * Notification of acceptance/rejection: 8 May 1995
    * Camera-ready copy due: 2 June 1995
    * Workshop: 11-14 September 1995

  PROGRAMME COMMITTEE
  ===================

    Jim Alves-Foss (Idaho)
    Flemming Andersen (TDR)
    Richard Boulton (Cambridge)
    Albert Camilleri (HP)
    Shiu-Kai Chin (Syracuse)
    Elsa Gunter (AT&T)
    John Herbert (SRI)
    Ramayya Kumar (FZI)
    Miriam Leeser(Cornell)
    Tim Leonard (DEC)
    Karl Levitt (UC Davis)
    Paul Loewenstein (SUN)
    Tom Melham (Glasgow)
    Tom Schubert (Portland State)
    David Shepherd (SGS-THOMSON)
    Joakim von Wright (Abo Akademi University)
    Phil Windley (BYU)

 CONFERENCE ORGANIZATION
  =======================
 
  Dr. Phillip Windley   (Workshop chair)
  Dept. of Computer Science TMCB 3370
  Brigham Young University
  Provo, Utah 84602-6576
  e-mail: windley@cs.byu.edu

  Dr. Thomas Schubert   (Program committee chair)
  Dept. of Computer Science 
  P.O. Box 751
  Portland State University             
  Portland, Oregon 97207-0751
  e-mail: schubert@cs.pdx.edu           

  Dr. Jim Alves-Foss
  Dept. of Computer Science 
  University of Idaho
  Moscow, Idaho 83844-1010
  e-mail: jimaf@cs.uidaho.edu

 For further information see http://lal.cs.byu.edu/lal/hol95.