Email Gateway (Aug 18 2022 at 14:38): Email Gateway (Aug 18 2022 at 14:38):From: David Aspinall <David.Aspinall@ed.ac.uk>
CALL FOR PAPERS
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
directions.
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
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:
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, 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
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)
Last updated: Nov 21 2024 at 12:39 UTC