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



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)

Mail to Web Master