Proceedings First International Workshop on Hammers for Type Theories

06/17/2016

∙

This volume of EPTCS contains the proceedings of the First Workshop on Hammers for Type Theories (HaTT 2016), held on 1 July 2016 as part of the International Joint Conference on Automated Reasoning (IJCAR 2016) in Coimbra, Portugal. The proceedings contain four regular papers, as well as abstracts of the two invited talks by Pierre Corbineau (Verimag, France) and Aleksy Schubert (University of Warsaw, Poland).

READ FULL TEXT

Proceedings First International Workshop on Hammers for Type Theories

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications

Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan

Proceedings of the 9th International Workshop on Physics and Computation

Proc. of the 9th Workshop on Semantic Ambient Media Experiences (SAME'2016/2): Visualisation, Emerging Media, and User-Experience: International Series on Information Systems a

Proceedings of the fourth "international Traveling Workshop on Interactions between low-complexity data models and Sensing Techniques" (iTWIST'18)

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers

Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000

Proceedings First International Workshop on Hammers for Type Theories

Related Research

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications

Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan

Proceedings of the 9th International Workshop on Physics and Computation

Proc. of the 9th Workshop on Semantic Ambient Media Experiences (SAME'2016/2): Visualisation, Emerging Media, and User-Experience: International Series on Information Systems a

Proceedings of the fourth "international Traveling Workshop on Interactions between low-complexity data models and Sensing Techniques" (iTWIST'18)

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers

Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000