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.

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.