LASIGE is holding a team building activity on the 22nd of October.

The activity consists on playing a couple of Kubb matches to find out who is the better team at vicking chess! Matches will be short, in order to give everyone a change to play.

Teams should have 6 members and at least one senior (PhD) LASIGE member.

Sign up your team at: https://docs.google.com/spreadsheets/d/13EUZAji4OZ61YD-9MT3_ZjD4kthai_mP...

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.

Pages