littlehood.jpg (1289 bytes)   
TPHOLs 2000
The 13th International Conference on Theorem Proving and Higher Order Logics

August 14 - 18, at the DoubleTree Hotel, Portland, Oregon

[Home Page][Call for Papers][Conference History][Hotel Info][How to Get There][Pictures][Portland][Program/Files
[Registration Form][Related Events][Sponsors][Student Bursaries][TPHOLs 2001][Tutorials][Weather]

Intel and OGI hope to host a TPHOLs that will follow in the tradition of having an intellectually stimulating and fun conference at a memorable location. Following the precedent of previous conferences, we will solicit quality research papers on the theory and applications of theorem proving in higher-order logics. We will strive to encourage student participation by keeping the costs low and soliciting grants from the National Science Foundation and local companies. We also hope to spark additional interest in the conference by including a day of tutorials prior to the main conference.

Important dates:

Conference: 14-18 Aug 2000
Early registration deadline 30 June
Hotel registration deadline 21 July
Registration payments due 31 July

Contact information:  If you have questions regarding TPHOLs, please send email to   tphols2000@cse.ogi.edu

TPHOLs'00 is sponsored by the following organizations:

Compaq

IBM

Intel

Levetate

Synopsys

Oregon Graduate Institute

logoicon.gif (9216 bytes)