Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/87528
Título: | A tribute to José Manuel Valença |
Autor(es): | Oliveira, José Nuno Fonseca Pinto, Jorge Sousa Barbosa, L. S. Henriques, Pedro Rangel |
Palavras-chave: | Computational logic Verification Mechanized reasoning Information security |
Data: | 12-Ago-2022 |
Editora: | Elsevier 1 |
Revista: | Journal of Logical and Algebraic Methods in Programming |
Citação: | Oliveira, J. N., Pinto, J. S., Barbosa, L. S., & Henriques, P. R. (2022, August). A tribute to José Manuel Valença. Journal of Logical and Algebraic Methods in Programming. Elsevier BV. http://doi.org/10.1016/j.jlamp.2022.100792 |
Resumo(s): | The present Special Issue of the Journal of Logical and Algebraic Methods in Programming was planned as a tribute to Jose Manuel Esgalhado Valenca on the occasion of his Jubilation. A tribute to a professor, in the deepest sense of the word, a colleague and a friend, but above all to a long and inspiring academic journey that has so profoundly shaped the development of Informatics as a scientific area in Portugal. A scientific area that, as he taught us, needs to be understood broadly: not only as an independent research domain, but also as an educational pillar, a strategy for social and economic development, a foundation for a multifaceted professional career. This preface introduces some steps of such a journey. The Special Issue features a selection of scientific papers written by his collaborators, colleagues and friends, covering the different areas Jose Valenca helped to launch and consolidate in Portugal, namely computational logic, verification and mechanized reasoning, and information security. (c) 2022 Published by Elsevier Inc. |
Tipo: | Editorial em revista |
URI: | https://hdl.handle.net/1822/87528 |
DOI: | 10.1016/j.jlamp.2022.100792 |
ISSN: | 2352-2208 |
Versão da editora: | https://www.sciencedirect.com/science/article/pii/S2352220822000451 |
Arbitragem científica: | no |
Acesso: | Acesso restrito UMinho |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
A-tribute-to-Jos--Manuel-V_2022_Journal-of-Logical-and-Algebraic-Methods-in-.pdf Acesso restrito! | 228,77 kB | Adobe PDF | Ver/Abrir |