Linkedin
AWESOME’ 2019 Workshop (December 2019)

AWESOME’ 2019 Workshop (December 2019)

The 1st workshop of FCT AWESOME – Awareness While Experiencing and Surfing On Movies through Emotions – project will take place on December 11, at Ciências\ULisboa. This workshop is intended to present the AWESOME project context and results, promoting...
RSS Meetup: Bernardo Toninho

RSS Meetup: Bernardo Toninho

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)...
HBI Meetup (November 2019)

HBI Meetup (November 2019)

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 Meetup: Alcides Fonseca

RSS Meetup: Alcides Fonseca

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...
Talks@DI | LASIGE: Mário Florido

Talks@DI | LASIGE: Mário Florido

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