BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2017/newsitem/8607/17- --21-July-2017-ESSLLI-2017-workshop-on-Quantifiers -and-Determiners-QUAD-Toulouse-France DTSTAMP:20170130T142025 SUMMARY:ESSLLI-2017 workshop on Quantifiers and De terminers (QUAD), Toulouse, France DTSTART;VALUE=DATE:20170717 DTEND;VALUE=DATE:20170721 LOCATION:Toulouse, France DESCRIPTION:This workshop aims at gathering mathem aticians, logicians, linguists, computer scientist s to present their latest advances in the study of quantification. There is a long history of quant ification in the Ancient and Medieval times at the border between logic and philosophy of language, before the proper formalisation of quantification by Frege. But many mathematical and linguistic que stions remain open, both on the mathematical side (such as the proof theory of generalised quantifie rs or the computational aspects of alternate formu lations such as Russel's ioata), and the linguisti c side (such as the relation between the syntactic structure and its semantic interpretation, or the relationship between quantification and phenomena like generics, plurals, and mass nouns), as well as the intersection of the two sides (for instance , psycholinguistic experiments that connect formal models and their computational properties to the actual way human do process sentences with quantif iers). All those aspects are connected in the did actics of mathematics and computer science: there are specific difficulties to teach (and to learn) how to understand, manipulate, produce and prove q uantified statements, and to determine the proper level of formalisation between bare logical formul as and written or spoken natural language. The pr ogram committee is looking for contributions intro ducing new viewpoints on quantification and determ iners, the novelty being either in the mathematica l logic framework or in the linguistic description or in the cognitive modelling. Submitting purely original work is not mandatory, but authors should clearly mention that the work is not original, an d why they want to present it at this workshop (e. g. new viewpoint on already published results). X-ALT-DESC;FMTTYPE=text/html:
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.
The program committee is looking fo r contributions introducing new viewpoints on quan tification and determiners, the novelty being eith er in the mathematical logic framework or in the l inguistic description or in the cognitive modellin g. Submitting purely original work is not mandator y, but authors should clearly mention that the wor k is not original, and why they want to present it at this workshop (e.g. new viewpoint on already p ublished results).