From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,MAILTO_TO_SPAM_ADDR, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 98782BBC1 for ; Mon, 3 Mar 2008 11:49:23 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAKtmy0eCiAFlh2dsb2JhbACQcgEBAQgKKZow X-IronPort-AV: E=Sophos;i="4.25,438,1199660400"; d="scan'208";a="8886470" Received: from lea.cs.unibo.it ([130.136.1.101]) by mail1-smtp-roc.national.inria.fr with ESMTP; 03 Mar 2008 11:49:23 +0100 Received: from faust.cs.unibo.it (faust.cs.unibo.it [130.136.5.135]) by lea.cs.unibo.it (Postfix) with ESMTP id 9CE911991C; Mon, 3 Mar 2008 11:49:22 +0100 (CET) Received: by faust.cs.unibo.it (Postfix, from userid 2662) id 32C4289; Mon, 3 Mar 2008 11:48:15 +0100 (CET) Date: Mon, 3 Mar 2008 11:48:15 +0100 From: Claudio Sacerdoti Coen To: types@lists.chalmers.se, map@fourier.ujf-grenoble.fr, mizar-forum@mizar.uwb.edu.pl, grin@di.unipi.it, coq-club@pauillac.inria.fr, caml-list@yquem.inria.fr, aila@unicam.it Subject: UITP'08: Call for Papers Message-ID: <20080303104810.GA6612@cs.unibo.it> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit X-Operating-System: Debian GNU/Linux X-Organization: Department of computer science, University of Bologna, European Union User-Agent: Mutt/1.5.13 (2006-08-11) X-Spam: no; 0.00; sacerdoti:01 coen:01 sacerdot:01 unibo:01 tphols:01 tphols:01 entcs:01 entcs:01 saarland:01 dfki:01 saarland:01 dfki:01 sacerdoti:01 coen:01 sacerdot:01 [our apologies for multiple copies] UITP'08 The 8th International Workshop on User Interfaces for Theorem Provers [http://www.ags.uni-sb.de/~omega/workshops/UITP08/] (TPHOLS'08 Satellite Workshop) Friday, 22nd August 2008, Montréal, Québec, Canada 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. 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 UITP 2008 is a one-day workshop to be held on Friday, August 22nd 2008 in Montreal, Canada, as a TPHOLS'08 workshop [http://users.encs.concordia.ca/~tphols08/TPHOLs2008/] FORMAT OF THE WORKSHOP The proposed format of the workshop is one day of presentations of accepted regular papers and system demonstrations of accepted system descriptions. In addition the program might include an invited talk. SUBMISSION 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 [http://www.entcs.org/prelim.html] guidelines and up to 15 pages long (please find the additional UITP'08-specific macro file at [http://www.entcs.org/files/uitp08/prentcsmacro.sty]. - System description: Submissions in this category are intended to describe existing systems. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 5 pages long (please find here the additional UITP'08-specific ENTCS macro file [http://www.entcs.org/files/uitp08/prentcsmacro.sty]). Submission of papers is via the EasyChair conference system [http://www.easychair.org/conferences/?conf=uitp08]. All submissions will be peer reviewed and final versions of accepted submissions will be published in an ENTCS [http://www.elsevier.com/locate/entcs] volume. In addition, printed workshop proceedings will be distributed at the workshop. Final versions of accepted papers have to be prepared with LaTeX. IMPORTANT DATES * Submission deadline: May 9th, 2008 * Acceptance notification: June 27th, 2008 * Camera-ready copy: July 11th, 2008 PROGRAMME COMMITTEE * David Aspinall, University of Edinburgh, Scotland * Serge Autexier, Saarland University and DFKI Saarbrücken, Germany (Co-Chair) * Chris Benzmüller, Saarland University, Germany (Co-Chair) * Yves Bertot, INRIA Sophia-Antipolis, France * William Billingsley, University of Cambrigde, England * Paul Cairns, University College London, England * Ewen Denney, NASA Ames Research Center, USA * Herman Geuvers, Radboud University Nijmegen, The Netherlands * Christoph Lüth, University of Bremen and DFKI Bremen, Germany * Michael Norrish, NICTA, Australia * Claudio Sacerdoti-Coen, University of Bologna, Italy * Gem Stapleton, University of Brighton, England * Geoff Sutcliffe, University of Miami, USA * Makarius Wenzel, TU Munich, Germany If you have any questions about the workshop, please contact the organizers: uitp08@ags.uni-sb.de More information about the workshop series can be found at the UITP Interest Group webpage [http://www.informatik.uni-bremen.de/uitp/]. -- ---------------------------------------------------------------- Real name: Claudio Sacerdoti Coen Doctor in Computer Science, University of Bologna E-mail: sacerdot@cs.unibo.it http://www.cs.unibo.it/~sacerdot ----------------------------------------------------------------