User Interfaces for Theorem Provers

12. UITP@IJCAR 2016: Coimbra, Portugal

11. UITP@VSL 2014: Vienna, Austria

10. UITP 2012: Bremen, Germany

maintained by Schloss Dagstuhl LZI at University of Trier