UITP'10: July 15

9th International Workshop On User Interfaces for Theorem Provers

associated with IJCAR and ITP


The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas.

More information can be found here.


Program Chairs

David Aspinall, University of Edinburgh, United Kingdom
Claudio Sacerdoti Coen, University of Bologna, Italy

Program Committee:

Serge Autexier, DFKI Bremen GmbH, Germany
Christoph Benzmueller, Articulate Software, United States
Yves Bertot, INRIA, France
Ewen Denney, RIACS/NASA Ames, United States
Cezary Kaliszyk, Technische Universität München, Germany
Paul Libbrecht, DFKI GmbH, Germany
Christoph Lüth, DFKI, Germany
James McKinna, Radboud Universiteit Nijmegen, Netherlands
Michael Norrish, NICTA, Australia
Gem Stapleton, University of Brighton, United Kingdom
Geoff Sutcliffe, University of Miami, United States
Laurent Thery, INRIA, France
Makarius Wenzel, Technische Universität München, Germany
Burkhart Wolff, Univ Paris-Sud, France