Perspectives on Neuro-Symbolic AI Speakers: Christoph Wehner (Sony AI; University of Bamberg), Olga Mashkova (KAUST),Samy Badreddine (Sony AI; Fondazione Bruno Kessler) Date: September 16, 2024 Where: Ciências ULisboa, 6.3.27 Invited by: Cátia Pesquita 10:00 – Olga...
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...
