(email)
A Layered Architecture for Tracing Distributed Systems
Toward dependable interactive systemsA talk by Camille Fayollas, Université de Toulouse, France.
A talk about Typed Connector Families By José Proença, HASLab/INESC TEC and University of Minho.
From Abstract Requirements to Processes in the Same LogicA talk by Alexandre Madeira, HASLab/INESC TEC and University of Minho.
On the IoT, from A to ZA talk by Ali Shoker, HASLab/INESC TEC and University of Minho.Read more
Random Oracles and ObfuscationAn invited talk given by Prof. Pooya Farshim, Queen's University Belfast, UK.
Read more
CumuloNimbo: A Cloud Scalable SQL Database 10/21/2015
Code Graphs as Data-Flow Graphs, Control-Flow Graphs, and Inter-action NetsAn invited talk by Prof. Wolfram Khal, McMaster University, Ontario, Canada.
A conference rehearsal talk by Bernardo Portela, HASLab/INESC TEC & University of Minho. Read more.