Linkedin
Talks @ DI/LASIGE: Kathrin Gerling

Talks @ DI/LASIGE: Kathrin Gerling

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...
LASIGE projects selected by FCT Call 2023

LASIGE projects selected by FCT Call 2023

Fundação para a Ciência e Tecnologia (FCT, the Portuguese national funding agency for science, research, and technology) released the results of the 2023 Call for Exploratory Projects in all scientific fields, corresponding to an investment of around 20 million euros,...
RSS meetup: Mário Silva

RSS meetup: Mário Silva

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...
LASIGE PhD Student awarded Best Poster at SCMED

LASIGE PhD Student awarded Best Poster at SCMED

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...
Theory of Computing Seminars: Ninad Rajgopal

Theory of Computing Seminars: Ninad Rajgopal

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...