RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Programming Languages for Quantum Polynomial Time...
João Mendes, LASIGE PhD Student, was awarded the Best Poster Prize at the 1st ‘Innovation in Medicine and Biomedical Engineering: Synergies and Challenges’ Forum, organized by the recently created Medicine and Biomedical Engineering Section of the Lisbon Society of...
Title: On the Power of Interactive Proofs for Learning Speaker: Ninad Rajgopal (University of Cambridge) Invited by: Bruno Loff (LASIGE, DM/FCUL) When: March 20, 2024, 14:00 Where: FCUL, C6.2.33 Video recording: https://youtu.be/ydpcPfmEJws Abstract: Interactive proof...
On Friday, October 11, 2024, the Smart2B Project held its Final Conference at EDP Headquarters in Lisbon, Portugal. The LASIGE team was represented by Pedro Ferreira, Manuel Fonseca, Cristiana Rosa, Miracle Aniakor, Nuno Dionísio, and Zygimantas Jasiuanas. The...
Title: Navigating the Temporal Challenges of Secure Data Storage and Sharing Speaker: Vinicius Cogo (LASIGE/Ciências ULisboa) When: October 22, 14h50 Where: CIÊNCIAS Grand Auditorium (Building C3, 2nd floor) This talk is included in the flash talks “Leading-Edge...
The paper “A multi-modal, asymmetric, weighted, and signed description of anatomical connectivity”, co-authored by LASIGE’s integrated researcher Andreia Sofia Teixeira, was published in Nature Communications (SCIMAGO Q1). This study was led by researchers at Indiana...
