The University of Oxford

TPHOLs 2005
Oxford, UK
22-25 August 2005

http://web.comlab.ox.ac.uk/TPHOLs2005/
 
home conference history bid call for papers accepted papers
advance program registration accommodation travel to oxford tphols 2006
proceedings business meeting tphols 2007

Proceedings

Mature Work

The mature work track of TPHOLs 2005 (including invited talks and proof pearls) was published as a volume of the Springer LNCS series.

Proceedings

LNCS 3603 is now available online at the Springer website. You can find information about it at http://www.springeronline.com/3-540-28372-2 or access the online version at http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3603&issue=preprint.

Bibliographical Information

@PROCEEDINGS{tphols2005,
  TITLE = {18th International Conference on Theorem Proving in Higher Order Logics: {TPHOLs} 2005},
  BOOKTITLE = {18th International Conference on Theorem Proving in Higher Order Logics: {TPHOLs} 2005},
  EDITOR = {Joe Hurd and Tom Melham},
  MONTH = AUG,
  YEAR = 2005,
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = 3603
}

Emerging Trends

The Emerging Trends track of TPHOLs 2005 was published as an Oxford University Technical Report.

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.

July 2005
Joe Hurd, Edward Smith and Ashish Darbari

Proceedings

The proceedings can be downloaded in either PDF or gzipped postscript format.

Bibliographical Information

@TECHREPORT{tphols2005a,
  TITLE = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings},
  BOOKTITLE = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings},
  AUTHOR = {Joe Hurd and Edward Smith and Ashish Darbari},
  EDITOR = {Joe Hurd and Edward Smith and Ashish Darbari},
  MONTH = AUG,
  YEAR = 2005,
  INSTITUTION = {Oxford University Computing Laboratory},
  NUMBER = {PRG-RR-05-02}
}

Joe Hurd, 31 August 2005