Speaker: Ivana Bosnic​ (Instituto Dom Luiz, FCUL).

Speakers: Lorenzo Mazzieri and Piotr Chruściel (Università di Trento / University of Vienna).

We will review the status of the uniqueness theory of static vacuum black holes, with or without a cosmological constant Λ and we will outline the proof of a uniqueness theorem with Λ>0, proved jointly in collaboration with Stefano Borghini.

O Projeto Emc2 sobre a ‘Camarinha’ -‘Corema album (L.) D. Don’: de iniciativas de educação ambiental a medidas de conservação desta planta endémica com pequenos frutos de grande potencial.

Speaker: Hugo Gamboa (Plux).

Speaker: Diogo Poças.

Speaker: Pedro Pinto (Technische Universitat Darmstadt).

Abstract: Proof mining is a research program that employs proof theoretical tools to obtain additional information from mathematical results, [1]. Its techniques have been applied successfully to many areas of Mathematics with special focus on Nonlinear Analysis. This presentation reports ongoing joint work with Ulrich Kohlenbach.

O XIX ENE - Desafios para a Nova Década é duplamente especial, pois a SPECO - Sociedade Portuguesa de Ecologia - celebra as suas bodas de prata, 25 anos.

Tens o que é necessário para ser um data scientist, numa das principais entidades bancárias em Portugal?

In this webinar, we will overview the past, present and future activities of the BioData.pt Plant Sciences Community, showcase some of its more impactful resources, and discuss the hurdles that still need to be tackled for FAIR plant data to become a widespread reality.

Por Bruno Jacinto (CFCUL/GI1).