Mechanical theorem provers for higher order logics have been successfully applied in many areas including hardware verification and synthesis; verification of security and communications protocols; software verification, transformation and refinement; compiler construction; and concurrency. The higher order logics used to reason about these problems and the underlying theorem prover technology that support them are also active areas of research. The TPHOLs conferences bring together people working in these and related areas for the discussion and dissemination of new ideas in the field.
The 1999 conference will have two tracks: one for research papers and another for work in progress papers.
TPHOLs'99 is sponsored by the following organisations:
Thanks to the generous support of the conference sponsors, travel bursaries are available for students contributing to TPHOLs'99, and who would otherwise not have sufficient funds to attend. More information is available from the bursaries web page.