International Workshop on Quantification なんてワークショップがあるんやなぁ…… http://fmv.jku.at/quantify15/