DataMod Programme and Pre-Proceedings

 

Pre-proceedings version of all papers can be downloaded by clicking on the links in the programme or as a comprehensive zip archive here: Pre-proceedings of DataMod 2018.

Monday, 25 June 2018

10.30 – 10.50 Registration and Coffee Break
10.50 – 11.00 Set up and introduction
Session 1
11:00 – 11:30 Lucia Nasti, Roberta Gori and Paolo Milazzo. Formalizing Robustness of biochemical networks (pre-proceedings paper)
11:30 – 12:00 Riccardo Guidotti, Jacopo Soldani, Davide Neri and Antonio Brogi. Explaining Successful Docker Images using Pattern Mining Analysis (pre-proceedings paper)
12:00 – 12:30 Roberto Pellungrini, Luca Pappalardo, Francesca Pratesi and Anna Monreale. Analyzing Privacy Risk in Human Mobility Data (pre-proceedings paper)
12:30 – 14:00 Lunch
Session 2
14:00 – 15:00 Keynote Talk by Paolo Masci (abstract)
15:00 – 15:30 Luca Arnaboldi and Charles Morisset. Generating Synthetic Data for Real World Detection of DoS attacks in the IoT (pre-proceedings paper)
15:30 – 16:00 Coffee Break
Session 3
16:00 – 16:30 Vashti Galpin. CARMA modelling of network security (abstract)
16:30 – 17:00 Yuri Gordienko, Sergii Stirenko and Anis Rojbi.Heart Beat Analysis for Estimation of Physical Load (presentation report)
17:00 – 17:30 Julie Bu Daher, Armelle Brun and Anne Boyer. Multi-source Data Mining for e-Education (presentation report)

Tuesday, 26 June 2018

Session 4
09:00 – 10:00 Keynote Talk by Gwen Salaün (abstract)
10:00 – 10:30 Juliana Küster Filipe Bowles, Ricardo Czekster and Thais Webber. Annotated BPMN models for optimised healthcare resource planning (pre-proceedings paper)
10.30 – 11.00 Coffee Break
Session 5
11:00 – 11:30 Antonio Cerone and Aiym Zhexenbayeva. Using Formal Methods to Validate Research Hypotheses: the Duolingo Case Study (pre-proceedings paper)
11:30 – 12:00 Giovanna Broccia. A Cognitive Framework for Modeling and Analysing Safety-Critical Human Multitasking (presentation report)
12:00 – 12:30 Vittorio Cuculo, Alessandro D’Amelio, Raffaella Lanzarotti and Giuseppe Boccignone. Personality gaze patterns unveiled via automatic relevance determination (pre-proceedings paper)
12:30 – 14:00 Lunch
Session 6
14:00 – 15:00 Keynote Talk by Giulio Caravagna (abstract)
15:00 – 15:30 Antonio Cerone. FormalMiner: a Formal Framework for Refinement Mining (pre-proceedings paper)
15:30 – 16:00 Coffee Break
16:00 – 17:30 Discussion