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: Eduardo Castanho (LASIGE) and...
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: Pavithren (Viren) V S Pakianathan...
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...