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/2011/newsitem/3803/1-6
 -August-2011-Set-Theory-and-Higher-Order-Logic-Fou
 ndational-Issues-and-Mathematical-Developments-Lon
 don
DTSTAMP:20110217T000000
SUMMARY:Set Theory and Higher-Order Logic: Foundat
 ional Issues and Mathematical Developments, London
DTSTART;VALUE=DATE:20110801
DTEND;VALUE=DATE:20110806
LOCATION:London
DESCRIPTION:This is an interdisciplinary summer sc
 hool, consisting of four days of mini-courses (Aug
 ust 1-4) and a subsequent two-day conference (Augu
 st 5-6), all hosted at the Institute of Philosophy
  in London. The goal of this summer school is to p
 rovide a forum in which set theorists and philosop
 hers of mathematics -- as well as students of thes
 e disciplines-- can interact and discuss recent re
 sults and debates at the intersection of set-theor
 y and higher-order logic. Topics to be represented
  at the summer school include but are not limited 
 to: the semantics for higher-order logics, Omega-L
 ogic, groundedness, set-theoretic geology, interpr
 etability and incompleteness, predicativity, and f
 ormal theories of truth.  For more information, se
 e http://www.bbk.ac.uk/philosophy/our-research/ppp
 /summer-school or contact Sean Walsh (Birkbeck) at
  swalsh108 at gmail.com.
X-ALT-DESC;FMTTYPE=text/html:\n        <p>This is 
 an interdisciplinary summer school, consisting of\
 n        four days of mini-courses (August 1-4) an
 d a subsequent\n        two-day conference (August
  5-6), all hosted at the Institute\n        of Phi
 losophy in London. The goal of this summer school 
 is to\n        provide a forum in which set theori
 sts and philosophers of\n        mathematics -- as
  well as students of these disciplines-- can\n    
     interact and discuss recent results and debate
 s at the\n        intersection of set-theory and h
 igher-order logic. Topics to\n        be represent
 ed at the summer school include but are not\n     
    limited to: the semantics for higher-order logi
 cs,\n        Omega-Logic, groundedness, set-theore
 tic geology,\n        interpretability and incompl
 eteness, predicativity, and formal\n        theori
 es of truth.</p>\n    \n        <p>For more inform
 ation, see\n        <a target="_blank" href="http:
 //www.bbk.ac.uk/philosophy/our-research/ppp/summer
 -school">http://www.bbk.ac.uk/philosophy/our-resea
 rch/ppp/summer-school</a> or contact Sean Walsh (B
 irkbeck) at <a class="email">swalsh108 <span class
 ="at">at</span> gmail.com</a>.</p>\n    
URL:/NewsandEvents/Archives/2011/newsitem/3803/1-6
 -August-2011-Set-Theory-and-Higher-Order-Logic-Fou
 ndational-Issues-and-Mathematical-Developments-Lon
 don
END:VEVENT
END:VCALENDAR