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:
- Alessandro Gianola (Departmento de Informática e INESC, Técnico ULisboa), 16 maio 2024, 17:00 através de sessão Zoom
Titulo e resumo (em inglês) aqui
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.