UITP 2018: International Workshop on User Interfaces for Theorem Provers 2018 FLOC 2018 Oxford, UK, July 13, 2018 |
Conference website | http://www.informatik.uni-bremen.de/uitp/uitp2018/ |
Submission link | https://easychair.org/conferences/?conf=uitp2018 |
Conference program | https://easychair.org/smart-program/FLoC2018/ |
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 interfaces
* 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
* Visualisation of mathematical objects and proof
* System descriptions
Submission Guidelines
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 (https://www.easychair.org/conferences/?conf=uitp2018).
All papers will be peer reviewed by members of the programme committee and selected by the organisers in accordance with the referee reports.
At least one author/presenter of accepted papers must attend the workshop and present the work.
Important Dates
- Submission deadline: 15.04.2018
- Acceptance notification: 15.05.2018
- Workshop: 13.07.2018
Proceedings
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).
Progrmme Committee
- 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
Contact
uitp2018 at easychair.org