InfoBlender

18th INFOBLENDER SEMINAR

Date: 
Wednesday, February 17, 2016, 1:30pm - 3:00pm

Towards a Linear Algebra Semantics for SQL 2/17/2016
A talk by Prof. José Nuno Oliveira, HASLab/INESC TEC & University of Minho.

17th INFOBLENDER SEMINAR

Date: 
Wednesday, February 3, 2016, 1:30pm - 3:00pm

Formal Analysis and Verification of Database Query Languages 2/3/2016
By Raju Halder, HASLab/INESC TEC & University of Minho.

14th INFOBLENDER SEMINAR

Date: 
Wednesday, January 6, 2016, 1:30pm - 2:45pm

Toward dependable interactive systems
A talk by Camille Fayollas, Université de Toulouse, France.

15th INFOBLENDER SEMINAR

Date: 
Wednesday, January 13, 2016, 1:30pm - 2:45pm

A talk about Typed Connector Families 
By José Proença, HASLab/INESC TEC and University of Minho.

Typed Connector Families 1/13/2016:
application/pdf iconDownload slides (PDF)

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