[ANN] Axiom Workshop



Dear Maxima Users and Friends!

I'd like to announce a Workshop trying to bring together developers of various
packages facilitating computation in mathematics. Although this Workshop is
organised by people mainly interested in Axiom and Aldor, we hope that it is
also of relevance for other CAS. In particular, the talks will detail the
mathematical ideas behind the packages, not the implementation.

We would love to see some of you there,

Martin Rubey

                                    _
                                   (_)
                          __ ___  ___  ___  _ __ ___
                         / _` \ \/ / |/ _ \| '_ ` _ \
                        | (_| |>  <| | (_) | | | | | |
                         \__,_/_/\_\_|\___/|_| |_| |_|
                                    _
                                   (_)

         __          ______  _____  _  __ _____ _    _  ____  _____
         \ \        / / __ \|  __ \| |/ // ____| |  | |/ __ \|  __ \
          \ \  /\  / / |  | | |__) | ' /| (___ | |__| | |  | | |__) |
           \ \/  \/ /| |  | |  _  /|  <  \___ \|  __  | |  | |  ___/
            \  /\  / | |__| | | \ \| . \ ____) | |  | | |__| | |
             \/  \/   \____/|_|  \_\_|\_\_____/|_|  |_|\____/|_|

                            ___   ___   ___    __
                           |__ \ / _ \ / _ \  / /
                              ) | | | | | | |/ /_
                             / /| | | | | | | '_ \
                            / /_| |_| | |_| | (_) |
                           |____|\___/ \___/ \___/



                Domain Specific Packages and their Mathematics


with a special focus on


                             Discrete Mathematics


will take place at the Research Institute for Symbolic Computation

  http://www.risc.uni-linz.ac.at

in Hagenberg, Austria

  http://www.risc.uni-linz.ac.at/about/map

from Thursday, April 27, 10 am, to Saturday, April 29, noon.

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

Axiom is a Computer Algebra System with a long tradition.  It recently became
free software. See http://www.axiom-developer.org for more details


The workshop aims at a cooperation of Axiom developers with developers of
packages written for other Computer Algebra Systems or developers of
stand-alone packages.  Furthermore, the workshop wants to make the potential of
Axiom and Aldor more widely known in order to attract new users and new
developers.


If you would like to attend the workshop, please let us know until Friday,
March 31 at the very latest.


There will be time for a limited number of contributed talks. If you would like
to give a talk, please send us title and a short abstract as soon as possible.


There is no conference fee, but it is expected that participants pay
accommodation and meals themselves.  There is a limited number of rooms
available in Hagenberg for approximately 26 EUR/night.  Contact
axiomize at yahoo.de for details.

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


Apart from a crash-course in Axiom/Aldor, the following talks are planned:


Petr Hiliny:       MACEK - real structural computations with matroids

Martin Rubey:      Guessing formulas for sequences

Carsten Schneider: Sigma - A package for multi-summation

Nicolas M. Thiery: Implementing Algebraic Combinatorics -
                   some experiences with MuPAD-Combinat

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


Organisers: Ralf Hemmecke
            Martin Rubey


Email: axiomize at yahoo.de

Homepage: http://wiki.axiom-developer.org/AxiomWorkShopRISC2006