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:<div>\n  <p>This work
 shop aims at gathering mathematicians, logicians, 
 linguists, computer scientists to present their la
 test advances in the study of quantification.</p>\
 n\n  <p>There 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).</p>
 \n\n  <p>All 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.</p>\n<
 /div><div>\n  <p>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).</p>\n</div>
URL:http://www.lirmm.fr/quad
END:VEVENT
END:VCALENDAR