Tarmo Uustalu's Portugal links

• Braga Cultural (monthly bulletin)
• BragaVirtual
• BragaCom
• ANA Aeroportos de Portugal
• TAP Air Portugal
• CP Caminhos de Ferro Portugueses (Portuguese Railways)
• Rede Nacional de Expressos (express coach service)
• CTT Correios de Portugal (national postal service)
• Dep. de Informática, Escola de Engenharia, Univ. do Minho
  • Grupo de Lógica e Métodos Formais
  • CAMILA System
  • GEF - Grupo de Estudos Fundamentalistas
  • Constructor Subtyping Project
  • AFP'98, Braga, Sept 1998
  • MPC'00, Ponte de Lima, July 2000
  • APPSEM'00, Caminha, Sept 2000
• Dep. de Sistemas de Informação, Escola de Engenharia, Univ. do Minho
• Serviços de Documentação (Biblioteca Geral), Univ. do Minho
• Dep. de Informática, Fac. de Ciências, Univ. de Lisboa
  • LINEAR'00, S Miguel (Acores), Sept 2000
• Dep. de Matemática, Instituto Superior Técnico, Univ. Técnica de Lisboa
  • Secção de Ciência da Computação
  • Centro de Lógica e Computação
• Dep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa
  • AGP'01, Évora, Sept 2001
• Dep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto
  • Lab. de Inteligência Artificial e Ciência de Computadores
  • EPIA'01, Porto, Dec 2001
• Dep. de Engenharia Informática, Fac. de Ciências e Tecnologia, Univ. de Coimbra
• Fundação para a Ciência e a Tecnologia
• Observatório das Ciências e das Tecnologias
• Instituto de Cooperação Científica e Tecnológica Internacional
• Short Portuguese Lessons
• Processamento computacional do português