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...
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...
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...
RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Decidable Inductive Invariants for Verification of...
Title: Towards Secure and Scalable Blockchains Speaker: Jiangshan Yu, Monash University, AU Date: July 18, 2022, 11:00h Where: FCUL, room C6.2.44 Abstract: Over the last decade, we have witnessed a rapid growth of blockchain technologies and their applications....
