A3L Deadline Extension and Final Call for Papers

[A. Dolzmann A. Seidl T. Sturm]

*********************************************************************

             FINAL CALL FOR PAPERS AND DEADLINE EXTENSION

                               A3L-2005

            April 3-6, 2005, University of Passau, Germany

                          http://www.A3L.org

*********************************************************************


Take Your Advantage - Participate - Submit Now
-----------------------------------------------

* Enjoy a top scientific meeting outside the usual season in late summer

* Discover exciting new scientific perspectives in the combination of
  computer algebra with algorithmic logic

* Make your results known to a larger community

* Benefit from a rapid and flexible reviewing process and publication

* Use the chance to be not at all limited to the presentation of
  original and complete work

* Passau is easy to reach right in the center of Europe

* Last not least enjoy the great touristic attraction of the old German
  town known as Venice of the north


Due to numerous requests, we have decided to generally extend the
deadline of A3L by 10 days. The NEW DEADLINE for both types of
submussions (extended abstract or extended abstract + full JSC paper)
is on

                  #################################
                  #                               #
                  #  Wednesday, December 8, 2004  #
                  #                               #
                  #################################

The A3L conference is intended to be the first one of a series of
conferences on symbolic computation but with focus on commutative
algebra and the combination of computer algebra with logic, e.g.
effective quantifier elimination. Work on algorithms, their
implementation, and practical application.

A3L (Algorithmic Algebra and Logic) will be held in honor of the 60th
birthday of Volker Weispfenning.


Paper Submission
----------------
Authors should submit not later than December 8, 2004, by email to
jsc at A3L.org and/or to proceedings at A3L.org, resp.

There are two possible types of submissions:

(A) extended abstracts (2-4 pages) for the conference proceedings volume
(B) full papers for a special issue of the Journal of Symbolic
    Computation.

Material that is submitted only as an extended abstract need not be
original. Also it may be published in a different form elsewhere
later.

For full paper authors (B), the usual rules of the JSC apply. The
additional submission of an extended abstract (A) is mandatory.


Important Dates
---------------
*Extended Deadline for Submissions: December 8, 2004

*Notification of Acceptance:        January 13, 2005

*Registration and Welcome Reception:    April 2, 2005

*Scientific Conference Program:     April 3-6, 2005


Instructions for Authors
------------------------
Latex styles and detailed author instructions are available at
www.A3L.org/instructions.

For both sorts of submissions the authors are asked to make clear in
the abstract and in the introduction what is the relation to Volker
Weispfenning's work. The relation may be very loose. In fact, due to
the very broad scope of Volker Weispfenning's work, most topics from
computer algebra will fit fine. Contributions from the areas of applied
algebra, complexity, or model theory are highly appreciated as well.


Organizing Committee
--------------------

 General Chair:
    Thomas Sturm

 Program Committee Chair:
    Andreas Dolzmann

 Program Committee:
    Hirokazu Anai, Japan
    Eberhard Becker, Germany
    Christopher Brown, USA
    Victor Ganzha, Germany
    Vladimir Gerdt, Russia
    Laureano Gonzalez-Vega, Spain
    Hoon Hong, USA
    David Jeffrey, Canada
    Wolfgang Kuechlin, Germany
    Scott McCallum, Australia
    Teo Mora, Italy
    Alexander Prestel, Germany
    Eugenio Roanes-Lozano, Spain
    Dongming Wang, France
    Andreas Weber, Germany
    Franz Winkler, Austria
    Martin Ziegler, Germany

 Publicity Chair:
    Andreas Seidl

=====================================================================
Please send all the comments to the appropriate contact: info at A3L.org


-------------
The compgeom mailing lists: see
http://netlib.bell-labs.com/netlib/compgeom/readme.html
or send mail to compgeom-request at research.bell-labs.com with the line:
send readme
Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html.