[mizar] CADE QPQ Workshop Deadline Extension (fwd)

[Czeslaw Bylinski <bylinski@math.uwb.edu.pl>]

---------- Forwarded message ----------
Date: Thu, 24 Apr 2003 23:55:56 -0700
From: Natarajan Shankar <shankar@csl.sri.com>
To: list:  ;
Subject: CADE QPQ Workshop Deadline Extension


     [The deadline has been extended to Mon. May 5, 2003.]

                     CADE-19 Workshop
         First QPQ Workshop on Deductive Software Components
                     July 28, 2003
                     Miami, Florida

QPQ (http://www.qpq.org) is an open source repository for deductive
software components.  It represents a community effort for publishing,
preserving, and maintaining high quality deductive software in source code
form.  The QPQ workshop at CADE-19 is the first in a series of workshops
aimed at addressing issues of relevance to the administration of such a
repository.  This half-day workshop is devoted to technical issues related
to the production and distribution of reusable deductive software
components.  The workshop will include a presentation by the
editor-in-chief Dr. Mark Stickel, and short presentations by individual
editors regarding their activities and plans.

We solicit short (two to five pages) submissions covering such topics as
  - Standardized interfaces for deductive components
  - Structure and organization of formal digital libraries
  - Benchmark suites
  - Integration frameworks
  - Open source development tools
  - Mathematical interchange formats

We also welcome descriptions from projects that are similar in
scope and spirit to QPQ so that we can discuss modes of cooperation.

Dates:
  May 5, 2003: Abstracts due for upload at http://www.qpq.org.
  May 15, 2003  : Notification of acceptance.

Organizers:
Dr. Mark Stickel,  SRI International
Dr. Michael Kohlhase, Carnegie-Mellon University
Dr. Natarajan Shankar, SRI International