Linkedin
Talks @ LASIGE: Jonathan Aldrich

Talks @ LASIGE: Jonathan Aldrich

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...
Data Science Seminars: #1 Nuno Garcia

Data Science Seminars: #1 Nuno Garcia

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...
“Andamentos de Ciência”: Nuno Neves

“Andamentos de Ciência”: Nuno Neves

Title: Artificial Intelligence: An Aid in Cybersecurity? Speaker: Nuno Neves (LASIGE/FCUL) Date: October 19, 2022, 17h00 Where: FCUL, C6.1.36 Abstract: More than at any time in the past, the use of computer systems, such as cell phones and computers, is preponderant...
Talks @ LASIGE:  Bruno Loff

Talks @ LASIGE: Bruno Loff

Title: Memory compression, quantum walks, and limits to quantum speed-ups for various problems Speaker: Bruno Loff (Faculty of Sciences at the University of Porto) Date: October 07, 2022, 15h00 Where: FCUL, C6.3.27 (Coffee break included) Abstract: The talk is on two...
CPS and RDNS meetup: Jan Kończak

CPS and RDNS meetup: Jan Kończak

Title: Recovery algorithms in State Machine Replication with volatile and non-volatile main memory Speaker: Jan Kończak, Poznan University of Technology, PL Date: July 25, 2022, 11:00h Where: FCUL, room C6.2.50 Abstract: I will present several ways to support...