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....
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: A Judgmental Embedding of Session Types in Rust...
Organized in the context of the AWESOME Project: Awareness While Experiencing and Surfing On Movies through Emotions When: Thursday, July 14, 14h-18h Where: Ciências.ULisboa – C6. 6.2.48 and online Registration link: https://forms.gle/8NB677K5y32X1rYM6 (free)...
