Monthly Archives: July 2013

Threat vectors of Software-Defined Networks

Posted on July 18, 2013 by Smalltalk organizer 01

When: Tuesday, 2013-Jul-18, 11h30-12h00 Where: FCUL-DI, room C6.3.37 Presenter: Diego Kreutz Abstract: The main goal of this small talk is to introduce some of the threat vectors of Software-Defined Networks (SDNs). After this, we will discuss some requirements and techniques … Continue reading →

Posted in Smalltalk | Comments Off

Taming the concurrency beast via static analysis

Posted on July 9, 2013 by Smalltalk organizer 01

When: Tuesday, 2013-Jul-09, 11h30-12h00 Where: FCUL-DI, room C6.3.38 Presenter: Hugo Vieira Abstract: Concurrent systems are hard to get right. The number of possible behaviors easily leaves a dynamic analysis (e.g., simulation, model-checking) without answer, not to mention a team of … Continue reading →

Posted in Smalltalk | Comments Off

Ontologies: multi-function tools for data representation and mining

Posted on July 2, 2013 by Smalltalk organizer 01

When: Tuesday, 2013-Jul-02, 11h30-12h00 Where: FCUL-DI, room C6.3.38 Presenter: Cátia Machado Abstract: Ontologies are structured and formal representations of knowledge, providing the definition of concepts and the relations between them. In this presentation, I’m going to give an overview of … Continue reading →

Posted in Smalltalk | Comments Off