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.
We aim to provide a variety of tutorials that will attract people interested in learning more about theorem-proving as well as expose people steeped in theorem proving to other forms of mechanized verification. We are including topics such as model-checking, first-order theorem proving, and decision procedures.
Our excursion and banquet will include a ride on the historic Mt Hood Railroad.
|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 firstname.lastname@example.org
TPHOLs'00 is sponsored by the following organizations:
Oregon Graduate Institute