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: LiquidJava – Extending Java with Refinements...
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: Semantic Conflicts in Version Control Systems...
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: Improving Machine Learning Pipeline Creation using...
Title: Dynamic Ensemble of Content-based Image Retrieval Systems using Online Learning with Expert Advice Speaker: Soraia M. Alarcão, LASIGE – DI/FCUL When: May 20 (Thursday) at 12:00 Where: https://videoconf-colibri.zoom.us/j/83154248622 Abstract: Content-Based...
Title: Recommender systems for scientific items: a Sequential Enrichment (SeEn) approach Speaker: Márcia Barros, LASIGE – DI/FCUL When: May 13 (Thursday) at 12:00 Where: https://videoconf-colibri.zoom.us/j/83154248622 Abstract: Databases for scientific entities,...
