Source: wikibot/international-workshop-on-first-order-theorem-proving

= International Workshop on First-Order Theorem Proving
{wiki=International_Workshop_on_First-Order_Theorem_Proving}

The International Workshop on First-Order Theorem Proving (FTP) is a conference dedicated to the research and development of first-order theorem proving techniques and their applications. First-order theorem proving is a fundamental area in logic and automated reasoning, focusing on the automation of proofs in first-order predicate logic. The workshop typically includes presentations of new research results, demonstrations of theorem proving systems, and discussions on various aspects of first-order logic, including relevant algorithms, tools, techniques, and applications.