Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Electronic Proceedings in Theoretical Computer Science Année : 2017

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving

Résumé

This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS and ITP conferences in Brasilia, Brazil. The PxTP workshop series brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms, with a special focus on proofs. The progress in computer-aided reasoning, both automated and interactive, during the past decades, made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation between such tools in larger systems has demonstrated the potential to reduce the amount of manual intervention. Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools to exchange problems, proofs, and models. The PxTP workshop series strives to encourage such cooperation by inviting contributions on all aspects of cooperation between reasoning tools, whether automatic or interactive.

Dates et versions

hal-04489940 , version 1 (05-03-2024)

Identifiants

Citer

Catherine Dubois, Bruno Woltzenlogel Paleo. Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving. Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), Electronic Proceedings in Theoretical Computer Science, 262, 2017, ⟨10.4204/EPTCS.262⟩. ⟨hal-04489940⟩
3 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More