Workshop on User Interfaces for Theorem Provers (UITP)

Venue statistics

records by year

document access 

    frequent authors

      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