Symbolic Computation Theory / Implementations and Applications General Chair Bruno Buchberger Program Committee / /
Person
Jacques Calmet John Campbell Bruce / Michael Beeson Belaid Benhamou Bruno / Jorg Volker Sorge John Stell Carolyn / Jacques Calmet Invited Speakers Alan / Steve Linton John Perram Jochen / William Farmer Jacques Fleuriot Laurent / Wang Wolfgang Windsteiger Proceedings Editors John / Bruno Buchberger Jacques Calmet John / Erica Melis Aart Middeldorp Eric / Jacques Fleuriot Laurent Henocque Tetsuo / John Stell Carolyn Talcott Dongming / Zbigniew Ras / Carolyn Talcott Dongming Wang Wolfgang / John Campbell Jacques Calmet Invited / Tetsuo Ida Michael Kohlhase Erica Melis Aart / John Campbell Bruce Char James / Eric Monfroy Steve Linton John / Laurent Henocque Tetsuo Ida Michael / James Davenport William Farmer Jacques / Markus Rosenkranz Helmut Schwichtenberg Zbigniew / Tomas Eugenio Roanes Lozano / Bruce Char James Davenport William / /