Linkedin
Invited talk @ VEST’21

Invited talk @ VEST’21

Andreia Mordido, an integrated member at LASIGE, was an invited speaker at the second “Workshop on Verification of Session Types” (VEST’21) where she presented the talk “Beyond regular session types”. Session types enable to express interaction protocols in...
RSS Meetup: Nuno Castanho

RSS Meetup: Nuno Castanho

RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Semantic Conflicts in Version Control Systems...
World Freedom of Thought Day

World Freedom of Thought Day

Today, July 14, 2021, is the World Freedom of Thought Day, a right established in the United Nations Universal Declaration of Human Rights, adopted on December 10, 1948. “Every man has the right to freedom of thought, conscience and religion; this right includes...
RSS Meetup: João David

RSS Meetup: João David

RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Improving Machine Learning Pipeline Creation using...
LASIGE @ Encontro Ciência’21

LASIGE @ Encontro Ciência’21

This week, June 28-30, 2021, LASIGE participated at the annual science meeting organized by Fundação para a Ciência e Tecnologia (FCT), the Foundation that supports Science and Technology in Portugal, and some of our members could present their posters: “AWESOME:...