Proceedings First International Workshop on Hammers for Type Theories

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
research
10/09/2018

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

This volume contains the proceedings of the Fifteenth International Work...
research
11/14/2019

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

This volume contains the papers presented at the Third Workshop on Softw...
research
07/02/2018

Proceedings of the 9th International Workshop on Physics and Computation

The 9th International Workshop on Physics and Computation (PC 2018) was ...
research
01/24/2017

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

The UITP workshop series brings together researchers interested in desig...
research
03/22/2000

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

The papers gathered in this collection were presented at the 8th Interna...

Please sign up or login with your details

Forgot password? Click here to reset