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...
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: LiquidJava – Extending Java with Refinements...
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: Semantic Conflicts in Version Control Systems...
