Title: Correct-by-Construction Program Synthesis using Type Theory and Evolutionary Computation Speaker: Alcides Fonseca (LASIGE/FCUL) Date: October, 11th, 14h30 Where: FCUL, 6.3.37 Abstract: Program Synthesis (PS) consists in automatically deriving a program from a...
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...
********** 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:...
LASIGE Talks are fortnightly/monthly events to publicize recently distinguished publications or ongoing cutting-edge work by researchers from the research centre, consolidating the scientific culture of the LASIGE community. Speakers: Diana Costa (LASIGE, FCUL) and...
********** Paper #21: Semantic Web technologies and bias in artificial intelligence: A systematic literature review (2023) Reyero Lobo et al. When: 13:30PM, 20/Feb/2025 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared with a...
