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.
D.