4th International Symposium on

Modelling and Knowledge Management applications:

Systems and Domains (MoKMaSD 2015)

York, UK, 8 September 2015

Co-located with SEFM 2015



Supported by:

University of Pisa

Program and Preproceedings

Click on the titles in the program table to download the pre-proceedings version of the paper and the abstracts of the keynote talks. A comprehensive pre-proceedings volume containing all papers in a single pdf document is available below.

MoKMaSD 2015 -- Program and Preproceedings
8:30-8:50 Registration
8:50 - 9:00 Opening
9:00 - 10:00 Keynote Speaker: Tias Guns (KU Leuven, Belgium)
Constraint modeling and solving for data mining
10:00 - 10:30 Valerio Grossi, Anna Monreale, Mirco Nanni, Dino Pedreschi and Franco Turini
Clustering Formulation using Constraint Optimization (Regular paper)
10:30 - 11:00 Coffee break
11:00 - 11:30 Riccardo Guidotti and Paolo Cintia
Towards a Boosted Route Planner Using Individual Mobility Models (Regular paper)
11:30 - 12:00 Sélinde van Engelenburg, Marijn Janssen and Bram Klievink
Design of a Business-to-Government Information Sharing Architecture Using Business Rules (Regular paper)
12:00 - 12:15 Antonio Cerone
Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management (Short position paper)
12:15 - 12:35 Farshad Shams, Antonio Cerone and Rocco De Nicola
On Integrating Social and Sensor Networks for Emergency Management (Regular position paper)
12:35 - 14:00 Lunch
14:00 - 15:00 Keynote Speaker: Guido Sanguinetti (University of Edinburgh, UK)
Machine learning methods for model checking in continuous time Markov chains
15:00 - 15:30 Vashti Galpin
Quantitative modelling of residential smart grids (Regular paper)
15:30 - 16:00 Coffee break
16:00 - 16:20 Maria Spichkova
TraDe: A Formal Modelling and Analysis Framework (Short paper)
16:20 - 16:50 Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo and Giovanni Pardini
Attributed Probabilistic P Systems and their Application to the Modelling of Social Interactions in Primates (Regular paper)
16:50 - 17:20 Ludovica Luisa Vissat, Jane Hillston, Glenn Marion and Matthew J. Smith
MELA: Modelling in Ecology with Location Attributes (Regular paper)
17:20 - 17:40 Chiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar Augusto Nieto Coria and Emanuela Merelli
Probabilistic Modelling and Analysis of a Fish Population (Short paper)
17:40 - 18:00 Suryana Setiawan, Antonio Cerone and Paolo Milazzo
A Tool for the Modelling and Simulation of Ecological Systems based on Grid Systems (Tool paper)
18:00 - 18:15 Workshop closure

Back to top

Download Program in PDF

Back to top

Download Preproceedings Volume

Back to top