\setlength{\oddsidemargin}{-4truemm}
\setlength{\evensidemargin}{-4truemm}
\setlength{\topmargin}{-4truemm}
\setlength{\headheight}{0truemm}
\setlength{\headsep}{0truemm}
\setlength{\footskip}{0truemm}
\setlength{\textwidth}{168truemm}
\setlength{\textheight}{237truemm}
\pagestyle{empty}
\begin{document}
\begin{center}\huge
\begin{tabular}{c}
Call For Papers: {\bf TPHOLs'96} \\
The 1996 International Conference on \\
Theorem Proving in Higher Order Logics
\end{tabular}
\end{center}
\section*{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), {\AA}rhus, Davis,
Leuven, Vancouver, Malta and Salt Lake City.
Further information about the conference can be found at the conference
web site: \verb"http://~jharriso/TPHOLs96.html".
\section*{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:
\begin{itemize}
\setlength{\itemsep}{0pt}
\setlength{\parsep}{0pt}
\setlength{\parskip}{0pt}
\item advances in theorem proving technology
\item proof automation and decision procedures
\item applications of mechanized theorem proving
\item development and extension of higher order logics
\item comparisons between various approaches to theorem proving
\item exploitation of external tools within theorem provers
\item incorporation of theorem provers into larger systems
\item novel industrial applications of theorem provers
\end{itemize}
\section*{Submission}
Submissions are invited in the following categories:
\begin{itemize}
\setlength{\itemsep}{0pt}
\setlength{\parsep}{0pt}
\setlength{\parskip}{0pt}
\item Category A: Full research paper
\item Category B: Informal progress report
\end{itemize}
Submissions under category~A will be fully refereed, and accepted papers
published in the Springer-\kern-0.2em 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~{\tt 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:
\begin{center}
\begin{tabular}{l}
Department of Computer Science \\
{\AA}bo Akademi University \\
Lemmink{\"a}isenkatu 14A \\
20520~~Turku \\
FINLAND
\end{tabular}
\end{center}
In this case, please include five (5) copies of each paper.
\section*{Important Dates}
\begin{center}
\begin{tabular}{ll}
Deadline for category A submissions: & 15 March 1996 \\
Deadline for category B submissions: & 14 April 1996 \\
Notification of acceptance: & 30 April 1996 \\
Camera-ready copy for category A due (provisional): & 14 June 1996 \\
Conference: & 27--30 August 1996
\end{tabular}
\end{center}
\section*{Programme Committee}
The programme committee for the conference is as follows:
\begin{center}
\begin{tabular}{ll@{\hspace{10mm}}ll}
Flemming Andersen & (Tele Danmark) &
Paul Loewenstein & (Sun) \\
Albert Camilleri & (Hewlett-Packard) &
Tom Melham & (Glasgow) \\
Tony Cant & (DSTO) &
Tobias Nipkow & (TU M{\"u}nchen) \\
Elsa Gunter & (AT\&T) &
Christine Paulin & (ENS Lyon) \\
Joshua Guttman & (MITRE ) &
Larry Paulson & (Cambridge) \\
John Herbert & (SRI Cambridge) &
Tom Schubert & (Portland State) \\
Paul Jackson & (Edinburgh) &
David Shepherd & (SGS-THOMSON) \\
Ramayya Kumar & (FZI Karlsruhe) &
Phil Windley & (BYU) \\
Tim Leonard & (DEC) &
Joakim von Wright & ({\AA}bo Akademi)
\end{tabular}
\end{center}
\section*{Conference Organization}
The conference is being organized by the Turku Centre for Computer
Science~(TUCS) and {\AA}bo Akademi University.
The organizing committee is as follows:
\begin{itemize}
\setlength{\itemsep}{0pt}
\setlength{\parsep}{0pt}
\setlength{\parskip}{0pt}
\item Jim Grundy
\item John Harrison
\item Gundel Westerholm
\item Joakim von Wright (Conference Chair)
\end{itemize}
\end{document}