[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] UITP'12: Second Call for Papers



   [Apologies if you receive multiple copies]
   ------------------------------------------

         --- Second Call for Papers ---

         10th International Workshop on
 User Interfaces for Theorem Provers (UITP 2012)
 11.07.2012, Bremen, Germany, Part of CICM 2012

   http://www.informatik.uni-bremen.de/uitp12/


While interactive theorem provers have found many new application
areas in 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. More and more, this is becoming an obstacle for
the wider adoption of theorem proving technologies outside the
academic community.

The User Interfaces for Theorem Provers workshop series provides
a forum for researchers interested in improving human interaction
with interactive proof systems, be it theorem provers, formal
method tools, and other tools manipulating and presenting
mathematical formulas.

For the forthcoming 10th UITP workshop, we invite 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.

Submitted papers should describe previously unpublished work
(completed or in progress), and not be longer than twelve
pages. We encourage concise but relevant papers. Submissions
should be in PDF format, and typeset with the EasyChair LaTeX
document class (which can be downloaded from www.easychair.org),
or in similar style.

Submission will be 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.

Proceedings

Accepted papers will appear in the workshop proceedings, which will be
available in printed form at the workshop. After the workshop, revised
papers can be submitted to a postproceedings, which will appear in an
archivable electronic format, preferably published open access.

Important Dates

 Submission deadline:      01.05.2012
 Acceptance notification:  01.06.2012
 Camera-ready copy:        15.06.2012

Program Committee:

 David Aspinall, University of Edinburgh, UK
 Serge Autexier, DFKI, Germany
 Christoph Benzmueller, Articulate Software, USA
 Herman Geuvers, Radboud University Nijmegen, the Netherlands
 Cezary Kaliszyk, University of Innsbruck, Austria, (PC co-chair)
 Christoph Lüth, DFKI, Germany (PC co-chair)
 Adam Naumowicz, University of Białystok, Poland
 Claudio Sacerdoti Coen, University of Bologna, Italy
 Geoff Sutcliffe, University of Miami, United States
 Enrico Tassi, INRIA, France
 Josef Urban, Radboud University Nijmegen, the Netherlands
 Makarius Wenzel, Université Paris-Sud 11, France

More information about the workshop series can be found at the UITP
Interest Group web page www.uitp-ig.org.