Models and Logics for Quantitative Analysis
associated with LICS
Overview
The aim is to create a vibrant event consisting mainly of a number of invited talks that will cover some of the historical developments, survey the links established, establish state-of-the-art, identify the problems still worth pursuing and give a perspective on the implications and (novel) applications that can be foreseen.
More information can be found here.
Programme
Program Chairs
Flemming Nielson, Technical University of Denmark, Denmark