HASLab

Toward dependable interactive systems 1/6/2016:

By Camille Fayollas, Université de Toulouse, France.

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

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

By Ali Shoker, HASLab/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.

By Prof. Wolfram Kahl, McMaster University, Ontario, Canada

By Bernardo Portela, HASLab/INESC TEC & University of Minho.

Rust: a safe and efficient high-level systems programming language, at JOIN 2015, 6/26/2015:

By Prof. Michael Harrison, Newcastle University, QMUL, and HASLab.

By Prof. Dines Bjorner, Technical, University of Denmark

By João Paulo, HASLab /INESC TEC and University of Minho

By Francisco Maia, HASLab /INESC TEC and University of Minho

By Jorge Mendes, HASLab /INESC TEC and University of Minho

By Prof. Augusto Sampaio, Universidade Federal de Pernambuco (UFPE), Brazil

Presentations