The project CAMELOT (autonomiC plAtform for MachinE Learning using anOnymized daTa), included in the CMU program | Portugal, launched a promotional video. This project is being developed since 2020 in a collaborative commitment between renowned Portuguese companies...
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: LiquidJava – Extending Java with Refinements...
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 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...
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...
Paulo Santos has been accepted into the Carnegie Mellon University (CMU) Portugal Dual Degree PhD Program. The Program, funded by Fundação para a Ciência e a Tecnologia (FCT), comprises a 5-year journey beginning in September 2021, split into up to 2 years at CMU and...
