On December 15, there will be a nice small workshop devoted to formal aspects of quantification organized by Christian Retoré in Montpellier. If you are around, here is the program. I will speak about our recent experimental and modeling work in CoSaQ project.