The full version of this Call for Papers is available.An online version of the call can be found on the WWW.
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:
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,In this case, please include five (5) copies of each paper.
Abo Akademi University, Lemminkaisenkatu 14A,
FIN-20520, Turku, FINLAND
Important Dates