Typed Connector Families 1/13/2016:

By José Proença, HASLab/INESC TEC and University of Minho.

From Abstract Requirements to Processes in the Same Logic 12/2/2015

By Alexandre Madeira, HASLab/INESC TEC and University of Minho.

On the IoT, from A to Z 11/18/2015:

By Ali ShokerHASLab/INESC TEC and University of Minho.

Random Oracles and Obfuscation 11/4/2015:

By Prof. Pooya Farshim, Queen's University Belfast, UK.

CumuloNimbo: A Cloud Scalable SQL Database 10/21/2015

By Prof. Rui Oliveira, HASLab/INESC TEC & University of Minho.

High-assurance Robotics Software, at DI, University of Minho, Braga, Portugal, 10/14/2015:

In this presentation I talked about some recent work, done in HASLab, and future perspectives on high-assurance robotics software.