RSS meetup: Paulo Canelas (Uber) and Catarina Gamboa (Gitar)

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: Experience Report of Summer Internships at Uber and...

LASIGE Welcome Day 2024

Date: October 9, 2024, 14h Where: Ciências ULisboa, C6.2.56 Agenda: 15:30 Registration (collect badge) 16:00 “Welcome to LASIGE”, by Alysson Bessani 16:30 “Into the Unknown: Journey from LASIGE to CMU and Silicon Valley Startups” – Talk by Catarina Gamboa...

Reading Club in HBI and DSI #15

********** Paper #15: Drug Repurposing Hypothesis Validation with Knowledge-infused Explanations When: 10:30AM, 08/Oct/2024 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared with a contribution! ********** How the reading club...

Talks @ DI: Claudio Pacchierotti, Olmo Moreno, Yuri Gloumakov, Yuri Gloumakov  

Title: SEMINAR ON ROBOTICS & HAPTICS Speakers: Claudio Pacchierotti (CNRS, Univ. Rennes, Inria, IRISA), Olmo Moreno (Istituto Italiano di Tecnologia), Yuri Gloumakov (University of Connecticut), Antonis Gkikakis (Istituto Italiano di Tecnologia) Date: September...

DSI Meetup: Nessrine Farhat

Title: Deep Learning-based Digital Twin of Manufacturing Systems Speaker: Nessrine Farhat (University Grenoble Alpes/LASIGE) When: Thu, October 3, 16:00h Where: Ciências ULisboa, 6.3.27 Abstract: Digital Twins (DT) are key technologies in Industry 4.0, providing a...