Centro de Matematica - Universidade do Minho

MaPSe - Characterisation and decidability problems in Matrices, Proof systems and Semigroups, projecto integrado no CMAT com financiamento plurianual da FCT. Este projecto envolve a totalidade de membros do grupo e está estruturado em quatro tarefas: Decidability problems on finite semigroups (António Veloso da Costa, José Carlos Costa, Lurdes Teixeira); Matrix completion problems (Cláudia Mendes Araújo e Pedro Patrício); Proof systems and programming (José Carlos Espírito Santo e Luís Pinto); Structure and order properties of semigroups (Emília Giraldes, Carla Mendes, Paula Marques Smith, Paula Mendes Martins e Suzana Mendes Gonçalves). Investigador responsável: Paula Marques Smith. Pode encontrar aqui uma descrição sumária da investigação realizada no período de duração deste projecto (2003-2006).
ASA (Autómatos, Semigrupos e Aplicações), projecto PTDC/MAT/65481/2006 financiado pela FCT com início em Abril de 2007. Investigador responsável: Manuel Delgado (Universidade do Porto). Membros do CMAT envolvidos: José Carlos Costa e Lurdes Teixeira.
AutoMathA (Automata: from Mathematics to Applications), projecto da European Science Foundation. Investigador responável em Portugal: Jorge Almeida (Universidade do Porto). Membros do CMAT envolvidos: José Carlos Costa e Lurdes Teixeira.
Automata, profinite semigroups and symbolic dynamics, 11113YM, projecto financiado pelo Programa PESSOA - Acção Integrada Luso-Francesa, gerida em Portugal por GRICES e, em Franca, por EGIDE. Investigador responsável em Portugal: Pedro Silva (Universidade do Porto). Membro do CMAT envolvido: José Carlos Costa.
TYPES, Coordination Action 510996 in European Union 6th Framework Programme. Membros do CMAT envolvidos: José Carlos Espírito Santo e Luís Pinto.