The articles included in the volume cover a range of diverse topics linked by a common theme: the use of formal modelling techniques to promote better understanding of financial markets and improve management of financial operations. Apart from a theoretical discussion, most of the papers model...