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/2018/newsitem/10383/10
 -December-2018-AUC-Logic-Lectures-Series-Johan-van
 -Benthem
DTSTAMP:20181210T132631
SUMMARY:AUC Logic Lectures Series, Johan van Benth
 em
ATTENDEE;ROLE=Speaker:Johan van Benthem (ILLC/UvA,
  Stanford, Tsingua)
DTSTART;TZID=Europe/Amsterdam:20181210T180000
DTEND;TZID=Europe/Amsterdam:20181210T190000
LOCATION:AUC Common Room, Science Park 113, Amster
 dam
DESCRIPTION:Our walk starts with quantifier expres
 sions like "all", "some" which underlie both ordin
 ary language and the mathematical language of scie
 nce. We look at the history of logical systems for
  quantifiers, flagging some issues very much alive
  today, such as the interplay of formal and natura
 l languages, fast practical quantifier inference v
 ersus slow conscious deductive proof, compositiona
 lity and recursion, and interfaces with probabilit
 y. These topics show logic as a design lab, but al
 so as a cross-roads where many academic discipline
 s meet and interact.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Our walk start
 s with quantifier expressions like &quot;all&quot;
 , &quot;some&quot; which underlie both ordinary la
 nguage and the mathematical language of science. W
 e look at the history of logical systems for quant
 ifiers, flagging some issues very much alive today
 , such as the interplay of formal and natural lang
 uages, fast practical quantifier inference versus 
 slow conscious deductive proof, compositionality a
 nd recursion, and interfaces with probability. The
 se topics show logic as a design lab, but also as 
 a cross-roads where many academic disciplines meet
  and interact.</p>\n
URL:http://www.auc.nl/shared-content/events/lectur
 es/wit-2018-2019/12/auc-logic-lectures-johan-van-b
 enthem-2019.html
CONTACT:Dora Achourioti at t.achourioti at uva.nl
END:VEVENT
END:VCALENDAR