Workshop on User Interfaces for Theorem Provers (UITP)

Venue statistics

records by year

document access 

    frequent authors

      12th UITP@IJCAR 2016: Coimbra, Portugal

      11th UITP@VSL 2014: Vienna, Austria

      10th UITP 2012: Bremen, Germany

      9th UITP 2010: Edinburgh, UK

      8th UITP@TPHOLs 2008: Montréal, Canada

      7th UITP@FLoC 2006: Seattle, WA, USA

      6th UITP@ETAPS 2005: Edinburgh, UK

      5th UITP@TPHOLs 2003: Rome, Italy

      4th UITP 1998: Eindhoven, The Netherlands

      3rd UITP 1997: Antibes, France

      2nd UITP 1996: York, UK

      1st UITP 1995: Glasgow, UK

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics