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: Dependent types for parallel programming Presenter:...
LASIGE invites its new members joining the team this new academic year to the LASIGE Welcome Day. Participants will learn about LASIGE’s team and research lines. The event will also include team-building activities and dinner. The event will take place at...
The RSS line will have its first yearly Meetup on Monday with a guest speaker from the Radboud University, Nijmegen, Tom Westerhout, and two presentations from LASIGE MSc students Bernardo Almeida and Telmo Santos. RSS Meetups are monthly gatherings of LASIGE members...
October 4, 2018, we will have one excellent talk (room 6.3.38, at 12) by Bruno Vavala. Bruno Vavala, an ex-LASIGE member that recently graduated at Ciências|ULisboa (from the CMU-PT program), currently Research Scientist at Intel Labs, will talk about his most recent...
