(email)
From Abstract Requirements to Processes in the Same LogicA talk by Alexandre Madeira, HASLab/INESC TEC and University of Minho.
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
By Ali Shoker, HASLab/INESC TEC and University of Minho.
Random Oracles and ObfuscationAn invited talk given by Prof. Pooya Farshim, Queen's University Belfast, UK.
Read more
By Prof. Pooya Farshim, Queen's University Belfast, UK.
CumuloNimbo: A Cloud Scalable SQL Database 10/21/2015
By Prof. Rui Oliveira, HASLab/INESC TEC & University of Minho.
Code Graphs as Data-Flow Graphs, Control-Flow Graphs, and Inter-action NetsAn invited talk by Prof. Wolfram Khal, McMaster University, Ontario, Canada.
By Prof. Wolfram Kahl, McMaster University, Ontario, Canada