Correct-by-Construction Program Synthesis using Type Theory and Evolutionary Computation
Data Science Seminar, por Alcides Fonseca (LASIGE/DI-FCUL).
Data Science Seminar, por Alcides Fonseca (LASIGE/DI-FCUL).
Talk por Nessrine Farhat.
Talk @DI, por Claudio Pacchierotti (CNRS, Univ. Rennes, Inria, IRISA), Olmo Moreno (Istituto Italiano di Tecnologia), Yuri Gloumakov (University of Connecticut) e Antonis Gkikakis (Istituto Italiano di Tecnologia).
A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.
Seminário Doutoral (Doutoramento em Informática), por Sérgio Alves.
Palestra por Bruno Baptista (RedHat).
Palestra por Andrea Peruffo (RedHat).
Seminário Doutoral (Doutoramento em Informática), por Rodrigo Santos.
Talk @DI, por Nuno Paiva (Parlamento Europeu).
Aula aberta no âmbito da Unidade Curricular de Linguagens de Domínio, por Bruno Martinho (OutSystems).