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: Vasco T. Vasconcelos

O LASIGE convida os novos membros que se juntam ao centro no início deste ano lectivo para o LASIGE Welcome Day, um evento destinado a dar a conhecer a forma de funcionamento do LASIGE e a dinamizar o espírito de equipa.

O evento terá lugar no Anfiteatro da FCiências.ID no dia 3 de outubro, a partir das 16h30, com o seguinte programa:

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.

Nuno Neves, integrated LASIGE member, was invited as a cyber-security expert to be part of a panel at SIC Notícias about the recent hacks that divulged private Benfica emails.

 

Nuno Neves is the coordinator of the Resilient Distributed and Networked Systems at LASIGE, and a Full Professor at the Department of Informats at the Faculty of Sciences of the University of Lisbon.

 

LASIGE will be present in Encontro Ciência 2018, the largest scientific forum in Portugal. LASIGE senior researchers will be presenting 3 oral communications and 2 demos. The winner and runner-up of the 2017 LASIGE best poster awards will also be at the event presenting the winning works.

Carlos Duarte was invited to the "How can technology increase seniors' autonomy" panel at the Ageing Futures conference that took place at the Instituto de Ciências Sociais da Universidade de Lisboa on June 21st. 

Pages