🚀 go-pugleaf

			  CALL FOR PAPERS: TPHOLs'96

                    THE 1996 INTERNATIONAL CONFERENCE ON

                   THEOREM PROVING IN HIGHER ORDER LOGICS

BACKGROUND

 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.  Previous conferences have been held
 in Cambridge (UK), Arhus, Davis, Leuven, Vancouver, Malta and Salt
 Lake City.  Further information about the conference can be found at
 the conference web site:
			http://~jharriso/TPHOLs96.html.
 
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:
  o advances in theorem proving technology
  o proof automation and decision procedures
  o applications of mechanized theorem proving
  o development and extension of higher order logics
  o comparisons between various approaches to theorem proving
  o exploitation of external tools within theorem provers
  o incorporation of theorem provers into larger systems
  o novel industrial applications of theorem provers

SUBMISSION

 Submissions are invited in the following categories:

  o Category A: Full research paper
  o Category B: Informal progress report

 Submissions under category A will be fully refereed, and accepted
 papers published in the Springer-Verlag LNCS series.  Submissions
 accepted under category B will be published as a technical report and
 destributed at the workshop.  Unless otherwise requested, submissions
 rejected under category A will also be considered for inclusion under
 category B.  Submissions under 15 pages are preferred.

 Email submissions may be sent to the organizing committee at
 orgcom@abo.fi.  PostScript format is preferred. All submissions
 will be promptly acknowledged.  Papers may also be physically sent
 to any member of the organizing committee at the following address: 

                     Department of Computer Science
                     Abo Akademi University
                     Lemminkaisenkatu 14A
                     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
  o Conference:                                         27-30 August 1996

PROGRAMME COMMITTEE

 The programme committee for the conference is as follows:

  o Flemming Andersen (Tele Danmark)
  o Albert Camilleri  (Hewlett-Packard)
  o Tony Cant         (DSTO)
  o Elsa Gunter       (AT&T)
  o Joshua Guttman    (MITRE)
  o John Herbert      (SRI Cambridge)
  o Paul Jackson      (Edinburgh)
  o Ramayya Kumar     (FZI Karlsruhe)
  o Tim Leonard       (DEC)
  o Paul Loewenstein  (Sun)
  o Tom Melham        (Glasgow)
  o Tobias Nipkow     (TU Munchen)
  o Christine Paulin  (ENS Lyon)
  o Larry Paulson     (Cambridge)
  o Tom Schubert      (Portland State)
  o David Shepherd    (SGS-THOMSON)
  o Phil Windley      (BYU)
  o Joakim von Wright (Abo Akademi)

CONFERENCE ORGANIZATION

 The conference is being organized by the Turku Centre for Computer
 Science (TUCS) and Abo Akademi University.  The organizing committee
 is as follows:

  o Jim Grundy
  o John Harrison
  o Gundel Westerholm
  o Joakim von Wright (Conference Chair)