[C2] ================================================ AMAST Links 03 01

 9th Int'l Conf. on Theorem Proving in Higher Order Logics, TPHOLs'96

   The full version of this _Call for Papers_ is available at the URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301C2.txt
     An _online version of the call_ can be found on the WWW at URL:
   http://www.abo.fi/~jharriso/cfp.html

  The 1996 International Conference on Theorem Proving in Higher Order
Logics will be the ninth conference in a series dating back to 1988.
The Conference will be held on 27-30 August 1996 (Tuesday to Friday)
in Turku, in south-west Finland.  
  *Topics*. The programme committee welcome submissions on all aspects 
of theorem proving, particularly those relating to higher order logics 
or to proof systems based on secure mechanizations of logic.  This
includes, but is not limited to, the following areas: advances in
theorem proving technology; proof automation and decision procedures;
applications of mechanized theorem proving; development and extension
of higher order logics; comparisons between various approaches to
theorem proving; exploitation of external tools within theorem
provers; incorporation of theorem provers into larger systems; novel
industrial applications of theorem provers.
  *Submissions* are invited in the following categories:
 o  Category A: Full research paper;
 o  Category B: Informal progress report.  
  Prospective authors should read the detailed submissions information
in the full version of this announcement. Email submissions may be
sent to the organizing committee at _orgcom@abo.fi_. PostScript format
is preferred. Papers may also be physically sent to:
   Joachim von Wright, Department of Computer Science,
   Abo Akademi University, Lemminkaisenkatu 14A, 
   FIN-20520, Turku, FINLAND
In this case, please include five (5) copies of each paper.
  *Important Dates*
 o  Deadline for category A submissions:                15 March 1996
 o  Deadline for category B submissions:                14 April 1996
 o  Notification of acceptance:                         30 April 1996
 o  Camera-ready copy for category A due (provisional): 14 June  1996