Aims of the Portuguese Society of Logic
The Portuguese Society of Logic aims to contribute to the promotion of logic in Portugal and the multidisciplinary collaboration between interested parties. Main topics range from the studies of mathematical logic to philosophical logic as well as logic for artificial intelligence and theoretical computer science.
History
The Portuguese Society of Logic was founded in 2022 on the Logic World Day, 14th of January. The founding members were 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 and Vasco Vasconcelos (see photo).
Activities
The Portuguese Society of Logic organizes the Colloquium of Logic and the “Days in Logic” conference .
Membership
To become a member please send an email to secretariadoSPL@math.tecnico.ulisboa.pt. The annual subscription is 20 euros (5 euros for students).