Presentations
Discrete control-based design of adaptive and autonomic computing systems
Èric Rutten
Privacy and Security Challenges in Internet of Things
Manik Lal Das
Consumer Genomics to Genomic Medicine: Role of Discrete Algorithms
Laxmi Parida
Enabling e-Participation – From Cases to Tools
Elsa Estevez
Models for Circular causality
G. Michele Pinna
Checking Cloud Contracts in Microsoft Azure
Nikolaj Bjorner
Geo-Indistinguishability – A principled approach to location privacy
Catuscia Palamidessi
Gappy Total Recaller: Efficient Algorithms and Data Structures for Accurate Transcriptomics
Bud Mishra
Scalability and Trustworthiness in mHealth Systems
Sanjiva Prasad
Fusing Sensors for Occupancy Sensing In Smart Buildings
Krithi Ramamritham