Portuguese Logic Society

Elections of the governing bodies: The elections for the governing bodies will be held on October 16th and 17th 2025. For more details see the Portuguese Front Page.

Aims of the Portuguese Logic Society

The Portuguese Logic Society 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 Logic Society 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 Logic Society 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).