SECOND MAGMA CONFERENCE ON COMPUTATIONAL ALGEBRA

          Marquette University, Milwaukee, May 12--16. 1996

			Sunday, May 12
                	-------------

12:45--13:00 Official Welcome and Opening Remarks

NUMBER THEORY
13:00--13:50 [Invited Lecture] H Cohen (Bordeaux) Computational Class 
             Field Theory
14:00--14:25 M Daberkow (TU-Berlin): Computations in Kummer Extensions

14:30--15:00 Coffee Break

MODULE THEORY AND HOMOLOGICAL ALGEBRA
15:00--15:50 [Invited Lecture] G Havas (Queensland): Computing Canonical 
              Presentations for Z-modules
16:00--16:25 M McConnell (Oklahoma State): Sheafhom: Programs for Homological 
             Algebra and Algebraic Topology

MAGMA WORKSHOP
16:30--17:45 J Cannon (Sydney): An Overview of Magma
17:15--18:00 W Bosma (Sydney): Getting Started with Magma
18:00--18:30 Laboratory Session

18:30--19:30 Informal Reception (Drinks and Nibbles)


			Monday, May 13
                        --------------

COMMUTATIVE ALGEBRA
09:00--09:55 [Invited Lecture] E Kaltofen (North Carolina): Factoring High-
             Degree Polynomials over Finite Fields: New Theory Faster Practice
10:00--10:25 A Sausse (INRIA-Sophia Antipolis): A New Approach to Primary 
             Decomposition

10:30--11:00 Coffee Break

GROUP THEORY
11:00--11:25 A Seress (Ohio State): Verification of Strong Generating Set 
             Constructions
11:30--11:55 H Gollan (Essen): A New Existence Proof for Ly, the Sporadic 
             Simple Group of R. Lyons

SYSTEM PRESENTATION
12:00--13:00 H Cohen (Bordeaux): Pari

13:00--14:00 Lunch

REPRESENTATION THEORY
14:00--14:50 [Invited Lecture] G Michler (Essen): Parallel Linear Algebra 
             and Computational Representation Theory
15:00--15:25 K Lux (Aachen): The Use of Peakwords and Condensation in 
             Computational Modular Representation Theory
15:30--15:55 J Calmet & K Homann (Karlsruhe): Interface between DTP and Magma

16:00--16:30 Coffee Break

MAGMA WORKSHOP
16:30--17:45 J Cannon (Sydney): Commutative Algebra
17:15--18:00 W Bosma (Sydney): Field Theory
18:00--18:30 Laboratory Session


			Tuesday, May 14
                        ---------------

ALGEBRAIC GEOMETRY
09:00--09:50 [Invited Lecture] B Poonen (Princeton): Computational Aspects 
             of Curves of Genus at least 2
10:00--10:25 M A Shokrollahi (with J Buhler, R Crandall, R Ernvall, 
             T Metsankyla): Irregular Primes to Eight Million

10:30--11:00 Coffee Break

GROUP THEORY
11:00--11:25 S Norton (Cambridge): Computing in the Monster
11:30--11:55 Alex Ryba (Marquette): Embeddings of PSL_2(q) in E_8(C)

SYSTEM PRESENTATION
12:00--13:00 D Grayson (UIC): Macauley 2

13:00--14:00 Lunch and Poster Session

MODULE THEORY
14:00--14:50 [Invited Lecture] J Carlson (Athens): Computer Calculations 
             of Modules and Cohomology
15:00--15:25 R Bruner (Wayne State):  The Cohomology of Augmented Algebras
15:30--15:55 S Siegel (Northwestern): On the Cohomology of Split Extensions 
             of Elementary Abelian 2-groups 

16:30--16:30 Coffee Break

MAGMA WORKSHOP
16:30--17:45 J Carlson (Athens): Module Theory
17:15--18:00 B Cox (Sydney): Permutation and Matrix Groups
18:00--18:30 Laboratory Session


			Wednesday, May 15
                        -----------------

NUMBER THEORY
09:00--09:50 [Invited Lecture] J Cremona (Exeter): Classical Invariant 
             Theory and Elliptic Curves
10:00--10:25 W Bosma (with Bart de Smit) (Amsterdam): Computations with 
             Brauer's Class Number Relations

10:30--11:00 Coffee Break

SEMIGROUPS
11:00--11:25 U Koppenhagen (with E Mayr) (Muenchen): An Optimal Algorithm 
             for Constructing Reduced Groebner Basis of Binomial Ideals and 
             Applications to Commutative Semigroup
11:30--11:55 F Pastijn (Marquette): Idempotent Algebras Associated with 
             Periodic Semigroups
12:00--13:00 [Invited Lecture and System Presentation] S Margolis (Bar Ilan):
             Computational Automata and Semigroup Theory: The Automate System

13:00--14:00 Lunch

FINITE GEOMETRIES AND CODES
14:00--14:50 [Invited Lecture] J Key (Clemson): Applications of Magma in 
             Designs and Codes
15:00--15:25 J Sarvis (MIT): Constructing Non-Linear Trellis Codes

15:30--16:00 Coffee Break

MAGMA WORKSHOP
16:00--16:45 J Key (Clemson): {Designs, Codes and Planes
16:45--17:30 G Havas (Queensland): Finitely Presented Groups

18:00--21:00 Conference Dinner


			Thursday, May 16
                        ----------------

GROUP THEORY
09:00--09:50 [Invited Lecture] J Leon (UIC): Partitions, Normalizers, 
              and Subgroup Conjugacy
10:00--10:25 M Slattery (Marquette): Algorithms for Soluble Groups: 
              Past, Present and Future

10:30--11:00 Coffee Break

RINGS AND FIELDS
11:00--11:50 [Invited Lecture] E Green (Virginia Tech): Noncommutative 
              Groebner Bases: Theory and Applications

SYSTEM PRESENTATION
12:00--13:00 M Daberkow & C Fieker (TU-Berlin): KANT 4

13:00--14:00 Lunch

GROUP THEORY
14:00--14:50 [Invited Lecture] C Leedham-Green (QMW): Recognizing Matrix 
              Groups
15:00--15:25 J Cannon (Sydney): Nine New Algorithms for Permutation Groups
15:30--16:00 Coffee Break and End of Conference


POSTER PRESENTATIONS
Paul Brown (Berkeley): Computational Techniques for Investigating
	Polygons of Finite Groups
Chris Charnes [with Josef Pieprzyk] (Wollongong): Weak Parameters for
	the SL_2 Hash Function
Shuhong Gao ( Clemson): Factoring Polynomials over Large Finite Fields
	and Hadamard Designs
Ben Keller (Virginia Tech): Experiments with Algorithms and Orders in the
	Computation of Noncommutative Groebner Bases
Kaninda Musumbu, (Bordeaux): The Category of Abstract Interpretations
	with Magma
Valery Romanovskii (Minsk): Ideals in Monoidal Rings and 16th Hilbert
	Problem
Allan Steel (Sydney): The Magma Groebner Walk
Michael Zieve (Berkeley): Polynomials taking many Values over Finite
	Fields