Um Special Issue do “Journal of Logical and Algebraic Methods in Programming”, Elsevier, foi recentemente publicado, em dedicação à jubilação do Professor José Manuel Esgalhado Valença, investigador do HASLab e Professor Emérito do departamento de Informática da Escola de Engenharia.

“A tribute to José Manuel Valença” tem a coautoria de José Nuno Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques.

No resumo desta edição especial pode ler-se que a mesma foi “planeada como uma homenagem a José Manuel Esgalhado Valença por ocasião da sua Jubilação. Uma homenagem a um professor, no sentido mais profundo da palavra, um colega e um amigo, mas acima de tudo a uma longa e inspiradora viagem académica que tem sido tão profunda e moldou o desenvolvimento da Informática como uma área científica em Portugal. Uma área científica que, como ele nos ensinou, precisa de ser entendida de forma ampla: não apenas como uma investigação independente mas também como um pilar educativo, uma estratégia para o desenvolvimento social e económico, uma base para uma carreira profissional multifacetada. Este prefácio introduz alguns passos de uma tal viagem. A edição especial apresenta uma seleção de artigos científicos escritos pelos seus colaboradores, colegas e amigos, cobrindo as diferentes áreas José Valença ajudou a lançar e consolidar em Portugal, nomeadamente lógica computacional, verificação e raciocínio mecanizado, e segurança da informação”.