The Future of Computing and the IBM Q Network 6/6/2018

By Walter Riess, IBM Research – Zurich and Binnig and Rohrer Nanotechnology Center, and Noam Zakay, IBM Corporate Technology and Intellectual Property.

Formal design of embedded systems 4/16/2018

By Naijun Zhan, Distinguished Research Professor at the Chinese Academy of Sciences, China.

Privacy-aware Databases 3/21/2018

By Rogério Pontes, HASLab, INESC TEC & UMinho.

Resource-Aware Models in ABS 12/14/2017

By Einar Broch Johnsen, University of Oslo, Norway.

Blockchain Technology Workshop 12/7/2017


The workshop will take place at Auditorium A2, first floor. Departamento de Informatica, Building 07. University of Minho, Gualtar campus, Braga, Portugal.

Date and Time: THURSDAY, December 7th, 2017 starting at 6PM.


18h00. Networking Session—Coffee and cookies are available.

18h30. Opening

An Algebraic Approach to the Design of Block Ciphers 11/8/2017

By Óscar Pereira, HASLab, INESC TEC & Minho University.

Abstract. We explore the possibility of modelling a working block cipher, and analysing its security, exclusively through an algebraic framework of polynomial rings and finite fields: one aims to get the simplest formal models of ciphers for which it is possible to get demonstrative evidence of its security but still with reasonably efficient implementations.

Energy Efficiency Across Programming Languages 10/18/2017

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

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.