Title: Access for All? Reflections on Interactive Technology and Disability Speaker: Kathrin Gerling (Institute for Anthropomatics und Robotics, Karlsruhe Institute of Technology (KIT)) When: November 6th, 14h00 Where: 6.3.27 Invited by: André Rodrigues Abstract: The...
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...
