Title: Artificial Intelligence context matters Speaker: Luís Correia (LASIGE, FCUL) Date: November 9, 14h30 Where: 6.3.27 Abstract: It is unquestionable that AI has obtained striking results in specific areas such as theorem proving, games, data mining or natural...
Nuno Neves, LASIGE integrated member, was the invited speaker at “Andamentos da Ciência”, at the Faculty of Sciences of the University of Lisbon (FCUL), on October 19, 2022. In this session, three main questions were addressed: What is a computer...
Title: Gradual Verification: Assuring Software Incrementally Speaker: Jonathan Aldrich (Carnegie Mellon University) Date: November 11, 2022, 15h00 Where: FCUL, C6.3.27 (Coffee break included) Abstract: Current static verification techniques do not provide good support...
Title: Deep Learning for Medical Imaging Speaker: Nuno Garcia (LASIGE, FCUL) Date: October 21, 2022, 14h30 Where: FCUL, C6.2.51 Abstract: Deep Learning is the hottest technique in the artificial intelligence field nowadays. Large multilayer neural networks are being...
