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