- From: Christoph Lüth <christoph.lueth@dfki.de>
- Date: Mon, 9 Apr 2018 16:45:55 +0200
- To: Christoph Lüth <christoph.lueth@dfki.de>
- Cc: Mateja Jamnik <mateja.jamnik@cl.cam.ac.uk>
[Apologies for multiple copies.] [Deadline coming up: April 15th] CALL FOR PAPERS: 13th INTERNATIONAL WORKSHOP ON USER INTERFACES FOR THEOREM PROVERS (UITP 2018) http://www.informatik.uni-bremen.de/uitp/uitp2018/ 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 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 * Visualization of mathematical objects and proof * System descriptions SUBMISSION ========== 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 organizers 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). PROGRAMME 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@easychair.org
Received on Monday, 9 April 2018 14:46:23 UTC