Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] UTIP'10: Second Call for Papers


view this post on Zulip Email Gateway (Aug 18 2022 at 14:58):

From: David Aspinall <David.Aspinall@ed.ac.uk>
SECOND CALL FOR PAPERS

* extended deadline *

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 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:

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 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)

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/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)

view this post on Zulip Email Gateway (Aug 18 2022 at 14:58):

From: David Aspinall <da@inf.ed.ac.uk>
SECOND CALL FOR PAPERS

* extended deadline *

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 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:

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 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)

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/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: Mar 29 2024 at 04:18 UTC