O Colóquio de Lógica, organizado pela Sociedade Portuguesa de Lógica SPL, visa promover a investigação e o conhecimento nesta área, desde a lógica matemática até à lógica filosófica assim como lógica para a inteligência artificial e a teoria da computação, através de uma série de palestras mensais. As palestras do Colóquio de Lógica serão realizadas de forma híbrida. Têm lugar na sala 3.10 do Departamento de Matemática do Técnico ULisboa e através de sessão Zoom. Os próximos oradores são os seguintes:
- Sandra Alves (Departamento de Ciência de Computadores, Ciências UPorto), Quantitative Weak Linearisation, 14 novembro 2024, 17:00 (palestra online)
Resumo (em inglês)
Informação sobre o Colóquio de Lógica também está disponível na página dos seminários do Departamento do Matemática do IST, em particular na página Colóquio de Lógica onde se encontram alguns Vídeos do Colóquio de Lógica.