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....
The paper “Towards a Secure and Scalable Maritime Monitoring System Using Blockchain and Low-Cost IoT Technology”, co-authored by Alan Oliveira (LASIGE integrated researcher) has been published in the Sensors Journal, a top-ranked journal (h5-index 145 and ranked #4...
Lasige’s PhD student Guilherme Espada was part of the organizing committee of the 2022 edition of the Programming Languages Design and Implementation (PLDI) conference, held in San Diego, California, from June 13 to 17. PLDI is the premier conference on the...
The paper “NILINKER: Attention-based approach to NIL Entity Linking” has been published in the Journal of Biomedical Informatics (h-index 112, Scimago Q1 in Computer Science Applications and Q1 in Health Informatics). The authors are LASIGE’s PhD student Pedro...
The paper “Fractional cyber-neural systems – a brief survey”, authored by LASIGE’s integrated researcher Guilherme Ramos has been published in Annual Reviews in Control, a top-ranked journal (Impact factor: 10.699; Scimago Q1). The paper co-authors are Emily Reed...
