UITP 2018 - 13th International Workshop on User Interfaces for Theorem Provers

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 formulas.
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 to:
Application-specific interaction mechanisms or designs for prover interfacs
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 proo
Representation and manipulation of mathematical knowledge or objects
Visualisation of mathematical objects and proof
System descriptions