Skip to main content

Theorem Proving in Higher Order Logics: Emerging Trends Proceedings

Joe Hurd‚ Edward Smith and Ashish Darbari


Preface This volume is the Emerging Trends proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during 22-25 August 2005 in Oxford, UK. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

In keeping with longstanding tradition, the Emerging Trends track of TPHOLs 2005 offered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session.

The organizers are grateful to Wolfgang Paul and Andrew Pitts for agreeing to give invited talks at TPHOLs 2005.

The TPHOLs conference traditionally changes continents each year to maximize the chances that researchers from around the world can attend. Starting in 1993, the proceedings of TPHOLs and its predecessor workshops have been published in the Springer Lecture Notes in Computer Science series:

1993, (Canada) Vol. 780
1994, (Malta) Vol. 859
1995, (USA) Vol. 971
1996, (Finland) Vol. 1125
1997, (USA) Vol. 1275
1998, (Australia) Vol. 1479
1999, (France) Vol. 1690
2000, (USA) Vol. 1869
2001, (UK) Vol. 2152
2002, (USA) Vol. 2410
2003, (Italy) Vol. 2758
2004, (USA) Vol. 3223
2005, (UK) Vol. 3603
Finally, we thank our sponsors: Intel Corporation and the EPSRC UK Network in Computer Algebra.

Oxford University Computing Laboratory