[Om-announce] UITP'06: First call for papers

[Serge Autexier]

[Apologies if you receive multiple copies]

			   CALL FOR PAPERS

	    User Interfaces for Theorem Provers, UITP 2006
		   A satellite workshop of FLoC'06
		Seattle, USA, Monday August 21st 2006

	  http://www.ags.uni-sb.de/~omega/workshops/UITP06/

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.
Initial studies by HCI  (Human-Computer Interaction) practitioners and
theorem-prover developers  working in collaboration have had promising
early results, but much remains to be investigated.

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 2006 is a one-day workshop to be held on Monday, August 21st 2006
in Seattle, USA, as a FLoC'06 workshop.


Submissions

We  encourage submission  of  short abstracts  or  papers (from  4--20
pages).  Submissions will  be reviewed by the  program  committee.  We
will invite  authors of accepted  submissions to talk  at the workshop
(slots of 20--30 minutes are expected).   Submissions presented at the
workshop will be included in informal proceedings to be distributed at
the workshop and made available electronically afterward.

Suggested topics include, but are not restricted to:

   * Novel and traditional interfaces for interactive proof systems
     including:
     - command line based user interfaces
     - graphical user interfaces
     - natural language based user interfaces
   * Bridging the gap between human-oriented and machine-oriented
     proofs
   * Design principles for interfaces
   * Representation languages for proofs and mathematical objects
   * Tools for exploration, visualization and explanation of
     mathematical objects and proofs
   * User-evaluation of interfaces
   * Integration of proof systems into e-learning environments
   * Web-based services for proof systems
   * Implementation experiences
   * 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:  May 15th 2006
  Notification:              June 20th 2006
  Final versions due:        July 10th 2006
  Workshop:                  August 21st 2006


Submission is via EasyChair (thanks to Andrei Voronkov)

		  http://www.easychair.org/UITP-06/

More information can be found on the UITP web page at

	  http://www.ags.uni-sb.de/~omega/workshops/UITP06/

Program Committee

   David Aspinall  	 (University of Edinburgh, UK)
   Yves Bertot 	         (INRIA Sophia Antiplois, France)
   Paul Cairns 	         (University College London, UK)
   Ewen Denney 	         (NASA Ames Research Center, USA)
   Christoph Lüth 	 (University of Bremen, Germany)
   Michael Norrish 	 (NICTA, Australia)
   Florina Piroi 	 (RISC Linz, Austria)
   Aarne Ranta		 (Chalmers University, Sweden)
   Makarius M. M. Wenzel  (Technical University Munich, Germany)


Organizers and PC Chairs

   Serge Autexier 	 (DFKI, Germany)
   Christoph Benzmüller 	 (Saarland University, Germany)

-- 
Serge Autexier                       Tel:    +49-681-302-2133
DFKI GmbH &                          Fax:    +49-681-302-5076
Informatics, Saarland University   Email:    autexier at dfki.de
66123 Saarbruecken                   WWW: www.dfki.de/~serge/