Investigador do CRACS na Comissão Executiva da Associação de Programação Lógica

Vitor Santos Costa, investigador do Centro de Investigação em Sistemas Computacionais Avançados (CRACS) do INESC Porto LA, foi eleito para a Comissão Executiva da Associação de Programação Lógica (Association for Logic Programming - ALP).

A ALP, fundada em 1986, assume-se como principal organização do mundo com a missão de contribuir para o desenvolvimento da Programação Lógica e para o relacionamento dessa programação com outras ciências humanísticas e formais, promovendo o uso das mesmas nas universidades e na indústria.

Em discurso directo

"Para mim, é uma grande honra ter sido eleito para o Comité Executivo da Association for Logic Programming, a principal associação na minha área de investigação. Mas não é um voto numa pessoa. Acima de tudo, esta nomeação reflecte o respeito a importância do trabalho feito pelo nosso grupo nos últimos anos. Este trabalho só tem sido possível devido a uma longa colaboração e solidariedade entre vários investigadores, e também devido à motivação que vem das pessoas que usam os nossos sistemas (muitas vezes acompanhado por doses generosas de tolerância).
Agora, espero usar esta oportunidade para poder contribuir mais para o desenvolvimento e expansão de Programação em Lógica. Para isso, conto ter o apoio e as contribuições de todos os colegas do INESC Porto que estão interessados na área".