default search action

combined dblp search
author search
venue search
publication search

ask others

Workshop on User Interfaces for Theorem Provers (UITP)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

is part of (2016): International Joint Conference on Automated Reasoning (IJCAR)
is part of (2006): Federated Logic Conference (FLoC)

12th UITP@IJCAR 2016: Coimbra, Portugal

- view
  authority control:
- export record
  dblp key:
  - journals/corr/AutexierQ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AutexierQ17
Serge Autexier, Pedro Quaresma:
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. EPTCS 239, 2017 [contents]

11th UITP@VSL 2014: Vienna, Austria

- view
  authority control:
- export record
  dblp key:
  - journals/corr/BenzmullerP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenzmullerP14
Christoph Benzmüller, Bruno Woltzenlogel Paleo:
Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. EPTCS 167, 2014 [contents]

10th UITP 2012: Bremen, Germany

- view
  authority control:
- export record
  dblp key:
  - journals/corr/KaliszykL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KaliszykL13
Cezary Kaliszyk, Christoph Lüth:
Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. EPTCS 118, 2013 [contents]

9th UITP 2010: Edinburgh, UK

- view
- export record
  dblp key:
  - conf/uitp/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uitp/2010
David Aspinall, Claudio Sacerdoti Coen:
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010. Electronic Notes in Theoretical Computer Science 285, Elsevier 2012 [contents]

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

- view
- export record
  dblp key:
  - conf/uitp/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uitp/2008
Serge Autexier, Christoph Benzmüller:
Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montréal, Canada, August 22, 2008. Electronic Notes in Theoretical Computer Science 226, Elsevier 2009 [contents]

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

- view
- export record
  dblp key:
  - conf/uitp/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uitp/2006
Serge Autexier, Christoph Benzmüller:
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(2), Elsevier 2007 [contents]

6th UITP@ETAPS 2005: Edinburgh, UK

5th UITP@TPHOLs 2003: Rome, Italy

- view
- export record
  dblp key:
  - conf/uitp/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uitp/2003
David Aspinall, Christoph Lüth:
Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003. Electronic Notes in Theoretical Computer Science 103, Elsevier 2004 [contents]

4th UITP 1998: Eindhoven, The Netherlands

3rd UITP 1997: Antibes, France

2nd UITP 1996: York, UK

1st UITP 1995: Glasgow, UK

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.