AISC 2004
  7th International Conference on
Theory, Implementations and Applications
September 22(We)-24(Fr), 2004,
RISC (Research Institute for Symbolic Computation), Castle of Hagenberg, Austria    
Co-organized by RICAM (Radon Institute for Computational and Applied Mathematics), Linz, Austria

General Info. Submission Registration Program Location



Conferences in this series are held every two years. The previous six ones took place in
  1. Karlsruhe (Germany),
  2. Cambridge (United Kingdom),
  3. Steyr (Austria),
  4. Plattsburgh(USA),
  5. Madrid (Spain), and
  6. Marseille (France)
the first three under the name "Artificial Intelligence and Symbolic Mathematical Computing (AISMC)". The conference in the year 2004 will be held at RISC in the Castle of Hagenberg, Austria.

The AISC 2004 conference poster can be downloaded here: AISC-2004.pdf (126 KB).


Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied to Symbolic Computation and Symbolic Computation can be applied to Artificial Intelligence. Hence, a wealth of challenges, ideas, theoretical insights and results, methods and algorithms arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields.

Hence, the conference is in the center of interest and interaction for various research communities:

  • artificial intelligence,
  • symbolic computation,
  • computer algebra,
  • automated theorem proving,
  • automated reasoning,
  • formal mathematics,
  • mathematical knowledge management,
  • algorithmic invention and learning,
  • logic,
  • software technology,
  • language and system design,
  • implementation and performance issues,
  • semantic web technology,
  • computer-based math teaching and didactics,
  • computer-supported publishing,
  • language and system design,
  • implementation and performance issues,
  • any topics related to the above.
We encourage researchers working in any of these fields to share their views, work, and results by submitting papers and taking part in the conference.




May8:Submission of papers (closed).
June20:Notification of acceptance/rejection (closed).
July12:Camera-ready paper submission.(closed)


Before Aug 9 : Early registration fee (290 Euro) (closed)
After Aug 9 : Late registration fee (350 Euro)

We advice the participants not to delay the registration until the last moment because hotel reservation may be difficult on short notice.

Conference Days

Wednesday, 22 - Friday, 24 September, 2004.


The proceedings of the conference containing the refereed and accepted papers will appear as
a volume of the Springer Lecture Notes in Artificial Intelligence.


General Chair:
Bruno Buchberger

Program Committee Chair:
John Campbell

Proceedings Editors:
John Campbell and Jacques Calmet

Program Committee:
Luigia Carlucci Aiello (University of Rome ``La Sapienza'', Italy)
Michael Beeson (San Jose State University, USA)
Belaid Benhamou (University of Provence, France)
Bruno Buchberger (University of Linz, RISC, Austria)
Jacques Calmet (University of Karlsruhe, Germany)
John Campbell (University College London, UK)
Bruce Char (Drexel University, USA)
James Davenport (University of Bath, UK)
William Farmer (McMaster University, Canada)
Jacques Fleuriot (University of Edinburgh, UK)
Laurent Henocque (LSIS - Laboratory for the Sciences of Information and Systems, France)
Tetsuo Ida (University of Tsukuba, Japan)
Michael Kohlhase (International University Bremen, Germany)
Erica Melis (DFKI, Saarbrücken, Germany)
Aart Middeldorp (University of Innsbruck, Austria)
Eric Monfroy(University of Nantes, France)
Steve Linton (University of St. Andrews, UK)
John Perram (University of Southern Denmark, Denmark)
Jochen Pfalzgraf (University of Salzburg, Austria)
Zbigniew Ras (University of North Carolina, USA)
Tomas Recio (University of Cantabria, Spain)
Eugenio Roanes Lozano (Universidad Complutense de Madrid, Spain)
Jörg Siekmann (University of Saarland and DFKI, Saarbrücken, Germany)
Volker Sorge (University of Birmingham, UK)
John Stell (University of Leeds, UK)
Carolyn Talcott (SRI, Menlo Park, USA)
Dongming Wang (University Paris VI, France)
Wolfgang Windsteiger (University of Linz, RISC, Austria)


Local Organization:
Betina Curtis

Web Site and Publicity:
Koji Nakagawa
Florina Piroi
Camelia Kocsis

You can write us using the following e-mail address:

The AISC 2004 conference poster can be downloaded here: AISC-2004.pdf (126 KB).


        Linz Hochschulfonds    


Automated Software Engineering - ASE 2004
         September 20 - 25, 2004, Johannes Kepler University in Linz, Austria.

Mathematical Knowledge Management - MKM 2004
         September 19 - 21, 2004, Bialowieza, Poland.

6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - SYNASC 2004
         September 26 - 30, 2004, University of the West, Timisoara, Romania.


Click here to view the photos.

Mail to Web Master