Workshop on User Interfaces for Theorem Provers (UITP)

12. UITP@IJCAR 2016: Coimbra, Portugal

11. UITP@VSL 2014: Vienna, Austria

10. UITP 2012: Bremen, Germany

a service of Schloss Dagstuhl - Leibniz Center for Informatics