| 2009 | 22 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Munich | 2009-08-17/20 |
| 2008 | 21 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Montreal | 2008-08-18/21 |
| 2007 | 20 | Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings TPHOL, TPHOLs 2007 | Kaiserslautern | 2007-09-10/13 |
| 2006 | | Theorem Proving in Higher Order Logics TPHOL | Seattle | 2006-08-17/20 |
| 2005 | 18 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Oxford | 2005-08-22/25 |
| 2004 | 17 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Park City | 2004-09-14/17 |
| 2003 | 16 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Rome | 2003-09-08/12 |
| 2002 | 15 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Hampton | 2002-08-20/23 |
| 2001 | 14 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Edinburgh | 2001-09-03/06 |
| 2000 | 13 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Portland | 2000-08-14/18 |
| 1999 | 12 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Nice | 1999-09-14/17 |
| 1998 | 11 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Canberra | 1998-09-27 to 1998-10-01 |
| 1997 | 10 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs 1997, TPHOLs | Murray Hill | 1997-08-19/22 |
| 1996 | 9 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Turku | 1996-08-26/30 |
| 1995 | 8 | International Conference on Theorem Proving in Higher Order Logics TPHOL, TPHOLs | Aspen Grove | 1995-09-11/14 |
| 1994 | 7 | Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings TPHOL | Valletta | 1994-09-19/22 |
| 1993 | 6 | Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings TPHOL | Vancouver | 1993-08-11/13 |
| 1992 | | Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992 TPHOL | Leuven | 1992-09-21/24 |
| 1991 | | Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA TPHOL | Davis | 1991-01-01 |
