infoblender

8TH HASLAB INFOBLENDER SEMINAR

Date: 
Wednesday, July 1, 2015, 1:30pm

Title: A Cryptographic Treatment of Software Guard Extensions

Speaker: Bernardo Portela, a PhD student at HASLab/INESC TEC & UMinho under the supervision of Prof. Manuel Barbosa

7TH HASLAB INFOBLENDER SEMINAR

Date: 
Wednesday, June 17, 2015, 1:30pm

Title: Reviewing Human Robot Interaction

Speaker: Michael Harrison, an emeritus professor at Newcastle University and research fellow at QMUL and HASLab

6TH HASLAB INFOBLENDER SEMINAR

Date: 
Wednesday, May 27, 2015, 1:30pm - 3:00pm

Title: A New Foundation for Computing Science

Speaker: Professor Dines Bjorner, an emeritus professor at the Technical
University of Denmark

5TH HASLab InfoBlender Seminar

Date: 
Wednesday, May 6, 2015, 1:30pm

Title: Dependable Decentralized Storage Management for Cloud Computing

Speaker: João Paulo, a PhD at HASLab/INESC TEC & UMinho

4TH HASLab InfoBlender Seminar

Date: 
Monday, April 27, 2015, 10:30am

Title: Epidemic Store for Massive Scale Systems

Speaker: Francisco Maia, a PhD at HASLab/ INESC TEC & UMinho

3RD HASLab InfoBlender Seminar

Date: 
Wednesday, April 22, 2015, 1:30pm

Title: Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets

Speaker: Jorge Mendes, a PhD at HASLab/INESC TEC & UMinho

2ND HASLab InfoBlender Seminar

Date: 
Monday, April 13, 2015, 1:30pm - 3:00pm

Title: Refinement Algebra for an Object-Oriented Language with Pointers

Speaker: Prof. Augusto Sampaio, a Software Engineering professor at UFPE - Universidade Federal de Pernambuco, Brazil

1ST HASLab InfoBlender Seminar

Date: 
Wednesday, April 8, 2015, 1:45pm

Title: Exploring Scenario Exploration

Speaker: Nuno Macedo, a postdoc at HASLab/INESC TEC & UMinho