Call for Contributions

                           First Workshop on

                 Novel Applications of Deduction Systems

                      (in conjunction with CADE-19)

                        Miami Beach, Florida, USA
                            July 29th, 2003

                 http://www.uclic.ucl.ac.uk/usr/jgow/nads03/

                ******** Extended Deadline: 2nd May ********

[Apologies if you receive this more than once via different mailing lists]
- --------------------------------------------------------------------------

Scope
- -----

Following two successful CADE workshops on the role of automated
deduction in mathematics, this workshop will take a broader look at
current and emerging applications of automated deduction. With the
exception of verification applications - which are well covered at
other events - the purpose of this workshop is to encourage discussion
about applications of automated deduction, and to bring these
applications to the attention of the automated deduction community.

In recent years, researchers have attempted to apply automated
deduction more seriously in mathematical research, and others have
applied it in new research and commercial areas. These areas include
computational linguistics, tutoring systems, interactive textbooks,
agent-based systems and many others.

In addition, projects have been undertaken to apply automated
deduction in brand new areas of computer science, such as
bioinformatics, the semantic web and knowledge management - for
instance the MONET and MKM initiatives. The workshop will provide a
forum for discussion between researchers interested in using automated
deduction to explore such application domains and those who wish to
use such domains as a testbed for state-of-the-art techniques.

Submissions
- -----------

Original workshop papers and extended abstracts of up to 10 pages are
solicited which discuss the application of automated deduction to
relatively novel domains, including, but not restricted to:

* Mathematics
* Knowledge management
* Bioinformatics
* The semantic web
* Education
* Law
* Computer algebra systems
* Constraint solving
* Interactive textbooks
* Computational linguistics
* Agent-based systems

We particularly encourage contributions that describe specific novel
applications of automated deduction, or the interaction of automated
deduction with novel domains. Also welcome are contributions dealing
with proposed applications, providing they discuss specific technical
issues, or system development/combination, providing it is aimed at
novel applications. Also welcome are submissions dealing with
technologies which would enable more sophisticated applications. Such
enabling technologies would include the combination of systems (as in
the CALCULEMUS project).

Submissions should not exceed 10 pages. The deadline for submission is
2nd May, 2003. Authors of accepted papers are expected to give a
presentation during the workshop.

Submissions should be sent by email in Postscript format to

j.gow@ucl.ac.uk

Publication
- -----------
Accepted submissions will be collected in a volume to be distributed
at the workshop. Additionally, the submissions will be made available
on the web after the workshop.

Workshop Venue
- --------------
The workshop will be held as part of CADE 19 (The Nineteenth
International Conference on Automated Deduction), which is to be held
at Miami Beach, Florida, USA.

Organisers
- ----------

Simon Colton
Imperial College London, United Kingdom
sgc@doc.ic.ac.uk
http://www.doc.ic.ac.uk/~sgc

Jeremy Gow
University College London, United Kingdom
j.gow@ucl.ac.uk
http://www.uclic.ucl.ac.uk/usr/jgow

Volker Sorge
University of Birmingham, United Kingdom
V.Sorge@cs.bham.ac.uk
http://www.cs.bham.ac.uk/~vxs

Important Dates
- ---------------

DEADLINE FOR SUBMISSION:   2nd May 2003  *** EXTENDED DEADLINE ***
Author Notification:       16th May 2003
Final version due:         13th June 2003
Workshop date:             29th July 2003
CADE-19 dates:             28th July-2nd August 2003

Further information
- -------------------

Web sites:

Workshop Home Page     http://www.uclic.ucl.ac.uk/usr/jgow/nads03/
CADE 19                http://www.cade-19.info/
CADE Organisation      http://www.cs.albany.edu/~nvm/cade.html

For further information on the workshop, please contact one of the
organisers.

- ----------------------------------------------------------------------------