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: Safe programming of IoT devices Speaker: Carlos...
This December 16, 2019 all LASIGE members are invited to make a brief presentation, talk about the closing season, our common future and the meaning of belonging to LASIGE. We will be waiting for your creative and unexpected presentations! We will be wondering for...
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 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...
