Por Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa).
Abstract: Some results and reduction techniques for proving decidability of mathematical theories and completeness of logics are presented. The crucial role of the theory of real closed ordered fields is explained. Selected illustrations from Euclidean Geometry to Quantum Logic are discussed.
Por Elia Zardini (Universidade de Lisboa).
In 2017, Portugal, mainly the center of Portugal, where the city of Coimbra is localized, was devastated by terrible wild fires. This tragedy has affected all the Portuguese society that is now extremely engaged in avoiding future similar and dramatic events.
Por Sebastián Buedo Fernández (University of Santiago de Compostela).
Por Tatsuya Miura (Max Planck Institute for Mathematics in the Sciences, Leipzig).
Por Fernando Ferreira (Universidade de Lisboa).
Por Alberto Bressan (Penn State University).
Por André Souto (Universidade de Lisboa).
Por Fernando Ferreira (Universidade de Lisboa).
Por Fátima Silva Leite (Universidade de Coimbra).
