AISC 2004 - 7th International Conference on Artiicial Intelligence and Symbolic Computation (September 22-24, 2004), Hagenberg, Austria
Theory, Implementations and Applications
Bruno Buchberger.
University of Linz, Austria

ABOUT THIS CONFERENCE SERIES
Conferences in this series are held every two years. The previous six ones took place in Karlsruhe (Germany), Cambridge (United Kingdom), Steyr (Austria), Plattsburgh (USA), Madrid (Spain), and 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.

SCOPE
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.

INVITED SPEAKERS
- Alan Bundy (University of Edinburgh, UK)
- Markus Rosenkranz (University of Linz, RISC, Austria)
- Helmut Schwichtenberg (University of Munich, Germany)
- Zbigniew Stachniak (York University, Canada)

IMPORTANT DATES
Papers
May 1: Submission of papers
Jun 20: Notification of acceptance/rejection
Jul 31: Submission of final camera-ready version

Electronic paper submission
Also, please, use the possibility to pre-announce your intention to submit a paper at http://www.risc.uni-linz.ac.at/conferences/aisc2004/submission.html
Registration
Aug 1: Early registration deadline
Sep 15: Late registration deadline

We encourage participants not to wait with registration until the late registration deadline because hotel reservation may be difficult on short notice.

Conference Days
Wednesday, 22 September - Friday, 24 September

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

AISC Committee
- 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, Saarbrucken, 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)
Jorg Siekmann (University of Saarland and DFKI, Saarbrucken, 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
Local Organization: Betina Curtis
Web Site and Publicity:
Koji Nakagawa
Florina Piroi
Camelia Kocsis
You can write us using the following e-mail address: aisc2004@risc.uni-linz.ac.at

SPONSORS
CologNet
IBM Linz
Linz Hochschulfonds
Land Oberoesterreich
Siemens Linz

RELATED CONFERENCES
- 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.