Metric Behavioural Semantics for Markov Processess - Study Group (2015)

Description: The role of metric theory as an alternative to the bisimulation-centered research has emerged lately in the field of Markov processes and has imposed itself as a fruitful research direction. Being the interest in this topic at AAU, we propose to organize this study group that has as the main goal gathering together the researchers and the PhD students interested in this topic. The intention is to study together various topics related to this subject from topological and measure theoretical foundations to computational aspects, learning algorithms and concrete applications.


Organizer: Assoc Prof. Radu Mardare, mardare@cs.aau.dk

Lecturers: Assoc Prof. Radu Mardare, AAU

ECTS: 2

Time: 1 October 2015

Place: Aalborg University, Cassiopeia, Selma Lagerlöfs Vej 300

Zip code: 9220

City: Aalborg

Number of seats:

Deadline: 15 September 2015