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.