By Bart Jacobs (auth.), Richard J. Boulton, Paul B. Jackson (eds.)
This quantity constitutes the court cases of the 14th overseas convention on Theorem Proving in better Order Logics (TPHOLs 2001) held 3–6 September 2001 in Edinburgh, Scotland. TPHOLs covers all features of theorem proving in better order logics, in addition to similar issues in theorem proving and veri?cation. TPHOLs 2001 used to be collocated with the eleventh complicated study operating convention on right layout and Veri?cation tools (CHARME 2001). This was once held 4–7 September 2001 in within reach Livingston, Scotland on the Institute for approach point Integration, and a joint half-day consultation of talks used to be prepared for the fifth September in Edinburgh. An day trip to Traquair condo and a dinner party within the Playfair Library of outdated collage, collage of Edinburgh have been additionally together equipped. The complaints of CHARME 2001 were p- lished as quantity 2144 of Springer-Verlag’s Lecture Notes in desktop technological know-how sequence, with Tiziana Margaria and Tom Melham as editors. all the forty seven papers submitted within the complete examine type used to be refereed through at the least three reviewers who have been chosen by way of this system Committee. of those submissions, 23 have been permitted for presentation on the convention and ebook during this quantity. in line with culture, TPHOLs 2001 additionally o?ered a venue for the presentation of labor in growth, the place researchers invite dialogue via a quick initial speak after which speak about their paintings at a poster consultation. A supplementary court cases containing linked papers for paintings in growth was once released through the department of Informatics on the collage of Edinburgh.