Linkedin
LASIGE TALKS: Eduardo Castanho and David Gonçalves

LASIGE TALKS: Eduardo Castanho and David Gonçalves

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: Pavithren (Viren) V S Pakianathan & Bernardo Ferreira

LASIGE TALKS: Pavithren (Viren) V S Pakianathan & Bernardo Ferreira

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...
Data Science Seminars: Alcides Fonseca

Data Science Seminars: Alcides Fonseca

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 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...