Sara Silva, who has recently won a Principal Investigator contract from FCT, has been invited to present her goals for the next five years within the LASIGE center to the general audience, including school students. The event will take place on the afternoon of the 31st of October, at Teatro Thalia.

The FCUL team Caracóis Hipocondríacos won the 3rd place at the national inter-universities programming contest, earning the silver medal. One of the three contestants, Nuno Burnay is a junior researcher at LASIGE, where he is developing his Masters Thesis on verification of protocol conformance in REST APIs.

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:

Pages