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.
Speakers are kindly invited to make available to the organizers any typeset material that they might want to distribute to the participants. technical reports and arly drafts on ongoing work are welcome. We are considering the possibility of collecting this material in an informal proceeeding.
The Meeting is organized by CISM - Centre for Mechanical Sciences
18, Piazza Garibaldi,
33100 Udine,
ITALY,
tel 00 39 0432248511, fax 00 39 0432 248550, email:cism@uniud.it
The Udine '99 Meeting is partially sponsored by Unesco ROSTE and the University of Udine.
Partial support for travel and living expenses in Udine will be provided to a limited number of participants from central and eastern european, or southern mediterranean countries, thanks to the UNESCO ROSTE sponsorship.
about to be finalized