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