This workshop is intended to be a platform to present and discuss current approaches, advances in implementation, future vision for methodologies, and reflections of past implementations. We will aim to provide an opportunity to meet people with interests in formalizing approaches, to be exposed to current research methodologies (with emphasis on hybridization of modelling techniques) and to exchange ideas in an informal setting.
Read more