It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it . The article may be deleted if this message remains in place for seven days, i.e., after 22:39, 10 December 2025 (UTC). Find sources: "International Workshop on First-Order Theorem Proving" – news · newspapers · books · scholar · JSTOR Nominator: Please consider notifying the author/project: {{ subst:proposed deletion notify |International Workshop on First-Order Theorem Proving|concern=1 hit in google scholar. No sigcov to meet GNG.}} ~~~~ |
 | This article needs additional citations for verification .(February 2024) |
The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for first-order logic and related fields. FTP workshops are less formal than many conferences, but more formal than most workshops. While FTP proceedings are published informally, most FTP workshops have resulted in a special issue of a recognized peer-reviewed academic journal.
FTP is one of the constituent meetings of the International Joint Conference on Automated Reasoning, and is merged with this conference in years where it takes place.
