Programming Research Group Research Report RR-05-02

Theorem Proving in Higher Order Logics: Emerging Trends Proceedings

Joe Hurd, Edward Smith and Ashish Darbari

July 2005, 243pp.

Abstract

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.


    This paper is available as a 3,253,533 bytes pdf file.