 Periodically, it joins with CADE and TPHOLs into the International Joint Conference on Automated Reasoning (IJCAR).The first table convened in 1992.Since 1995, the proceedings of this conference have been published by Springer's LNAI series.