Linkedin
RSS Meetup: Paulo Santos, Miguel Tavares, Ricardo Cordeiro

RSS Meetup: Paulo Santos, Miguel Tavares, Ricardo Cordeiro

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: The Developer Experience of Robotics Software:...
Talks @ LASIGE: André Rodrigues

Talks @ LASIGE: André Rodrigues

Title: Dealing with Contrasting Asymmetries of Needs, Abilities, and Motivations in HCI Speaker: André Rodrigues (LASIGE) When: Wednesday, November 17th, 16h30 Where: FCUL, room 6.3.27 (Coffee break included) Abstract: In this talk, I will describe my research at the...
CPS and RDNS meetup: Hans P. Reiser

CPS and RDNS meetup: Hans P. Reiser

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...
Talks @ LASIGE: Diana Costa

Talks @ LASIGE: Diana Costa

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...
Data Science Seminars:  André Rodrigues

Data Science Seminars: André Rodrigues

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...