MLQA-10: July 9

Models and Logics for Quantitative Analysis

associated with LICS


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.


Program Chairs

Flemming Nielson, Technical University of Denmark, Denmark

Program Committee: