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, salvo indicação em contrário, na sala 3.10 do Departamento de Matemática do Técnico ULisboa e on line
.
Bernardo Toninho (Departamento de Informática, Técnico ULisboa), “Making Propositions-as-Sessions Run”, 21 de janeiro de 2026, 17h, sala de reuniões do Departamento de Engenharia Informática do Técnico ULisboa.
Resumo (em inglês)
Ver em Eventos as palestras já realizadas no Colóquio de Lógica.
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.