[DL] Final Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018)

Christoph Lüth christoph.lueth at dfki.de
Mon Apr 9 16:45:55 CEST 2018

[Apologies for multiple copies.]
[Deadline coming up: April 15th]




July 13th, 2018. Oxford, UK
A FLoC 2018 workshop.

The User Interfaces for Theorem Provers workshop series
(UITP) 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

While the reasoning capabilities of interactive proof
systems have increased dramatically over the last years, the
system interfaces have often not enjoyed the same attention
as the proof engines themselves. In many cases, interfaces
remain relatively basic and under-designed.

The User Interfaces for Theorem Provers workshop series
provides a forum for researchers interested in improving
human interaction with proof systems. We welcome
participation and contributions from the theorem proving,
formal methods and tools, and HCI communities, both to
report on experience with existing systems, and to discuss
new directions. Topics covered include, but are not limited

* Application-specific interaction mechanisms or designs for prover
* Experiments and evaluation of prover interfaces
* Languages and tools for authoring, exchanging and presenting proof
* Implementation techniques (e.g. web services, custom middleware, DSLs)
* Integration of interfaces and tools to explore and construct proof
* Representation and manipulation of mathematical knowledge or objects
* Visualization of mathematical objects and proof
* System descriptions


Submitted papers should describe previously unpublished work
(completed or in progress), and be at least 4 pages and at
most 12 pages. We encourage concise and relevant
papers. Submissions should be in PDF format, and typeset
with the EPTCS LaTeX document class (which can be downloaded
from http://style.eptcs.org/). Submission is via EasyChair

All papers will be peer reviewed by members of the programme
committee and selected by the organizers in accordance with
the referee reports.

At least one author/presenter of accepted papers must attend
the workshop and present the work.


Submission deadline:     15.04.2018
Acceptance notification: 15.05.2018
Workshop:                13.07.2018


Authors will have the opportunity to incorporate feedback
and insights gathered during the workshop to improve their
accepted papers before publication in the post-proceedings
in the Electronic Proceedings in Theoretical Computer
Science (EPTCS).


Mateja Jamnik, University of Cambridge, UK (co-Chair)
Christoph Lüth, University of Bremen, Germany (co-Chair)
Serge Autexier, DFKI Bremen, Germany
David Aspinall, University of Edinburgh, UK
Chris Benzmüller, Free University Berlin, Germany
Yves Bertot, INRIA Sophia-Antipolis, France
Maria Paola Bonacina, University of Verona, Italy
Joachim Breitner, University of Pennsylvania, USA
Ross Duncan, University of Strathclyde, UK
Moa Johansson, Chalmers University, Sweden
Zoltán Kovács, RISC, Austria
Mohamed Yousri Mahmoud, University of Ottawa, Canada
Michael Norrish, NICTA, Australia
Andrei Paskevich, LRI, France
Larry Paulson, University of Cambridge, UK
Alison Pease, University of Dundee, UK
Pedro Quaresma, University of Coimbra, Portugal
Gem Stapleton (University of Brighton, UK)
Christian Sternagel, University of Innsbruck, Austria
Enrico Tassi, INRIA Sophia-Antipolis, France
Laurent Théry, INRIA Sophia-Antipolis, France
Makarius Wenzel, Sketis, Germany
Wolfgang Windsteiger, RISC Linz, Austria
Bruno Woltzenlogel Paleo, Technical University Vienna, Austria


uitp2018 at easychair.org

More information about the dl mailing list