


Algebra, Logic and Computation
The research group of Algebra, Logic and Computation is composed of 12 members who, in collaboration with colleagues in other research units, carry out research in the domain of Algebra and Logic, with projects involving matrix theory, semigroup theory, structural proof theory and applications to Computer Science, in the fields of functional programming, automata and formal languages, and to information theory, in the algebraic theory of convolutional codes. During the period 20032007, all Ph.D. members participated in the project MaPSe which was financed by FCT through the pluriannual financial support program. A summary of the research carried out during that period can be found here.
Some of the members participate in research projects with external financial support.
Apart from this individual research activity, the Algebra, Logic and Computation research group organises seminars, short courses and scientific meetings.

