AMAST Mail - October 1999
[Prev][Next][Index]

2nd CFP: Special issue of JSC on Symbolic Computation & Automated Deduction

-----------------------------------------------------------------------
This message was sent to  several mailing lists: apologies to those of
you who receive multiple copies.
Please forward it to everyone who might be interested.
-----------------------------------------------------------------------

                         2nd Call for Papers


          Special Issue of the Journal of Symbolic Computation
                                 on
         Integrated Symbolic Computation and Automated Deduction


         Guest Editors:   
	 * Alessandro Armando -- DIST, U. of Genova, Italy
	 * Tudor Jebelean -- RISC, Hagenberg, Austria


                          Review Panel:

Bruno Buchberger	Jacques Calmet		Edmund Clarke
Fausto Giunchiglia	Hoon Hong		Bernd Ingo Dahn
Manfred Kerber		Michael Kohlhase	Ursula Martin
Lawrence C. Paulson	Julian Richardson	Joerg Siekmann
Carolyn Talcott		Andrzej Trybulec	Dongming Wang		


Background
----------

Both  Deduction Systems  and  Computer Algebra  Systems are  receiving
growing  attention  from industry  and  academia.   On  the one  hand,
Mathematical Software Systems have  been 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 Deduction Systems  indispensable largely because
of the complexity and sheer  size of the reasoning tasks involved.  In
spite of these  successes there is still need  for improvement as many
application domains still fall outside the scope of existing Deduction
Systems and  Computer Algebra Systems.  The special issue  is intended
for researchers  and developers interested in  combining the reasoning
capabilities  of  Deduction Systems  and  the  computational power  of
Computer Algebra Systems/Algorithms.

A series of workshops on  the topic of combining Deduction Systems and
Computer Algebra Systems have  been held regularly starting from 1996.
The last workshop in the series has been held this year in conjunction
with   FLoC'99.    More  information   is   available   at  the   URL:
http://www.mrg.dist.unige.it/~armando/calculemus/floc99-ws.html.   The
special issue  is a follow-up  of this workshop  in the sense  that we
encourage the participants to submit revised versions of their papers.
However the submission of manuscripts  is open to anyone interested in
contributing to the above topics.


Topics
------

Topics  include all aspects  related to  the combination  of deduction
systems and  computer algebra  systems.  We also  explicitly encourage
submissions of  results from applications and case  studies where such
an integration proves particularly important.

Possible topics include (but are not limited to) the following:

* Integration/Combination  of Computer Algebra  Systems/Algorithms and
  Deduction   Systems   (either    Automated   Theorem   Provers,   or
  Proof-Development Systems)
* Incorporation of Deduction techniques in Computer Algebra
* Incorporation of Computer Algebra techniques in Deduction

Prospective  contributors  are warmly  invited  to  contact the  guest
editors to discuss the suitability of topics and papers.

Submission
----------

Manuscripts  should  be  original   unpublished  works  that  are  not
submitted  elsewhere.    Revised  and  enhanced   versions  of  papers
published in conference proceedings that have not appeared in archival
journals  are  eligible for  submission  but  all  such papers  should
reference the  previous conference publication.   All submissions will
be reviewed  according to the  usual JSC standards of  scholarship and
originality.

Papers  must be  submitted to  the first  editor (see  address below).
They must be prepared by using  the JSC LaTeX style file, which can be
obtained  from   ftp://ftp.udel.edu/pub/jsc  (North-America)  or  from
ftp://ftp.risc.uni-linz.ac.at/pub/jsc (Europe).

Electronic submissions are  encouraged, and must be sent  as one email
at  the  address   calculemus99@dist.unige.it  (MIME  attachments  are
allowed).  The message  should contain  (i) title,  abstract,  list of
authors, and  the address  for correspondence in  ASCII, and  (ii) the
whole paper  in Postscript. The Postscript form  must be interpretable
by Ghostscript, and must use  standard fonts, or include the necessary
fonts. Authors who cannot meet these requirements should submit 5 hard
copies by post instead.

To aid  planning and organization, we  would appreciate an  email or a
letter of  intent to submit  a paper (including author  information, a
tentative title  and abstract,  and an estimated  number of  pages) as
early as possible.

Timetable
---------

* Submission Deadline                 November 7, 1999  
* Acceptance/rejection notifications  End of March, 2000
* Final manuscripts due               End of May, 2000
* Publication                         End of 2000/Beginning of 2001


Web page
--------

An up-to-date version of the call  for papers can be found at the URL:
http://www.mrg.dist.unige.it/~armando/calculemus/jsc.html


Guest Editors' Addresses
------------------------

Dr. Alessandro Armando		   Dr. Tudor Jebelean
DIST - Universita' di Genova,	   Research Institute for Symb. Comp.
viale Causa 13,                    University of Linz
16145 Genova, Italy                A-4232 Hagenberg, Austria
e-mail: armando@dist.unige.it      e-mail: tudor@risc.uni-linz.ac.at
phone:  +39-010-3532216            phone: +43-732-2468-9946
fax:    +39-010-3532948            fax:   +43-732-2468-9930
[ AMAST Mail - October 1999 | September 1999 | November 1999 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]