Linkedin
RSS meetup: Cláudia Mamede

RSS meetup: Cláudia Mamede

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: Leveraging LLMs to Improve Static Analysis Outputs...
Reading Club in HBI and DSI #22

Reading Club in HBI and DSI #22

********** Enriching Knowledge Bases with Interesting Negative Statements (2020) Arnaout et al. When: 13:30 PM, 6/Mar/2025 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared with a contribution! ********** How the reading club works:...