PROGRAM
Days: Monday, October 7th Tuesday, October 8th
Monday, October 7th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 1
No talks scheduled to allow for attendence of keynotes at other workshops.
10:30-12:30 Session 2: Verification
Invited speaker and accepted papers
10:30 | Verification of Data in Space and Time (abstract) |
11:30 | Validation of a Simulation Algorithm for Safety-Critical Human Multitasking (abstract) |
12:00 | An Ontology-based Approach to Support Formal Verification of Concurrent Systems (abstract) |
14:00-15:00 Session 3: Data-driven Models
Accepted papers
14:00 | How to look next? A data-driven approach for scanpath prediction (abstract) |
14:30 | "Know Thyself" How Personal Music Tastes Shape the Last.Fm Online Social Netwrok (abstract) |
15:30-16:30 Session 4: Modelling
Invited speaker
15:30 | Diagrammatic physical robot models in RoboSim (abstract) |
Tuesday, October 8th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 5
No talks scheduled to allow for attendence of keynotes at other workshops.
10:30-12:30 Session 6: Data Analysis with Models
Accepted papers
10:30 | Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach (abstract) |
11:00 | An instrumented mobile language learning application for the analysis of usability and learning (abstract) |
11:30 | Analysis and Visualization of Performance Indicators in University Admission Tests (abstract) |
12:00 | Anomaly Detection From Log Files Using Unsupervised Deep Learning (abstract) |
14:00-15:00 Session 7: Presentation Reports
Presentation Reports
14:00 | Economics-driven behaviour intervention support in organizations (abstract) |
14:20 | Preliminary Results on Predicting Robustness of Biochemical Pathways through Machine Learning on Graphs (abstract) |
14:40 | Interpreting Probabilistic Models of Social Group Interactions in Meetings (abstract) |
15:30-16:30 Session 8: Panel/Discussion
Panel/Discussion