RSS Meetups are monthly gatherings of LASIGE members with interests in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, Formal methods and other topics. Title: Refinement Kinds Speaker: Bernardo Toninho (FCT-UNL)...
The Health and Biomedical Informatics Research Line will be hosting a meetup to introduce three of our most recent PhD students and their work. The students will make brief presentations, followed by an informal Q+A. The meetup is open to anyone, you are welcome to...
RSS Meetups are monthly gatherings of LASIGE members with interests in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, Formal methods and other topics. Title: Soft Error Sensitivity and Vulnerability of...
Mário Florido, professor at Faculdade de Ciências da Universidade do Porto, is giving a talk at LASIGE on the relation between gradual typing and intersection types. The talk will take place on room C6.2.38, on the 27th of September, at 14h. This talk is sponsored by...
LASIGE Welcome Day is an event that introduces new members to the research centre and how LASIGE works. The event also intends to improve the team spirit of new and existing members. The event has the following agenda: 16h00 Welcome to LASIGE (Vasco Vasconcelos)...
