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: Session-typed Metaprogramming Speaker: Pedro Ângelo...
********** Paper #13: A machine learning approach for early identification of patients with severe imported malaria (2024) D’Abramo et al. When: 3PM, 20/Jun/2024 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared with a contribution!...
********** Paper #12: Treat Different Negatives Differently: Enriching Loss Functions with Domain and Range Constraints for Link Prediction (2024) Hubert et al. When: 3PM, 06/Jun/2024 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come...
Title: Brain Network Organization Varies across Social Environments Speaker: Haily Merritt (Indiana University) When: May 10, 14h00 Where: FCUL, C6.3.27 (includes coffee-break) Abstract: In recent years, network neuroscience has seen a shift from studying...
Title: Forstbyte: Towards a better understanding of current cyber security threats Speaker: Hans P. Reiser (Department of Computer Science, Reykjavik University, Iceland) When: Tuesdayday, April 30, 2024, 2pm Where: FCUL, room C6.3.27 Abstract: Cyber security threats...
