An instructional conference on Computational Algebra and the new MAGMA system for Algebra and Number Theory will be held at Queen Mary and Westfield College, London, August 23-27, 1993. The conference is being held to mark the international launch of MAGMA and it will focus on the state of the art in algorithmic algebra.
Preliminary summary of talks:
Monday, August 23 --------------------------------------------------------------
John Cannon --- University of Sydney
An introduction to the algebra system Magma
Charles Leedham-Green --- Queen Mary and Westfield College, London
Computing with soluble groups
George Havas --- University of Queensland, Brisbane
Some computational approaches to finitely presented groups
Eamonn O'Brien --- Australian National University, Canberra
Computing with quotients of finitely presented groups
David Easdown --- University of Sydney
Growth and existence of identities for finitely
presented inverse semigroups
Amnon Rosenmann --- Institut fu:r Experimentelle Mathematik, Essen
An algorithm for constructing Gro:bner and
free Schreier bases in free group algebras
**** Workshop on Magma I:
John Cannon: The concept of an algebraic structure in Magma
Allan Steel: The Magma set theory sublanguage
Wieb Bosma: Polynomial rings in Magma
George Havas: Finitely presented groups in Magma
****
Tuesday, August 24 -------------------------------------------------------------
Derek Holt --- University of Warwick
MEATAXE methods for computing with group modules
Michael Pohst --- Technische Universita:t Berlin
On computing invariants of number fields
Steve Linton --- Queen Mary and Westfield College, London
Vector enumeration, a new tool for computational algebra
Wieb Bosma --- University of Sydney
Quadratic forms and class groups: a worked example
Bernd Souvignier --- RWTH, Aachen
Constructing representations of finitely presented groups
George Havas --- University of Queensland, Brisbane
New methods for the reduction of integer matrices
Mario Daberkow --- Technische Universita:t Berlin
Computing with subfields
**** Workshop on Magma II:
Wieb Bosma: Number fields in Magma
Bruce Cox: Writing programs in Magma
Steve Linton: Algebras in Magma
Allan Steel: The Magma user interface and environment
****
Wednesday, August 25 -----------------------------------------------------------
Henri Cohen --- Universite' de Bordeaux
Practical aspects of Buchmann's sub-exponential
method for class group and unit computation
Gerhard Schneider --- Universita:t Karlsruhe
Computing homomorphisms and quivers for group algebras
Jon Carlson --- University of Georgia, Athens
From quivers to ext algebras
G.W. Lempken --- Institut fu:r Experimentelle Mathematik, Essen
The structure of the PIMS of 3M$_{22}$ in characteristic 2
Katsushi Waki --- Hirosaki University
The calculation of direct summands of KG-modules
Max Ju:ntgen --- Technische Universita:t Berlin
Solving diophantine equations
J.F. Humphreys --- University of Liverpool
Schur multiplier of representation groups
finite irreducible reflection groups
**** Workshop on Magma III:
Allan Steel: Linear algebra in Magma
Derek Holt: Module theory in Magma
Wieb Bosma: Character theory in Magma
Eamonn O'Brien: p-groups and soluble groups in Magma
****
Thursday, August 26 ------------------------------------------------------------
Bill Kantor --- University of Oregon, Eugene
Geometry in computer algebra systems
Peter Cameron --- Queen Mary and Westfield College, London
Gene Cooperman --- Northeastern University, Boston
Some combinatorial techniques for permutation groups
Greg Butler --- Concordia University, Montreal
Progress on the hard problems in permutation groups
Petr Lisonek --- RISC, Linz
Configurations in finite projective planes
Robert Curtis --- University of Birmingham
Symmetric representations of group elements
Robert Wilson --- University of Birmingham
A library of sporadic groups
Mnukhin ---
The reconstruction index of a permutation group
**** Workshop on Magma IV:
Bruce Cox: Permutation groups in Magma
John Cannon: Designs, codes and graphs in Magma
Graham Matthews: Functional aspects of the Magma language
****
Friday, August 27 --------------------------------------------------------------
George Collins --- RISC, Linz
Equational constraints in partial CAD construction
Gary Ebert --- University of Delaware, Newark
Constructions in finite geometry using computer algebra systems
John Cannon --- University of Sydney
Effective reduction algorithms for short-base
permutation groups of degree 1,000,000
Stephane Collart, D. Mall --- ETH Zu:rich
Algorithmic issues in the computation of universal Gro:bner bases
Gary Sherman --- Rose Hulman Institute of Technology, Terre Haute
Counting nilpotent pairs in finite groups
A. Salam --- University of Central Queensland, Rockhampton
Plethysm of Schur Q-functions
Allan Steel --- University of Sydney
Computation of the Frobenius and Jordan canonical forms