[clean-list] CfP: Special JSC issue on Integration of Automated Reasoning And Computer Algebra System

[Volker Sorge]

         --------------------------------------------
         We are sorry if you receive multiple copies!
         --------------------------------------------

f++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

                           CALL  FOR  PAPERS

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

                     JOURNAL OF SYMBOLIC COMPUTATION
                   SPECIAL ISSUE ON THE INTEGRATION OF
             AUTOMATED REASONING AND COMPUTER ALGEBRA SYSTEMS

(see http://www.ags.uni-sb.de/~cm2002/jsc_cfp.html)


GENERALITIES

Both automated reasoning systems and computer algebra systems are receiving
growing attention from industry and academia. On the one hand,
mathematical software systems have been commercially very
successful. Their use is now wide-spread in industry, education, and
scientific contexts. On the other hand, the use of formal methods in
hardware and software development has made automated reasoning systems
indispensable not least because of the complexity and sheer size of
the reasoning tasks involved.  As many application domains fall
outside the scope of existing automated reasoning systems and computer algebra
systems, there is still need for improvement and in particular need
for the integration of computer algebra and automated reasoning systems.

The JSC special issue is intended for researchers and developers interested in
combining the reasoning capabilities of automated reasoning systems and the
computational power of computer algebra systems.

Details about the suitable topics can be found at:
http://www.ags.uni-sb.de/~cm2002/jsc_cfp.html

In particular, extended versions of high quality papers presented at
the CALCULEMUS-2002 symposium will be particularly appreciated.

Importantant note: papers on either computer algebra only or automated
reasoning only will be considered out of scope, no matter their quality!


SUBMISSION

Authors are invited to submit full papers up to 20 pages in JSC format
describing original results not published elsewhere.

Submission details can be found at:
http://www.ags.uni-sb.de/~cm2002/jsc_cfp.html.

IMPORTANT DATES

Submission deadline:		 November 15, 2002     
Notification of acceptance:	 February 20, 2003
Deadline for final papers:	 March 30, 2003


GUEST EDITORS 

 Olga Caprotti,
       Research Institute for Symbolic Computation
       Johannes Kepler University
       A-4040 Linz, Austria
       phone: +43 732 2468 9948
       fax: +43 732 2468 9930
       <Olga.Caprotti@risc.uni-linz.ac.at>

 Volker Sorge,
	School of Computer Science
	University of Birmingham
	Birmingham B15 2TT, UK
	phone: +44 121 414 3746
	fax: +44 121 414 4281
	<V.Sorge@cs.bham.ac.uk>