Correct-by-Construction Program Synthesis using Type Theory and Evolutionary Computation
Data Science Seminar, por Alcides Fonseca (LASIGE/DI-FCUL).
DI
Deep Learning-based Digital Twin of Manufacturing Systems
Talk por Nessrine Farhat.
Seminar on Robotics and Haptics
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).
20th European Dependable Computing Conference
A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.
Community-Based Personalization of User Interfaces
Seminário Doutoral (Doutoramento em Informática), por Sérgio Alves.
What are microservices? Are they just tiny services?
Palestra por Bruno Baptista (RedHat).
An introduction to WebAssembly
Palestra por Andrea Peruffo (RedHat).
Instruction-guided Image Editing
Seminário Doutoral (Doutoramento em Informática), por Rodrigo Santos.
Tecnologias de Informação para dar voz a 448 milhões de cidadãos
Talk @DI, por Nuno Paiva (Parlamento Europeu).
Introduction to Low-code and OutSystems
Aula aberta no âmbito da Unidade Curricular de Linguagens de Domínio, por Bruno Martinho (OutSystems).