The University of Stanford released, at the end of 2020, the list of the most cited scientists worldwide, at the top 2% of their respective areas, which includes the CMA member Marcos Raydan. The list is the result of a…
The jury of the Amílcar Sernadas Logic Prize unanimously decided to confer ex aequo the prize to the papers k-Provability in PA by CMA members Paulo Guilherme Santos and Reinhard Kahle.
Lourdes Afonso, CMA member, was elected as President of the “Instituto dos Atuários Portugueses“.
FCT announced the results of the ST&DT Projects Call in all scientific domains, in which 312 projects were selected for funding. Marta Lopes’ project, “MONET: Multi-Omic NETworks in gliomas”, in the area of Computer and Information Sciences and Informatics, was…
João Araújo, CMA member, was elected, on July 14th 2020, President of the Portuguese Mathematical Society for the 2020/2022 biennium. The new president intends to “give mathematics more visibility by demonstrating how it can contribute to improving people’s lives.” In…
The PhD student Paulo G. Santos at CMA was awarded the prestigious joint scholarship by Fulbright and FCT (Fulbright Scholarship for Research with the support of FCT – Foundation for Science and Technology). This scholarship is intended for PhD scholarship holders directly funded by FCT who have planned, within the scope of their training plan, to conduct a research period at…
The PhD student Paulo G. Santos at CMA was awarded the BestMasters prize by Springer for his thesis “Diagonalization on Formal Mathematics” under the supervision of Reinhard Kahle (CMA and FCT-UNL and Universität Tübingen) and Isabel Oitavem (CMA and FCT-UNL). The…
Following the developments related to the SARS-CoV-2 / COVID-19 pandemic, which is also conditioning the work of the scientific community, the FCT, I.P. has created this webpage with all the important information regarding this situation for the scientific community.
The workshop intended to evaluate systems that assess two types of relations between two sentences: Semantic Textual Similarity and Textual Entailment.The team IPR, composed by Rui Rodrigues (CMA), Paula Couto (CMA) and Irene Rodrigues (Universidade de Évora and NOVA-LINCS) got…
Rogério Martins was selected to integrate the Scientific Committee of the National Reading Plan (“Plano Nacional de Leitura“). He hopes to promote the reading of scientific topics.