Title: Byzantine fault tolerance in the age of Internet of Things Speaker: Hans P. Reiser (Passau Institute of Digital Security, University of Passau) When: Thursday, November 4, 14h00 Where: FCUL, room 6.3.27 Abstract: In the past twenty years, the Internet of things...
Title: Paraconsistent and Separation Logics with Graphs Speaker: Diana Costa, LASIGE When: Monday, October 18th, 13h30 Where: FCUL, room 6.3.27 (Coffee break included) Abstract: In this presentation I will be making a tour through the subjects I have...
Title: Tradeoffs of Everyday Text-Entry Collection Methods Speaker: André Rodrigues, LASIGE When: October 8, 2021; 14h30 Where: 6.2.44 Abstract: Typing on mobile devices is a common and complex task. The act of typing itself thereby encodes rich information, such as...
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: Propositions-as-Types and Shared State Speaker:...
The EU-funded WideHealth project aims to conduct research on pervasive eHealth and establish a sustainable network of research and dissemination across Europe. Title: Wearable Computing and its Machine-Learning Applications Speaker: Hristijan Gjoreski When: September...
