Linkedin
LASIGE researchers publish in the journal Scientific Data

LASIGE researchers publish in the journal Scientific Data

As part of the SEEDS project, LASIGE researchers, Breno Sousa, Naercio Magaia, and Sara Silva, published the article titled “Vehicle-to-Vehicle Flooding Datasets using MK5 On-board Unit” in the journal “Scientific Data”, a top 10% journal. This...
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...