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: Parametric Polymorphism in Structural Types...
Date: July 9th, 2020, 14h Title: GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data Presenter: Vinicius Vielmo Cogo Where: Zoom. If you are not an INESC TEC collaborator, please register at eventos@inesctec.pt until July 8, in...
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: Developments on Specifying RESTful APIs with...
When: Thursday, June 4, 2019 Where: https://videoconf-colibri.zoom.us/j/93683451569 Ciência@Informática is an event that aims to present the research being developed at Ciências ULisboa’s Department of Informatics (DI). In this event, several of LASIGE members...
