\documentclass{article}

\usepackage[latin1]{inputenc}	% Pour taper les accents en iso-latin1
                                % dans le source: é au lieu de \'e
\usepackage[T1]{fontenc}	% Pour la césure des mots accentués
				% Et pour utiliser << et >>

\makeatletter
% Workaround incompatibility babel/TeX4ht
\providecommand{\FDP@space}{}
\makeatother

\usepackage{graphicx}
\usepackage{hyperref}

\title{Workshop on Open Source Computer Algebra}

\author{}
\date{}

\begin{document}

\maketitle

\begin{center}
  \Large 
  Tuesday 21st - Thursday 23rd of May 2002\\
  Lyon, France\\
  \medskip
  Amphi G3, Bâtiment enseignement [A]\\
  University Claude-Bernard Lyon~I, Campus de Gerland\\
  50, avenue Tony-Garnier, Domaine de Gerland, 69366 Lyon Cedex 07
\end{center}

Organizing committee: Daniel Duparc, Bernard Mourrain, Bernard
Parisse, Fabrice Rouillier, Marie-Françoise Roy, Nicolas Thiéry, and
Paul Zimmermann.

Local organizers: Nicolas Thiéry, Gilles Villard 

Contact: \href{mailto:nthiery@users.sf.net}{nthiery@users.sf.net}

Web page:
\url{http://www.lapcs.univ-lyon1.fr/~nthiery/CalculFormelLibre/workshop.html}

\begin{center}
\href{http://www.liafa.jussieu.fr/~alp/}{
\includegraphics[height=2cm]{alp}
}
\hfil
\href{http://ups.prepas.org}{
\includegraphics[height=2cm]{ups}
}
\end{center}

This workshop was organized with the support of the
\href{http://www.liafa.jussieu.fr/~alp/}{GDR Algorithme, Langage et
  Programmation}, of the AS "Calcul Formel", of the
\href{http://www.ens-lyon.fr/LIP/}{Laboratoire de l'Informatique du
  Parallélisme} (\href{http://www.ens-lyon.fr/}{ENS-Lyon}), of the
\href{http://www.inria.fr}{INRIA}, and of the
\href{http://ups.prepas.org}{Union des Professeurs de Spéciales}.

Here is a \href{http://www.lapcs.univ-lyon1.fr/~nthiery/CalculFormelLibre/report"}{preliminary version of the report} on this workshop.

\section{Scope}

The organization of this workshop was initiated after long discussions
on the French mailing list calcul-formel-libre@math.cnrs.fr last
autumn, where the lack of an open source computer algebra system was
deplored. See
\url{http://www.math.cnrs.fr/archives/logiciels-formels/} for the
archives, and
\url{http://www.lapcs.univ-lyon1.fr/~nthiery/CalculFormelLibre/} for a
tentative summary (in French).

The aim of this workshop is to gather potential users and developers
from academy and industry, in order to:
\begin{itemize}
\item Take a snapshot of the current situation of free software for
  computer algebra;
\item Specify the needs, for research, teaching, and industry usage as well;
\item Study the feasibility of a free system in this domain.
\end{itemize}

Here, by \emph{free} we mean open source, and more precisely
compatible with the GPL (see
\url{http://www.fsf.org/licenses/license-list.html#GPLCompatibleLicenses});
by \emph{system} we mean indifferently a software or a collection of
software.

\section{Registration}

To register to the workshop, please send an e-mail to Helene Zganic
(\href{mailto:Helene.Zganic@loria.fr}{Helene.Zganic@loria.fr}), with
the following information:
\begin{itemize}
\item Name, title:
\item Position:
\item Address:
\item E-mail:
\item Tel, fax:
\item Expected arrival and departure dates:
\item Attendance to the banquet [yes/no]:
\end{itemize}
If you plan to attend the banquet, please send your registration form
before may 10th!

We basically need to know the number of participants in order to
organize the coffee breaks, the lunches, and the banquet. There is no
registration fee. The banquet will be offered, or proposed at a low
price if there are more than 50 participants. The lunches will be
taken at the ENS-Lyon. The participants have to take care for
themselves for the lodging. You can find some suggestions on
\url{http://www.loria.fr/projets/spaces/cfl.html}.

% Autres personnes qu'il faudrait inciter à venir:
% Personnes de la liste calcul-formel-libre
% Laureano Gonzalez-Vega
% Julio Rubio
% Alain Leroux (voir son intervention sur la liste)
% Manuel Bronstein, Marc Moreno Mazza
% Demailly

% Bernard Perrot a des suggestions de personnes "hors calcul formel" ayant
% fait des developpements logiciels

\section{Tentative program}

%En continu: posters, stands d'éditeurs et d'entreprises orientées
%logiciels libres (O'Reilly ?)

Poster sessions will take place during the whole workshop. If you
would like to present a poster about some software, please send us a
description before Mai 15th.

\subsection*{Tuesday May 21st, afternoon}

Theme: definition of the goals and constraints

\begin{itemize}
\item[14h00-14h50] Opening session % 15 minutes pause + 45
%  Objectif: faire un exposé le plus neutre possible, faisant un rapide
%  bilan des logiciels existant, et analysant les réussites et échecs
%  des divers projets précédents.
\item[15h-16h] Open source software, licenses, and legal issues:
  Bernard Lang
\item Coffee break
\item[16h30-17h10] \href{http://www.texmacs.org/}{TeXmacs} %/
%  \href{http://www.mathemagix.org/}{Mathemagix}:
  Joris van der Hoeven
\item Software demonstrations:
  \begin{itemize}
  \item[17h15-17h40] GINAC: Richard B. Kreckel % Bernard Parisse
    \href{http://www.lapcs.univ-lyon1.fr/~nthiery/CalculFormelLibre/GINAC.pdf}{Slides}
  \item[17h45-18h10]
    \href{http://www-fourier.ujf-grenoble.fr/~parisse/giac.html}{GIAC}: Bernard Parisse\\
    \href{http://www.lapcs.univ-lyon1.fr/~nthiery/CalculFormelLibre/GIAC.pdf}{Slides}
    
%\item CoCoA: Robbiano ?
%\item NTL: Shoup % Paul
%\item Singular ? %	(quelqu'un de Kayserslautern)
%\item : Francois Boullier ?
  \item[18h15-18h40] \href{http://linalg.org/}{Linbox}
    Pascal Giorgi \& Gilles Villard
    %Jean-Guillaume.Dumas@imag.fr ? Gilles.Villard@ens-lyon.fr ?
  \item[18h45-19h10] TRIP: Jacques Laskar et Mickael Gastineau
  \item[19h15-19h40] 
  \href{http://www-igm.univ-mlv.fr/~veigneau/HTML/ACE_PAGE.html}{ACE},
  \href{http://weyl.univ-mlv.fr/~muec/}{mu-EC}, and
  \href{http://mupad-combinat.sf.net}{mupad-combinat}: Florent Hivert
  % Calcul symbolic ?
  % Description des besoins
  % Étude du design
  \end{itemize}
  
\item[20h] All the participants are welcome to join the organizers for
  dinner at the nearby Ninkasi restaurant, 267 r Marcel Mérieux 69007
  LYON.
\end{itemize}

\subsection*{Wednesday May 22nd, morning}

Theme: Development Tools and Models

% Optimalement, il faudrait trouver des gens qui ont une
% longue expérience de gestion de projet logiciel scientifique libre
% et, si possible, un bon charisme.

% Quelqu'un avait mentionné sur la liste que certains domaines
% scientifiques étaient nettement en avance sur ce genre de projet.
% Quelqu'un de chez eux pouvant présenter comment ils s'y sont pris
% serait bien.

\begin{itemize}
\item[9h-9h40] \href{http://caml.inria.fr/ocaml/}{Objective Caml}:
  Pierre Weis
\item[9h45-10h25]
  \href{http://www-sop.inria.fr/galaad/logiciels/synaps/}{SYNAPS}:
  P. Trébuchet
\item Coffee break
\item [10h45-10h25] \href{http://www-rocq.inria.fr/scilab}{Scilab}: Claude
  Gomez\\
  \href{http://www.lapcs.univ-lyon1.fr/~nthiery/CalculFormelLibre/Scilab.dvi}{Slides}

\item[11h30-12h25]
  \href{http://www-history.mcs.st-and.ac.uk/~gap/}{GAP} System
  development for Computer Algebra: Alexander Hulpke
 
% GAP is a free, open system for computational discrete mathematics. I want to
% give a short description of some featuress of the system which are
% interesting from a developers point of view, describe some of the procedures
% and ways that have evolved over the years in the development process and
% talk about some ways how one could use GAP for new projects.

\item Meal at the nearby École Normale Supérieure de Lyon
\end{itemize}

\subsection*{Wednesday May 22nd, afternoon}

Theme: Existing platforms and software

\begin{itemize}
\item[14h-14h40] \href{http://www.mupad.de}{MuPAD 2.5} - News, Trends
  and Outlooks: Oliver Kluge\\
\item[14h45-15h25]
  \href{http://www.maths.usyd.edu.au:8000/u/magma/}{The MAGMA Computer
    Algebra System}: Allan Steel, University of Sydney
%  I will present an overview of the MAGMA computer algebra
%         system, which has been widely used around the world for about
%         10 years.  I will discuss the history, scope and design of
%         MAGMA, and such issues as reasons for its success, and the
%         technical difficulties which have been encountered during
%         its development.
\item[15h30-16h10] \href{http://home.earthlink.net/~jgg964/axiom.html}{Axiom}
  % / \href{http://aldor.org/}{Aldor}:
  Tim Daly
\item Coffee break
\item[16h45-17h25] \href{http://www.math.utexas.edu/users/wfs/}{Maxima}:
  Annick Valibouze; presented by Marc Giusti
\item[17h30-18h10] \href{http://www-spi.lip6.fr/~foc/}{Foc}: Renaud Rioboo
\item[18h15-18h55] \href{http://www.parigp-home.de}{PARI}:
  Karim Belabas\\
  \href{http://www.lapcs.univ-lyon1.fr/~nthiery/CalculFormelLibre/PARI.dvi}{Slides}
  % Slides
\item[19h-19h45] \href{http://www.singular.uni-kl.de/}{Singular}:
  Pfister\\
  \href{http://www.mathematik.uni-kl.de/~pfister/GP-Lyon-02/}{Slides}
% SINGULAR is a Computer Algebra System for polynomial computations with
% special emphasis on the needs of commutative algebra, algebraic geometry,
% and singularity theory.

%        http://www.singular.uni-kl.de/

%   - Main computational objects: ideals/modules over very general polynomial
%   rings over various ground fields.
% - Large variety of algorithms implemented in kernel (written in C/C++).
% - Intuitive, C-like programming language
% - Many more algorithms implemented as SINGULAR libraries.
% - Communication links connect SINGULAR with other CAS's like MMA or MuPAD
% - Extensive documentation: Manual, Tutorial (info, ps, and html)
% - Development started in 1984; Current stable version: 2.0
% - Freely available for most hard- and software platforms (Unix, Windows 95/NT,
%   Macintosh) from http://www.singular.uni-kl.de/ .

% Algorithms which are implemented in the SINGULAR kernel include the following:
% - General standard basis algorithm: for any monomial ordering.
%    Includes: Buchberger algorithm (well-orderings)
%              Mora algorithm (tangent-cone orderings)
%              Traverso's Hilbert-driven Gröbner basis algorithm
%              factorizing Buchberger algorithm
%              FGLM for change of monomial ordering
% - Ideal Theory: Intersection, ideal quotient, elimination and saturation
% - Syzygies and free resolutions of modules:
%   Standard-basis driven, Schreyer's, and La Scala's algorithm
% - Combinatorics: dimensions, Hilbert series, multiplicities, etc.
% - Multivariate polynomial computations: gcd, resultant, factorization
% - Characteristic sets: Wu's method

% Examples for Applications in Algebraic Geometry, Commutative Algebra,
% other fields of Mathematics, Robotics,Circuit Design etc. will be
% given.

\item[20h30] All the participants are invited for the banquet at the
  Brasserie Georges, 30, cours de Verdun Perrache, just nearby gare
  Perrache.
\end{itemize}

% Il ne sera pas évident d'obtenir des présentations neutres. On peut
% essayer de fixer une chartre de présentation; comme par exemple
% demander à ce que le présentateur souligne 5 points forts et 5
% points faibles vis-à-vis des besoins listés

% tables rondes/débats et des réunions de groupes de travail
% sur des thèmes très précis ?
%
% Quand bombarder Fuchsteinner & co de questions ?

\subsection*{Thursday May 23rd}

\begin{itemize}
\item[9h-9h25] \href{http://gcc.gnu.org/}{g++}: Gabriel Dos Reis
\end{itemize}

This final day will gather the participants who want to get personally
involved in a "free computer algebra system" project. Volunteers are
warmly welcome! Please note that this does not necessarily require
special technical skills, as much of the work will consist in
beta-testing and writing documentation. The goal is to write down a
synthesis document for this workshop, to define the main lines of
the project, and last but not least to find volunteers to contribute!

\begin{itemize}
\item[9h30-10h30] Session 1: Potential users and their needs.
  \begin{itemize}
    \item students, teachers and professors
    \item researchers (academic)
    \item engineers (industry)
  \end{itemize}  
\item[10h30-11h] Coffee break
\item[11h-12h30] Session 2: Technical points.
  \begin{itemize}
    \item specify some precise components and their interfaces, for
	example: kernel, library, common platform/environment, compiler, 
	documentation, test suite, benchmarks, ...
    \item for each component: can we restart from existing free software,
	or push an existing software to become free?
    \item for each interface: can we reuse an existing (standard or popular)
	language?
    \item connection with existing (non necessarily free) systems?
    \item how to include contributions: referee process by publishing board?
          Define rules for contributions: benchmarks, bug corrections, ...
    \item diffusion of the whole distribution: cvs server, ftp, cdrom?
    \item which language for documentation: pdf?
  \end{itemize}
\item[12h-12h30] (In parallel with session 2): Working groups.
  \begin{itemize}
    \item Interface with numerical libraries (NAG, Octave, Scilab, GnuGSL)
      [moderator Tim Daly]
    \item Corba-like communication protocol/server for computer algebra
      systems [moderator Joris van der Hoeven]
  \end{itemize}

\item[12h30] Meal at the nearby	\'Ecole Normale Sup\'erieure de Lyon
\item[14h-15h] Session 3: Project management.
  \begin{itemize}
    \item legal aspects: which law applies (european/US)?
    \item financial aspects
    \item manpower, how to find it?
    \item who decides what: executive committee?
    \item strategic choices (license, form of collaborative development)
    \item ensure the diffusion of the system: commercial partners?
  \end{itemize}
\item[15h-15h30] Coffee break
\item[15h30-16h30] Session 4: Workplan.
  \begin{itemize}
    \item list some well-defined tasks and people to achieve them
    \item create one mailing-list? a web page?
    \item evaluate the required funding and how/where to find it
    \item fix deadlines for each technical project?
    \item constitute an executive committee and a publishing board
  \end{itemize}
\item[16h30] End of the workshop
\end{itemize}

% Here are some propositions for the morning sessions; please let us
% know if you would like some other topic to be discussed, and/or if you
% would volunteer to be a moderator.
% \begin{itemize}
% \item Interface with numerical libraries (NAG, Octave, Scilab, GnuGSL);
%   moderator: Tim Daly;
% \item Corba-like communication protocol/server for computer algebra
%   systems; moderator: Joris van der Hoeven.
% \end{itemize}

%Here is also a preliminary list of other topics to be discussed:

%Il faudra aussi de'finir des ta^ches pre'cises a` re'aliser, et trouver
%des personnes motive'es :

%Wanted:
%- webpage about free computer algebra systems / numerical libraries
%        on the FSF Europe web pages [proposed by Joris van der Hoeven]
%- ...

% \begin{itemize}
% \item Choice of the development model and strategy for the project:
%   \begin{itemize}
%   \item Given the discussions on the mailing list, it seems difficult
%     to find, or create, a unique plateform which would fullfill the
%     needs of all the users. Could this be avoided by a modular
%     approach?
%   \item Is it feasible to standardize the formats for exchanging data
%     between components?
%   \item Can we share existing resources?
%   \item Should we prepare a common distribution?
%   \item Which licenses are acceptable for newly developped components of
%     the project?
%   \item Which licenses are acceptable for preexisting components to be
%     integrated in / interfaced with the project?
%   \item Is it viable for a large, specialized and highly technical
%     software to be fully open-source with limited human ressources ?
%   \end{itemize}
% \item Constitution of a scientific committee for implementing refereed
%   contributions, in order to reward the participation of developers.
% \item First deadlines.
% \end{itemize}

\section{Guidelines for presenting a software}

Here are some questions that we would like you to answer about the
software you are going to present. Please be helpful: avoid hype, and
be as neutral as you can!
\begin{itemize}
\item What are the main strengths and weaknesses of the software ?
\item What development model is used ?
\item What difficulties are encountered ?
\item What are the reasons for the success or failure of the software ?
\item What's the future of the software ?
\item How is the software distributed ?
\item What kind of license is used for the software ? Why ?
\item Is this an open-source license? If not, would it be possible to
  switch to an open-source license ?
\item Is there an active community of users ?
\item Is there an active community of contributers ?
\item How are contributions integrated and rewarded ?
\item Are there contributions for the core of the system, or only as
  external modules ?
\item What would happen if you stopped the development of the software ?
\item Is there documentation (for developers / for users) ? Who writes
  it ?
\item Are there books with tutorials, exercises, and examples ?  Are
  they written by developers of the project or external persons ?
\item Where is the software used ? university, industry, high
  school/university teaching, research, ...
\item What is the size of the developer team ?
\end{itemize}

\section{How to come ?}

Coming by car: well, just check a map of Lyon; you cannot miss avenue
Tony Garnier on it (south of Lyon, on the east side of the Rhône). But
prepare for some trouble finding a parking lot.

Coming by plane: there is an international airport in Lyon Satolas,
with a bus shuttle that takes you downtown to the railway station
"Lyon Part-Dieu" (around 20 euros round trip). Alternatively, there
are direct fast trains (TGV, 2 hours for 500 kms) on a very regular
basis between the international airport Paris Charles-de-Gaule and
Lyon. The price of the train is about 120 euros round trip.

Coming by train: there are two main railway stations in Lyon, many
trains going through both of them. We suggest that you use "Lyon
Part-Dieu", though "Lyon Perrache" is not much further away from the
campus. See \url{http://voyages.sncf.fr/} for schedules, fares and
reservations.

Now, coming from the railway station "Lyon Part-Dieu" to the campus is
rather easy. Just beware that \emph{this is not the main campus "La
  Doua" of the university Lyon I}. The workshop indeed takes place in
new buildings, nearby the École Normale Supérieure de Lyon.

Take the subway, line B, all the way down to "Stade de Gerland" (south
of Lyon). At the exit, walk to the west, on avenue Tony Garnier, about
200 meters past the gas station; there are constructions so only the
pavement on the right of the avenue is walkable. Cross the street at
the light. The building [A] is the 3 stories building with a wood and
glass structure that stands in front of you.

You can also check the web site of the Transports Communs de Lyon
\href{http://www.tcl.fr/}{http://www.tcl.fr/}.

\end{document}
