The second General Assembly of the SMART2B project is taking place at EDP’s headquarters, in Lisbon, October 20-21, 2022. Pedro Ferreira, the Principal Investigator at LASIGE, and some other LASIGE integrated members, Manuel Fonseca and Vinicius Cogo, as some...
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...
Last October 7, 2022, Luís Antunes, LASIGE’s Ph.D. collaborator, and FCUL’s Ph.D. student Davide Nunes explained to the Público’s journalists a faster method to produce vaccines similar to Moderna’s or Pfizer’s. Details and the published...
André Souto, LASIGE’s integrated member, is one of the invited speakers at the 8th Iberian Mathematical Meeting, held in Seville, October 5-7, 2022, where our researcher will present the talk titled “A new semi-quantum conference key agreement...
Vasco T. Vasconcelos was hosted by the Department of Computer Science (portuguese acronym, DCC) of the Faculdade de Ciências da Universidade do Porto to give a talk on the FreeST programming language. The talk was part of the department’s Talks@DCC seminars,...
