\n

This work shop aims at gathering mathematicians, logicians, linguists, computer scientists to present their la test advances in the study of quantification.

\ n\nThere is a long history of quantification in the Ancient and Medieval times at the border be tween logic and philosophy of language, before the proper formalisation of quantification by Frege. But many mathematical and linguistic questions rem ain open, both on the mathematical side (such as t he proof theory of generalised quantifiers or the computational aspects of alternate formulations su ch as Russel's ioata), and the linguistic side (su ch as the relation between the syntactic structure and its semantic interpretation, or the relations hip between quantification and phenomena like gene rics, plurals, and mass nouns), as well as the int ersection of the two sides (for instance, psycholi nguistic experiments that connect formal models an d their computational properties to the actual way human do process sentences with quantifiers).

\n\nAll those aspects are connected in the di dactics of mathematics and computer science: there are specific difficulties to teach (and to learn) how to understand, manipulate, produce and prove quantified statements, and to determine the proper level of formalisation between bare logical formu las and written or spoken natural language.

\n< /div>\n

URL:http://www.lirmm.fr/quad
END:VEVENT
END:VCALENDAR
The program committee is looking for contributions introducing new viewpoints on qu antification and determiners, the novelty being ei ther in the mathematical logic framework or in the linguistic description or in the cognitive modell ing. Submitting purely original work is not mandat ory, but authors should clearly mention that the w ork is not original, and why they want to present it at this workshop (e.g. new viewpoint on already published results).

\n