This is the website of the Quantification and Computation course at NASSLLI 2014, June  21 – 29, University of Maryland and ESSLLI 2014,  August 18 – 22, University of Tübingen,

This page will be updated throughout the course, with links to the materials used in class, so visit regularly!

About the Course

The course gives an introduction to the generalized quantifier theory, overviewing some crucial notions of formal semantics and logic. We survey how mathematical methods may be rigorously applied to study the possible meanings, the inferential power, and computational properties of quantifier expressions. The course novelty lies mostly in combining classical generalized quantifier themes with a computational perspective.

For more information visit the content page.