[TYPES/announce] Call for papers: User Interfaces for Theorem Provers, UITP 2010

[Claudio Sacerdoti Coen]

[Apologies if you receive multiple copies]

                           CALL FOR PAPERS

            User Interfaces for Theorem Provers, UITP 2010
                   A satellite workshop of FLoC'10
                Edinburgh, Scotland, 15th July 2010

                   http://uitp10.cs.unibo.it/

The   User  Interfaces for   Theorem   Provers workshop series  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.

UITP 2010 is a one-day workshop to be held the 15th July 2010 in
Edinburgh,
Scotland, as a FLoC'10 workshop.


Submissions

Submissions are encouraged in one of the following two categories:

 - Regular paper:
    Submissions in this category should describe previously unpublished
work
    (completed or in progress), including descriptions of research,
tools,
    and applications. Papers should be formated following the
    ENTCS guidelines and up to 15 pages long

 - System description:
    Submissions in this category are intended to describe existing
systems.
    Papers should be formated following the ENTCS guidelines and up to 5
    pages long

The additional UTIP'10-specific ENTCS macro file can be downloaded from:
          http://www.entcs.org/files/uitp10/prentcsmacro.sty


Suggested topics include, but are not restricted to:

  * Application-specific interaction mechanisms or designs for prover
    interfaces
  * Experiments and evaluation of prover interfaces
  * Languages and tools for authoring, exchanging and presenting proofs
  * 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 proofs
  * System descriptions

Authors   are encouraged to bring     along versions of their  systems
suitable for informal  demonstration during breaks  in the  program of
talks.

The workshop  proceedings will  be  distributed at  the workshop as  a
collection of the accepted papers.  Final  versions of accepted papers
have    to be prepared   with LaTeX.   Following  up  the workshop the
(revised)  accepted  papers will be  published in  a   volume of ENTCS
devoted to the workshop.

Dates

 Deadline for submissions:  April 5th  2010
 Notification:              April 28th 2010
 Final versions due:        May   22nd 2010
 Workshop:                  July  15th 2010


Submission is via EasyChair (thanks to Andrei Voronkov)

          http://www.easychair.org/conferences/?conf=uitp09

More information can be found on the UITP web page at

                    http://uitp10.cs.unibo.it/

Program Committee

  David Aspinall         (University of Edinburgh, UK) (Co-Chair)
  Serge Autexier         (DFKI Bremen, DE)
  Christoph Benzmüller   (Saarland University, DE)
  Yves Bertot            (INRIA Sophia-Antipolis - Méditerranée, FR)
  Ewen Denney            (NASA Ames Research Center, USA)
  Cezary Kaliszyk        (Technical University München, DE)
  Paul Libbrecht         (University of Saarlandes and DFKI Saarbrücken,
DE)
  Christoph Lüth         (University of Bremen and DFKI Bremen, DE)
  Michael Norrish        (NICTA, AU)
  Claudio Sacerdoti Coen (University of Bologna, IT) (Co-Chair)
  Geoff Sutcliffe        (University of Miami, USA)
  Laurent Thery          (INRIA Sophia-Antipolis - Méditerranée, FR)
  Gem Stapleton          (University of Brighton, UK)
  Makarius Wenzel        (TU Munich, DE)
  Burkhart Wolff         (University Paris-Sud 11, FR)

Organizers and PC Chairs

  David Aspinall         (University of Edinburgh, DE)
  Claudio Sacerdoti Coen (University of Bologna, IT)