[isabelle] UTIP'10: Second Call for Papers


		        * extended deadline *

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


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

UITP 2010 is a one-day workshop to be held on the 15th July 2010 in
Edinburgh, Scotland, as a FLoC'10 workshop.  The meeting is affiliated
with the ITP 2010 and IJCAR 2010 conferences.


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 be 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 be up to 5 pages long

The additional UTIP'10-specific ENTCS macro file can be downloaded from:

Suggested topics include, but are not restricted to:

  * Application-specific interaction mechanisms or designs for prover
  * Experiments and evaluation of prover interfaces
  * Languages and tools for authoring, exchanging and presenting proofs
  * Implementation techniques (e.g. web services, 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

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.


 Deadline for submissions:  April 9th  2010   ** extended **
 Notification:              April 30th 2010
 Final versions due:        May   19th 2010   ** adjusted **
 Workshop:                  July  15th 2010

Submission is via EasyChair (thanks to Andrei Voronkov)


More information can be found on the UITP web page at


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/DFKI Saarbrücken, DE)
  Christoph Lüth         (University of Bremen and DFKI Bremen, DE)
  James McKinna          (Radboub University Nijmegen, NL)
  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)

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.