[TYPES/announce] UITP'12 Post-Proceedings - Call for Papers

[Cezary Kaliszyk]

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

            --- Call for Papers ---

	       Post-Proceedings of the
	    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/

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.

UITP 2012 has taken place in Bremen on July 11th, 2012. For the forthcoming
post-proceedings, we invite contributions -- in addition to accepted
presentations at the workshop -- 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, and must be
prepared in LaTeX using the EPTCS macro package which can be downloaded
from the workshop web page. There is no strict page limit. Authors are
asked to consult the author information at http://info.eptcs.org/
with regards to content, format and metadata. Submission will be via
EasyChair at the previous adress (see link from the web page). All
submissions will be peer reviewed by members of the programme committee,
and accepted papers will appear in an EPTCS volume.

The workshop web page at http://www.informatik.uni-bremen.de/uitp12/
contains all needed information and links.

Important Dates

 Submission deadline:      15.12.2012
 Acceptance notification:  15.02.2013
 Final version:            01.04.2013

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 http://www.uitp-ig.org.