Objetivos da Sociedade Portuguesa de Lógica SPL
A Sociedade Portuguesa de Lógica SPL tem como fim contribuir para a divulgação da lógica em Portugal, 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, e promover a colaboração multidisciplinar entre os interessados.
História
A Sociedade Portuguesa de Lógica SPL foi criada em 2022 no Dia Mundial da Lógica, dia 14 de janeiro. Os sócios fundadores foram António Zilhão, Cristina Sernadas, Fernando Ferreira, Francisco Dionísio, Inês Lynce, José Espírito Santo, Luís Caires, Manuel Martins, Olga Pombo, Paula Gouveia, Paulo de Sousa Mendes, Reinhard Kahle e Vasco Vasconcelos (ver fotografia da constituição da SPL).
Atividades
A Sociedade Portuguesa de Lógica organiza o Colóquio de Lógica e a conferência “Days in Logic” .
Sócios
Para fazer-se sócio deverá enviar um email para secretariadoSPL@math.tecnico.ulisboa.pt. A quota anual é de 20 euros (5 euros no caso de estudantes).