The thematic term on "Semigroups, Algorithms, Automata and Languages" organized at the International Centre of Mathematics (Coimbra, Portugal) in May-July 2001 was the gathering point for researchers working in the field of semigroups, algorithms, automata and languages. These areas were selected considering their huge recent developments, their potential applications, and the motivation from other fields of mathematics and computer science. This proceedings volume is a collection of advanced courses and original contributions on semigroups and their connections with logic, automata, languages, group theory, discrete dynamics, topology and complexity. A selection of open problems discussed during the thematic term is also included.
Dynamics of Finite Semigroups (J Almeida); On Existence Varieties of Regular Semigroups (K Auinger); Finite Semigroups - Imposing Tractable Constraints (A Bulatov et al.); Some Pseudovariety Joins Involving Locally Trivial Semigroups and Groups (J C Costa); Some Relatives of Automatic and Hyperbolic Groups (M Hoffmann et al.); Profinite Groups and Applications to Finite Semigroups (L Ribes); A Survey of a Topological Approach to Inverse Semigroups (B Steinberg); Decidability Problems in Finite Semigroups (P Trotter); On the Efficiency and Deficiency of Rees Matrix Semigroups (C Campbell et al.); Partial Actions of Groups on Relational Structures: A Connection Between Model Theory and Profinite Topology (T Coulbois); Finite Semigroups and the Logical Description of Regular Languages (H Straubing); Diamonds Are Forever: The Variety DA (P Tesson & D Therien); Finite Semigroups: An Introduction to an Unified Theory of Pseudovarieties (J Almeida); Varieties of Languages (M Branco); A Short Introduction to Automatic Group Theory (C Choffrut); Some Results on Semigroups Rings and Semigroup-Graded Rings (W D Munn).