[Apologies if you receive multiple copies] ------------------------------------------
--- Second Call for Papers --- 10th International Workshop on User Interfaces for Theorem Provers (UITP 2012) 11.07.2012, Bremen, Germany, Part of CICM 2012 http://www.informatik.uni-bremen.de/uitp12/ While interactive theorem provers have found many new application areas in 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. More and more, this is becoming an obstacle for the wider adoption of theorem proving technologies outside the academic community. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with interactive proof systems, be it theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. For the forthcoming 10th UITP workshop, we invite 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. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces; * Experiments and evaluation of prover interfaces; * Languages and tools for authoring, exchanging and presenting proof; * Implementation techniques (e.g. web services, custom 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 proof; * System descriptions. Submitted papers should describe previously unpublished work (completed or in progress), and not be longer than twelve pages. We encourage concise but relevant papers. Submissions should be in PDF format, and typeset with the EasyChair LaTeX document class (which can be downloaded from www.easychair.org), or in similar style. Submission will be via EasyChair. All papers will be peer reviewed by members of the programme committee and selected by the organizers in accordance with the referee reports. Proceedings Accepted papers will appear in the workshop proceedings, which will be available in printed form at the workshop. After the workshop, revised papers can be submitted to a postproceedings, which will appear in an archivable electronic format, preferably published open access. Important Dates Submission deadline: 01.05.2012 Acceptance notification: 01.06.2012 Camera-ready copy: 15.06.2012 Program Committee: David Aspinall, University of Edinburgh, UK Serge Autexier, DFKI, Germany Christoph Benzmueller, Articulate Software, USA Herman Geuvers, Radboud University Nijmegen, the Netherlands Cezary Kaliszyk, University of Innsbruck, Austria, (PC co-chair) Christoph Lüth, DFKI, Germany (PC co-chair) Adam Naumowicz, University of Białystok, Poland Claudio Sacerdoti Coen, University of Bologna, Italy Geoff Sutcliffe, University of Miami, United States Enrico Tassi, INRIA, France Josef Urban, Radboud University Nijmegen, the Netherlands Makarius Wenzel, Université Paris-Sud 11, France More information about the workshop series can be found at the UITP Interest Group web page www.uitp-ig.org. ------------------------------------------------------------------------------ For Developers, A Lot Can Happen In A Second. Boundary is the first to Know...and Tell You. Monitor Your Applications in Ultra-Fine Resolution. Try it FREE! http://p.sf.net/sfu/Boundary-d2dvs2 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info