Health and Biomedical Informatics Meetups are monthly gatherings of LASIGE members with interests in Bioinformatics, Chemoinformatics, Text Mining, Biomedical Decision Systems and related topics.

Title: Multi-domain semantic similarity
Presenter: João D Ferreira

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.

 

Pages