Linkedin
RSS meetup: Emanuele D’Osualdo

RSS meetup: Emanuele D’Osualdo

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...
CPS and RDNS meetup: Jiangshan Yu

CPS and RDNS meetup: Jiangshan Yu

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 meetup: Bernardo Toninho

RSS meetup: Bernardo Toninho

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...
AWESOME’ 2022 Workshop

AWESOME’ 2022 Workshop

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)...
RSS meetup: Benjamin Lion

RSS meetup: Benjamin Lion

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: Modeling and Specifying Interaction in...