Overview
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.
Programme
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