Matevž Jekovec, on the invitation of Panos Kalnis, visited KAUST (King Abdullah University of Science and Technology), Saudi Arabia from 1st to 5th Match 2014 presenting the formal analysis and various experiments to their research group Infocloud using their algorithm ERA (Elastic Range).
Link to the presentation.
