********** Paper #17: Poisoning medical knowledge using large language models (2024) Yang et al. When: 13:30PM, 14/Nov/2024 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared with a contribution! ********** How the reading club...
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...
