Linkedin
Armilar invests EUR 0.5 millions in Vawlt

Armilar invests EUR 0.5 millions in Vawlt

Vawlt, the spinoff from the Faculty of Sciences of the University of Lisbon and LASIGE (unit R&D), created by Alysson Bessani, Ricardo Mendes and Tiago Oliveira, raised 500 thousand euros to develop its product, which will allow companies to have full control and...
New Collaboration on Blockchain Protocols with NEC Labs Europe

New Collaboration on Blockchain Protocols with NEC Labs Europe

Last April, Alysson Bessani and João Sousa, two integrated members of LASIGE, started a year-long industry-funded project with NEC Labs Europe targeting the design and implementation of efficient Byzantine fault-tolerant consensus protocols for permission blockchains....
Workshop on Machine Learning for CyberSecurity @ ECMLPKDD 2019

Workshop on Machine Learning for CyberSecurity @ ECMLPKDD 2019

Pedro Ferreira and Ibéria Medeiros are members of the organizing committee of the first Workshop on Machine Learning for CyberSecurity (MLCS 2019). The Workshop will take place on September 20 2019, in Wurzburg, Germany, and is co-located with the European Conference...
LASIGE Researchers organize SAT/SMT/AR Summer School

LASIGE Researchers organize SAT/SMT/AR Summer School

Alexey Ignatiev and António Morgado, LASIGE integrated researchers, are organising a Summer School in Lisbon this July. The SAT/SMT/AR Summer School focus on the recent advances of Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning...
LASIGE at Jobshop Ciências 2019

LASIGE at Jobshop Ciências 2019

LASIGE participated at FCUL’s job fair Jobshop Ciências 2019 on April 11. JobShop Ciências aims to be a preferential forum of access of students and graduates to the job market. We were represented by members of our different research lines and the team of one of our...
Vasco Vasconcelos wins ETAPS Test of Time Award

Vasco Vasconcelos wins ETAPS Test of Time Award

This past week, Vasco Vasconcelos, LASIGE member and director, won the ETAPS Test of Time Award with the paper “Language Primitives and Type Discipline for Structured Communication-Based Programming”, co-authored with Kohei Honda and Makoto Kubo. The ETAPS...