<<< Home <<< Livres

Semigroups, Algorithms, Automata and Languages

Gracinda M.S. Gomes, Jean-Éric Pin, Pedro V. Silva (Editors)

World Scientific, 2002



The thematic term on Semigroups, Algorithms, Automata and Languages was held at the International Centre of Mathematics, CIM, in Coimbra during the months of May, June and July 2001. It was designed to make Coimbra the gathering point of researchers in the subjects of semigroup theory and automata theory.
The programme included three schools and two workshops dedicated to specific areas considered presently to have great importance to the study of semigroups, algorithms, automata and languages. These areas were selected considering their huge recent development, motivation from other fields of mathematics and computer science, and their potential applications.
REDBALL First School (May 2 to 11, 2001): Algorithmic aspects of the theory of semigroups and its applications
REDBALL Second School (June 4 to 8, 2001): Automata and languages
REDBALL Third School (July 2 to 6, 2001): Semigroups and applications
REDBALL First Workshop (June 11 to 13, 2001): Logic, profinite topology and semigroups
REDBALL Second Workshop (July 9 to 11, 2001): Presentations and geometry




Each school consisted of several 5 hour courses held by prominent researchers. The workshops included 50 minute invited lectures and a limited number of 20 minute talks on the specific topics of the workshop, proposed by the participants. The thematic term was a great success and many participants expressed their deep contentment to the organizers. The insiders enjoyed the beautiful surroundings of Coimbra, the pleasing and relaxed atmosphere and the high scientific quality of the meetings. Altogether, about 90 people from 20 different countries attended the thematic term. The organizers would like to express their thanks to the sponsors of the thematic term namely Centre of Algebra of the University of Lisbon, Centre of Mathematics of the University of Porto, International Centre of Mathematics, Faculty of Sciences of the University of Lisbon, Foundation Calouste Gulbenkian, Luso-American Foundation for Development, Portuguese Foundation for Science and Technology and the University of Porto. We would also like to acknowledge the township of Coimbra who very kindly organized three receptions in the town hall.

Lisboa, Paris and Porto, 27 June 2002,

Gracinda M.S. Gomes, Jean-Éric Pin, Pedro V. Silva

Contents

Advanced courses

  1. Finite semigroups: an introduction to a unified theory of pseudovarieties (Jorge Almeida)
  2. On existence varieties of regular semigroups (Karl Auinger)
  3. Varieties of languages (Mário J. J. Branco)
  4. A short introduction to automatic group theory (Christian Choffrut)
  5. An introduction to covers for semigroups (John Fountain)
  6. E*-unitary inverse semigroups (Mark V. Lawson)
  7. Some results on semigroup-graded rings (W. D. Munn)
  8. Profinite groups and applications to finite semigroups (Luis Ribes)

Research articles

  1. Dynamics of finite semigroups (Jorge Almeida)
  2. Group presentations for a class of radical rings of matrices (Noelle Antony)
  3. Finite semigroups imposing tractable constraints (Andrei Bulatov, Peter Jeavons, Mikhail Volkov)
  4. On the efficiency and deficiency of Rees matrix semigroups (C.M. Campbell, J.D. Mitchell and N. Ruskuc)
  5. Some pseudovariety joins involving groups and locally trivial semigroups (José Carlos Costa)
  6. Partial action of groups on relational structures: a connection between model theory and profinite topology (Thierry Coulbois)
  7. Presentations for some monoids of partial transformations on a finite chain: a survey (Vitor H. Fernandes)
  8. Some relatives of automatic and hyperbolic groups (Michael Hoffmann, Dietrich Kuske, Friedrich Otto, and Richard M. Thomas)
  9. Operators on classes of regular languages (Libor Polák)
  10. Automata in autonomous varieties (Olga Sokratova)
  11. A sampler of a topological approach to inverse semigroups (Benjamin Steinberg)
  12. Finite semigroups and the logical description of regular languages (Howard Straubing)
  13. Diamonds are forever: the variety DA (Pascal Tesson and Denis Thérien)
  14. Decidability problems in finite semigroups (Peter G. Trotter)



Valid HTML 4.01!