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...
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...
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...
“Building EU’s energy transition” is the name of this one-day conference dedicated to the transformative journey of the energy transition in Europe. The event will bring together leading experts from industry, academia, and governmental institutions to explore...
********** Paper #16: Complex multi-ontology alignment through geometric operations on language embeddings When: 10:30AM, 15/Oct/2024 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared with a contribution! ********** How the reading...
