Conference series Beta

Workshop on User Interfaces for Theorem Provers (UITP)

UITP

Events (7)

20032016

Year	No.	Event	Place	Date
2016	12	Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. UITP	Coimbra	2016-01-01
2014	17	Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. UITP	Vienna	2014-01-01
2012	10	Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. UITP	Bremen	2012-07-11
2010	9	Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010	Edinburgh
2008	8	Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montréal, Canada, August 22, 2008	Montreal
2006	7	Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006	Seattle
2003		Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003	Rome

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)	`https://id.confref.org/data/confref-portal/series/uitp`
Wikidata	`http://www.wikidata.org/entity/Q105700759`
dblp	`https://dblp.org/streams/conf/uitp`

Workshop on User Interfaces for Theorem Provers (UITP). confref identifier s10dg76. https://id.confref.org/series/s10dg76

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.