Computational and algorithmic aspects of semigroup theory

An international workshop

Tuesday September 5th to Saturday September 9th 2006

St Andrews, Scotland

http://www.gap-system.org/semigroups2006
semigroups2006@gap-system.org

Recently arrived

• speaker's slides
• links to software

Coming soon...

• The conference photograph

Click here for some photographs of the conference dinner.

The aim of this workshop is to bring together those working in computational and algorithmic aspects of semigroup theory in the beautiful and historic setting of Scotland's oldest university, St Andrews. Specific topics include, but are not limited to: transformation semigroups, presentations, rewriting systems, decision problems, automatic structures, the GAP system, and complexity. Hopefully the workshop will be the beginning of sustained communication between the different groups of researchers working in this field.

The format will be: up to 3 hours of lectures by the plenary speakers, several invited 1 hour talks, a number of scheduled opportunities for discussion, contributed 20 minute talks, and at least one lab session.

PLENARY SPEAKERS

Click on the talk title to see the slides.

• Fred Otto (Universitat Kassel, Germany)
  String-rewriting techniques for monoid-presentations - References
• Goetz Pfeiffer (NUI, Galway, Ireland)
  Algorithms for finite monoids
  Actions on partial orders
  Applications to finite Coxeter groups (3x1 hour talks)
• Jean-Eric Pin (LIAFA, CNRS, and Paris VII, France)
  Algorithmic aspects of finite semigroup theory
• Misha Volkov (Ekatrinburg, Russia)
  Interpreting graphs in 0-simple semigroups with involution with applications to computational complexity and the finite basis problem 1 - 2 - 3

INVITED SPEAKERS

• Joao Araujo (CAUL, Universidade Aberta, Lisbon, Portugal)
  GAP and the solution of a Problem on Transformation Semigroups
• Manuel Delgado (Universidade do Porto, Porto, Portugal)
  On the use of GAP in Finite Semigroup Theory
• Don McAlister (CAUL and Northern Illinois University, USA)
  Generating finite transformation semigroups: SgpWin
• Rick Thomas (University of Leicester, UK)
  Automatic Semigroups

SLIDES FOR OTHER TALKS

• Alan Cain (St Andrews)
  Decidability for automatic semigroups
• Attila Ergi-Nagy (University of Hertfordshire)
  SgpDec - A GAP Package for Krohn-Rhodes Theory
• Victoria Gould (University of York)
  Fundamental semigroups containing a band of idempotents
• James D. Mitchell (University of St Andrews)
  Computing with semigroups in GAP
• Alexander Vernitski (University of Essex)
  Semigroups of languages

The following is a list of links to various pieces of software for computing with semigroups. If there are any omissions, please let me know.

OTHER LINKS

• The GAP system
• The MONOID package for GAP
• Semigroupe
• Semigroup for Windows
• The AUTOMATA package for GAP
• The numericalsgps package for GAP
• The spgviz package for GAP

Registration

If you are ready to register and make your payment please complete our form.

Accommodation etc.

Getting here

ORGANIZERS