Presentations

The Data Cube as a Typed Linear Algebra Operator 9/27/2017

By Prof. José N. Oliveira, HASLab, INESC TEC & Minho University.

VOCAL — The Verified OCaml Library 7/24/2017

By Mário Pereira, LRI — Université Paris-Saclay, France.

Green Computing as an Engineering Discipline 3/29/2017:

By Rui Pereira, HASLab, INESC TEC & Minho University.

Subgroup Mining 3/8/2017:

By Prof. Paulo J. Azevedo, HASLab, INESC TEC & Minho University.

On the Design of Distributed Programming Models 2/15/2017

By Christopher Meiklejohn, Université catholique de Louvain & Instituto Superior Técnico.

Next Generation Clouds 2/8/2017:

By Rolando Martins, FCUP & CRACS/INESC TEC, Porto.

Conflict-free Replicated DataTypes in Practice 1/11/2017:

By Georges Younes and Vitor Enes, HASLab, INESC TEC & University of Minho.

A Framework for Quality Assessment of ROS Repositories, at Daejeon Convention Center, Daejeon, Korea, 10/13/2016:

Presentation of a paper published on the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Causality is Simple 10/12/2016:

By Carlos Baquero, HASLab, INESC TEC & University of Minho.