[Elsnet-list] UITP'06: Second Call for Papers
event at in.tu-clausthal.de
event at in.tu-clausthal.de
Tue Mar 21 11:35:03 CET 2006
For info on unsubscription, see the info at the bottom of this message.
We apologize for multiple copies you could receive.
[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
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
UITP 2006 is a one-day workshop to be held on Monday, August 21st 2006
in Seattle, USA, as a FLoC'06 workshop.
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
- command line based user interfaces
- graphical user interfaces
- natural language based user interfaces
* Bridging the gap between human-oriented and machine-oriented
* 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
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: 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)
More information can be found on the UITP web page at
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)
Christoph Benzmueller, Saarland University, www.ags.uni-sb.de/~chris
This e-mail was delivered to you by event at in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany.
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
In the case of any requests, questions, or comments, do not hesitate and
contact event-owner at in.tu-clausthal.de ASAP.
If you want to unsubscribe from this list, please visit http://www2.in.tu-clausthal.de/mailman/listinfo/event, or send an e-mail to event at owner.in.tu-clausthal.de.
* CIG does not take any responsibility for validity *
* of content of messages sent through this list. *
Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
More information about the Elsnet-list